Controller synthesis with very simplified linear constraints in PN model

Abbas Dideban, M. Zareiee, Hassane Alla

This paper addresses the problem of forbidden states for safe Petri net modeling discrete event systems. We present an efficient method to construct a controller. A set of linear c…