Incremental computation of synthesis rules for free-choice Petri nets

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review


    In this paper, we propose a novel approach that calculates all the possible applications of synthesis rules, for well-formed free-choice Petri nets [8], in a speedy way to enable an interactive editing system. The proposed approach uses a so-called incremental synthesis structure, which can be used to extract all the synthesis rules, corresponding to a given net. Furthermore, this structure is updated incrementally, i.e. after usage of a synthesis rule, to obtain the incremental synthesis structure of the newly synthesized net. We prove that the proposed approach is correct and complete in order to synthesize any well-formed free-choice Petri net, starting with an initial well-formed atomic net and the corresponding incremental synthesis structure. A variant of the proposed approach has been implemented that allows interactive modeling (discovery) of sound business processes (from event logs). Experimental results show that the proposed approach is fast, and outperforms the baseline, and hence is well-suited for enabling interactive synthesis of very large nets.

    Originele taal-2Engels
    TitelFormal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings
    RedacteurenPeter Csaba Ölveczky, Kyungmin Bae
    Plaats van productieCham
    Aantal pagina's21
    ISBN van elektronische versie978-3-030-02146-7
    ISBN van geprinte versie978-3-030-02145-0
    StatusGepubliceerd - 1 jan 2018
    Evenement15th International Conference on Formal Aspects of Component Software, FACS 2018 - Pohang, Zuid-Korea
    Duur: 10 okt 201812 okt 2018

    Publicatie series

    NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume11222 LNCS
    ISSN van geprinte versie0302-9743
    ISSN van elektronische versie1611-3349


    Congres15th International Conference on Formal Aspects of Component Software, FACS 2018

    Vingerafdruk Duik in de onderzoeksthema's van 'Incremental computation of synthesis rules for free-choice Petri nets'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit