A technique for generating the reduced reachability graph of petri net models.

Farooq Ahmad, Hejiao Huang, Xiaolong Wang, Waqas Anwer

Browse the full SMC paper archive.