An Abstraction Method of Interpreted Petri Nets Preserving the Equivalence of the Controllable Observable Language

摘要

The analysis and control of DES is often supported by interpreted Petri nets (IPN), allowing describing the input-output behavior of the involved components. One of the main challenges of the analysis and synthesis methods is the size of the model when the system is large and performs complex behavior. In order to alleviate this hardship, a model abstraction method for IPN is proposed in which the events and the outputs of the IPN are considered in order to preserve in the reduced model, the controllable observable language of the original IPN. The reductions are considerable in such a manner that reachability set is drastically reduced. The abstraction procedure is polynomial-time on the size of the IPN.