Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets

van der Aalst, Wil M. P. (Corresponding author)

Cham, Switzerland : Springer (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Application and theory of petri nets and concurrency : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, proceedings / Didier Buchs, Josep Carmona (eds.)
Seite(n)/Artikel-Nr.: 208-229

Einrichtungen

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