Reduction of Constraints for Controller Synthesis based on Safe Petri Nets

Abstract

International audiencen this paper, we present an efficient method based on safe Petri nets to construct a controller. A set of linear constraints al-lows forbidding the reachability of specific states. The number of these so-called forbidden states and consequently the number of constraints are large and lead to a large number of control places. A systematic method to reduce the size and the number of constraints for safe Petri Nets is offered. By using a method based on Petri nets invariants, maximal permissive controllers are determined