# A Program Model of Fuzzy Interpreted Petri Net to Control Discrete Event Systems
## 3 The Formal Basis and the Conception of FIPN
### Algorithm of the Program Generation Based on FIPN
In _Discrete Event Systems: Models and Applications_; Springer: Heidelberg, Germany, 1988; pp. 115-134. * (4) [PERSON]; [PERSON] _Petri Net Synthesis for Discrete Event Control of Manufacturing Systems_; Springer: New York, NY, USA, 2012. * (5) [PERSON]; [PERSON] _Introduction to Discrete Event Systems_; Springer: New York, NY, USA, 2009. * (6) [PERSON]; [PERSON] _Discrete, Continuous, and Hybrid Petri Nets_; Springer: New York, NY, USA, 2010. * (7) [PERSON]; [PERSON] A survey of Petri net tools. In _Advanced Computer and Communication Engineering Technology_; Springer: Cham, Switzerland, 2015; pp. 537-551. * (8) [PERSON]; [PERSON]; [PERSON] Supervisory control of discrete event systems based on structure theory of Petri nets. In Proceedings of the Computational Cybernetics and Simulation 1997 IEEE International Conference on Systems, Man, and Cybernetics, Orlando, FL, USA, 12-15 October 1997; pp. 3750-3755. * (9) [PERSON]; [PERSON] Representing continuous systems in a discrete-event world. _IEEE Trans. Autom. Control_**1998**, 43, 573-579. [CrossRef]
* (10) [PERSON]; [PERSON] Petri net supervisors for DES with uncontrollable and unobservable transitions. _IEEE Trans. Autom. Control_**2000**, 45, 462-476. [CrossRef]
* (11) [PERSON]; [PERSON]; [PERSON]; [PERSON] Diagnosis of asynchronous discrete-event systems: A net unfolding approach. _IEEE Trans. Autom. Control_**2003**, _48,_ 714-727. [CrossRef]
* (12) [PERSON]; [PERSON] Distributed diagnosis of discrete-event systems using Petri nets. In _SpringerLink_; Springer: Berlin/Heidelberg, Germany, 2003; pp. 316-336. * [PERSON] et al. (2007) [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON] [PERSON] Online fault diagnosis of discrete event systems. A Petri net-based approach. _IEEE Trans. Autom. Sci. Eng._**2007**, \(4\), 31-39. [CrossRef]
* [PERSON] and [PERSON] (2010) [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON] Fault detection for discrete event systems using Petri nets with unobservable transitions. _Automatica_**2010**, _46_, 1531-1539. [CrossRef]
* [PERSON] and [PERSON] (2011) [PERSON]; [PERSON] Model checking of control interpreted Petri nets. In Proceedings of the 18 th International Conference Mixed Design of Integrated Circuits and Systems-MIXDES 2011, Gliwice, Poland, 16-18 June 2011; pp. 621-626. * [PERSON] (2008) [PERSON] _Formal Validation of Discrete Automation Systems Applying Structural Reasoning and General Unary Hypothesis Automaton Methods_; Tampere University of Technology: Tampere, Finland, 2008. * [PERSON] (1999) [PERSON] Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. _IEEE Trans. Syst. Man Cybern. C_**1999**, _29_, 192-204. * [PERSON] et al. (2006) [PERSON]; [PERSON]; [PERSON]; [PERSON] Siphon-based deadlock prevention policy for flexible manufacturing systems. _IEEE Trans. Syst. Man Cybern. A_**2006**, _36_, 1248-1256. [CrossRef]
* [PERSON] (2007) [PERSON] Design of deadlock prevention supervisors using Petri nets. _Int. J. Adv. Manuf. Technol._**2007**, _35_, 349-362. [CrossRef]
* [PERSON] et al. (2007) [PERSON]; [PERSON]; [PERSON] Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets. _IEEE Trans. Syst. Man Cybern. C_**2007**, _37_, 517-526. [CrossRef]
* [PERSON] et al. (2008) [PERSON]; [PERSON]; [PERSON] Survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. _IEEE Trans. Syst. Man Cybern. C_**2008**, _38_, 173-188. * [PERSON] et al. (2008) [PERSON]; [PERSON]; [PERSON] Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems. _IEEE Trans. Syst. Man Cybern. A_**2008**, _38_, 56-69. * [PERSON] et al. (2015) [PERSON]; [PERSON]; [PERSON] [PERSON] Design of traffic safety control systems for emergency vehicle preemption using timed Petri nets. _IEEE Trans. Intell. Transp. Syst._**2015**, _16_, 2113-2120. [CrossRef]
* [PERSON] et al. (1997) [PERSON]; [PERSON]; [PERSON] A survey of Petri net methods for controlled discrete event systems. _Discret.