
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]
Recent Comments