Incremental Computation of Synthesis Rules for Free-Choice Petri Nets

Cham / Springer International Publishing (2018) [Contribution to a book, Contribution to a conference proceedings]

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): 97-117



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