Incremental computation of synthesis rules for free-choice Petri nets

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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.

    Original languageEnglish
    Title of host publicationFormal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings
    EditorsPeter Csaba Ölveczky, Kyungmin Bae
    Place of PublicationCham
    Number of pages21
    ISBN (Electronic)978-3-030-02146-7
    ISBN (Print)978-3-030-02145-0
    Publication statusPublished - 1 Jan 2018
    Event15th International Conference on Formal Aspects of Component Software, FACS 2018 - Pohang, Korea, Republic of
    Duration: 10 Oct 201812 Oct 2018

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume11222 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference15th International Conference on Formal Aspects of Component Software, FACS 2018
    CountryKorea, Republic of


    • Free-choice Petri nets
    • Incremental synthesis rules computation
    • Interactive system

    Fingerprint Dive into the research topics of 'Incremental computation of synthesis rules for free-choice Petri nets'. Together they form a unique fingerprint.

    Cite this