Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Tomohiro Murata' in GoogleThis author has not been identified. Look up 'Norihisa Komoda' in Google

runs on WebDSL