# 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
Event Dyn. Syst._**1997**, \(7\), 151-190. [CrossRef]
* [PERSON] et al. (1992) [PERSON]; [PERSON]; [PERSON] Generalized mutual exclusion contraints on nets with uncontrollable transitions. In Proceedings of the 1992 IEEE International Conference on Systems, Man and Cybernetics, Chicago, IL, USA, 18-21 October 1992; pp. 974-979. * [PERSON] et al. (2015) [PERSON]; [PERSON]; [PERSON] Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints. _IEEE Trans. Autom. Control_**2015**, _60_, 1774-1785. [CrossRef]
* [PERSON] and [PERSON] (2000) [PERSON]; [PERSON] Formal methods in PLC programming. In Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics, Nashville, TN, USA, 8-11 October 2000; pp. 2431-2436. * [PERSON] and [PERSON] (1992) [PERSON]; [PERSON] _Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems_; Prentice Hall: Upper Saddle River, NJ, USA, 1992. * (29)_International Standard IEC 60848:2013 \"GRAFCET Specification Language for Sequential Function Charts\"_; The International Electrotechnical Commission: Geneva, Switzerland, 2013. * (30)_International Standard IEC 61131-3:2013 \"Programmable Controllers--Part 3: Programming Languages\"_; The International Electrotechnical Commission: Geneva, Switzerland, 2013. * [PERSON] and [PERSON] (1995) [PERSON] Grafcet: A powerful tool for specification of logic controllers. _IEEE Trans. Control Syst. Technol._**1995**, \(3\), 253-268. [CrossRef]
* [PERSON] et al. (2000) [PERSON]; [PERSON]; [PERSON]; [PERSON] Design and verification of the SFC program for sequential control. _Comput. Chem. Eng._**2000**, _24_, 303-308. [CrossRef]
* [PERSON] et al. (2003) [PERSON]; [PERSON]; [PERSON]; [PERSON] Implementation of traffic lights control based on Petri nets. In Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems, Washington, DC, USA, 12-15 October 2003; Volume 2, pp. 1087-1090. * [PERSON] and [PERSON] (1998) [PERSON]; [PERSON] Discrete event control system design using automation Petri nets and their ladder diagram implementation. _Int. J. Adv. Manuf. Technol._**1998**, _14_, 716-728. [CrossRef]
* [PERSON] (2000) [PERSON] Automatic implementation of Petri net based control algorithms on PLC. In Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00 CH36334), Chicago, IL, USA, 28-30 June 2000; Volume 4, pp. 2819-2823. * [PERSON] and [PERSON] (2002) [PERSON]; [PERSON] Visual PLC-programming using signal interpreted Petri nets. In Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301), Anchorage, AK, USA, 8-10 May 2002; Volume 6, pp. 5019-5024. * _[PERSON] et al. (2003)_ [PERSON]; [PERSON]; [PERSON] PLC Programming with Signal Interpreted Petri Nets. In _Applications and Theory of Petri Nets 2003_; Springer: Berlin/Heidelberg, Germany, 2003; pp. 440-449. * _[PERSON] et al. (2004)_ [PERSON]; [PERSON]; [PERSON] Automatic generation of ladder diagram with control Petri net. _J. Intell. Manuf._**2004**, _15_, 245-252. [CrossRef]
* [PERSON] and [PERSON] (2004) [PERSON]; [PERSON] Ladder diagram and Petri-net-based discrete-event control design methods. _IEEE Trans. Syst. Man Cybern. C_**2004**, _34_, 523-531. [CrossRef]
* _[PERSON] et al. (2008)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Ladder Metamodeling and PLC Program Validation through Time Petri Nets. In _Model Driven Architecture--Foundations and Applications;_ [PERSON], [PERSON], Eds. ; Springer: Berlin/Heidelberg, Germany, 2008; Volume 5095, pp. 121-136. * _[PERSON] et al. (2010)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] [PERSON] A Petri Net formal design methodology for discrete-event control of industrial automated systems. In Proceedings of the 2010 IEEE 26 th Convention of Electrical and Electronics Engineers, Eilat, Israel, 19-21 October 2010; pp. 431-435. * _[PERSON] et al. (1998)_ [PERSON]; [PERSON] [PERSON] Petri net semantics for the PLC language Instruction List.