Paper titled “Incremental Synthesis Rules Computation for Free-Choice Petri nets” has been accepted for publication in FACS 2018

P. M. Dixit, H. M. W. Verbeek, and W. M. P. van der Aalst, “Incremental computation of synthesis rules for free-choice petri nets,” in Formal aspects of component software – 15th international conference, facs 2018, proceedings, 2018, pp. 97-117. [Bibtex] @Conference{Dixit18c, Title = {Incremental Computation of Synthesis Rules for Free-Choice Petri nets}, Author = {Dixit, … [Read more…]