A Novel Method for Converting Colored Petri Nets to Ladder Diagram in the Automation of Automated Manufacturing Systems | IEEE Journals & Magazine | IEEE Xplore