This article shows how differential Petri nets, a model for hybrid control systems, can be used to represent industrial supervisory systems in a unified way. Typical industrial automation tests can be ...

Abstract: This paper proposes an approach for the optimal design of fault-tolerant Petri net controllers using arc weights minimization. Given a system controller that is modeled as a Petri net, a ...