Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions
van der Aalst, Wil M. P. (Corresponding author)
(2018)
Preprint
Einrichtungen
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 9 (Process and Data Science) [122510]
Identifikationsnummern
- arXiv: arXiv:1801.04315
- RWTH PUBLICATIONS: RWTH-CONV-220902