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

In: High Performance Computing 1998
Seite(n)/Artikel-Nr.: 425-432