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

  • [PDF] 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.

Leave a Reply