Tomohiro Murata, Norihisa Komoda. Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction. In Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31 - April 3, 1987. pages 1960-1965, IEEE, 1987. [doi]
Abstract is missing.