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
Country/TerritoryKorea, Republic of


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


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

Cite this