Parallel Computation of Reachable Dead States in a Free-choice Petri Net

van der Aalst, Wil M. P.

Eindhoven University of Technology, Eindhoven (1996)
Book

Institutions

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

Identifier