Incremental computation of synthesis rules for free-choice Petri nets

Autor: Dixit, Prabhakar M., Verbeek, H. M.W., van der Aalst, Wil M.P., Ölveczky, Peter Csaba, Bae, Kyungmin

Publikováno v: Formal Aspects of Component Software-15th International Conference, FACS 2018, Proceedings, 97-117
STARTPAGE=97;ENDPAGE=117;TITLE=Formal Aspects of Component Software-15th International Conference, FACS 2018, Proceedings
Formal Aspects of Component Software ISBN: 9783030021450
FACS

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 i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d60b60241e50fddc0df5c9fb033e556
https://research.tue.nl/nl/publications/bdaccb73-a155-4cfc-ae66-80c6cbeb72c3