High-level Petri net approach for supervisory control

This paper presents a supervisor synthesis method based on a High-level Petri net model. The presented method has the two following benefits: first, modeling discrete-event systems with High-level Petri nets naturally leads to concise specifications; secondly, we use a related state graph method which exploits behavior symmetries in order to build reduced graphs. The synthesis method consists in generating a subnet modeling control specification, and which is connected to the uncontrolled system specification leading to an autonomous High-level Petri net.