A technique for generating the reduced reachability graph of petri net models. - Farooq Ahmad; Hejiao Huang; Xiaolong Wang 001; Waqas Anwer (SMC, 2008)