Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions

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

(2018)
Preprint

Institutions

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

Identifier