Reachability analysis of Petri nets using symmetries (1991)

by P Starke
Venue:J. Syst. Anal. Model. Simul