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
- RWTH PUBLICATIONS: RWTH-CONV-222869