Incremental Computation of Synthesis Rules for Free-Choice Petri Nets

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

Autorinnen und Autoren

Autorinnen und Autoren

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

Identifikationsnummern