Analysis of large Petri net models (1989)

by G Ciardo