Optimal Legal Firing Sequence of Petri Nets Using Linear Programming

摘要

Petri nets (PNs) are a reliable graphical and mathematical modeling tool for the formal modeling and validation of systems (W. Reisig, A Primer in Petri Net Design, Springer-Verlag: Berlin, Heidelberg, 1992). Applications of PNs include discrete event dynamic systems (DEDS) that are recognized as being concurrent, asynchronous, distributed, parallel, and/or nondeterministic. It is also a powerful formal method for the analysis of concurrent, embedded, and distributed finite state systems (K. Varpaaniemi, Series A: Research Reports, No. 26, Helsinki University of Technology, Digital Systems Laboratory, Oct. 1993). The reachability analysis of PNs is strategically significant as it captures the dynamic behavior of the system as well as providing efficient verification of the correctness of the model. Few linear programming (LP)-based methods can be found that address the reachability problem, and some of these are suitable for optimal control problems. However, due to an inherent state explosion they are difficult to implement; other methods run easily into deadlock as they lack appropriate -mechanisms to avoid the firing of critical transitions (T. Matsumoto and A. Tarek, in Proceedings of the 35th IEEE Conference on Decision and Control, Kobe, Japan, 1996-12, pp. 4459-4468). In this paper an improved and easy to implement method is proposed that combines the Optimality Principle and Linear Programming (OP + LP) techniques to find an Optimal Legal Firing Sequence (OLFS) in PNs. This method can be applied to ordinary PNs with self-loops, avoids deadlocks, and can also be used for general PNs having cycles.