A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation | IEEE Journals & Magazine | IEEE Xplore