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

van der Aalst, Wil M. P.

Eindhoven University of Technology, Eindhoven (1996) [Buch]

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-222869