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) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Identifikationsnummern