James F. Watson III, Alan A. Desrochers. Methods for estimating state-space size of Petri nets. In Proceedings of the 1992 IEEE International Conference on Robotics and Automation, Nice, France, May 12-14, 1992. pages 1031-1036, IEEE, 1992. [doi]
Abstract is missing.