Reachability analysis of Petri nets using symmetries (1991)

by P H Starke
Venue:Systems Analysis, Modelling, Simulation