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

Farooq Ahmad, Hejiao Huang, Xiao-Long Wang, Waqas Anwer. A technique for generating the reduced reachability graph of petri net models. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008. pages 3636-3641, IEEE, 2008. [doi]

Authors

Farooq Ahmad

This author has not been identified. Look up 'Farooq Ahmad' in Google

Hejiao Huang

This author has not been identified. Look up 'Hejiao Huang' in Google

Xiao-Long Wang

This author has not been identified. Look up 'Xiao-Long Wang' in Google

Waqas Anwer

This author has not been identified. Look up 'Waqas Anwer' in Google