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

van der Aalst, Wil M. P.

Boston / Society of Computer Simulation (SCS) (1998) [Buchbeitrag, Beitrag zu einem Tagungsband]

High Performance Computing 1998
Seite(n): 425-432

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-221025