Tracking control for Petri nets with forbidden states
Raphael Fritz, Ping Zhang · 2018
In this paper, an approach for tracking control for Petri nets with forbidden states is presented. The control aim is that the Petri net is forced by a firing sequence from an initial marking into a destination marking while avoiding the forbidden states described by Generalized Mutual Exclusion Constraints (GMEC). A new type of constraints called NOT-GMEC is introduced to allow a compact representation of specific token-place combinations. The firing sequence is determined by transforming the constraints into a suitable form and executing a two-step algorithm.