Incremental Computation of Synthesis Rules for Free-Choice Petri Nets

Dixit, Prabhakar M. (Corresponding author); Verbeek, H. M. W.; van der Aalst, Wil M. P.

Cham : Springer International Publishing (2018)
Buchbeitrag, Beitrag zu einem Tagungsband

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.)
Seite(n)/Artikel-Nr.: 97-117

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]