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]
Abstract is missing.