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)
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


  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]