Incremental Computation of Synthesis Rules for Free-Choice Petri Nets

Dixit, Prabhakar M.; Verbeek, H. M. W.; van der Aalst, Wil M. P.

Cham : Springer International Publishing (2018)
Contribution to a book, Contribution to a conference proceedings

In: Formal aspects of component software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings / Kyungmin Bae, Peter Csaba Ölveczky (eds.)
Page(s)/Article-Nr.: 97-117