# 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 Proceedings of IEE Workshop on Discrete Event Systems (WODES'98), Cagliari, Italy, 26-28 August 1998; pp. 161-165. * _[PERSON] et al. (2008)_ [PERSON] [PERSON]; [PERSON]; [PERSON]; [PERSON] [PERSON]; [PERSON]. On the automatic generation of timed automata models from function block diagrams for safety instrumented systems. In Proceedings of the 34 th Annual Conference of IEEE Industrial Electronics (IECON 2008), Orlando, FL, USA, 10-13 November 2008; pp. 291-296. * _[PERSON] et al. (1994)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] [PERSON] _Modelling with Generalized Stochastic Petri Nets_; John Wiley & Sons: Chichester, UK, 1994. * _[PERSON] et al. (1995)_ [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON] GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets. _Perform. Eval._**1995**, _24_, 47-68. [CrossRef]
* _GreatSPN Home Page--Dipartimento di Informatica--Universita di Torino. Available online: [[http://www.di.unito.it/~greatspn/index.html](http://www.di.unito.it/~greatspn/index.html)]([http://www.di.unito.it/~greatspn/index.html](http://www.di.unito.it/~greatspn/index.html)) (accessed on 5 March 2017). * _[PERSON] et al. (2002)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] The Mobius framework and its implementation. _IEEE Trans. Softw. Eng._**2002**, _28_, 956-969. [CrossRef]
* _The Mobius Tool_ (2017) The Mobius Tool. Available online: [[https://www.mobius.illinois.edu/](https://www.mobius.illinois.edu/)]([https://www.mobius.illinois.edu/](https://www.mobius.illinois.edu/)) (accessed on 5 March 2017). * _[PERSON] et al. (2013)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Exploiting product forms solution techniques in multidimensional modeling. _Electro. Notes Theor. Comput. Sci._**2013**, _296_, 61-77. [CrossRef]
* _[PERSON] et al. (2005)_ [PERSON]; [PERSON] [PERSON]; [PERSON] Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets. _IEEE Tran. Softw. Eng._**2005**, _31_, 913-927. [CrossRef]
* _[PERSON] (2013)_ [PERSON] Sequential Control Algorithm in the Form of Fuzzy Interpreted Petri Net. _IEEE Trans. Syst. Man Cybern. Syst._**2013**, _43_, 451-459. [CrossRef]
* _[PERSON] (2014)_ [PERSON] Coverability Graph of Fuzzy Interpreted Petri Net. _IEEE Trans. Syst. Man Cybern. Syst._**2014**, _44_, 1272-1277. [CrossRef]
* _[PERSON] et al. (2016)_ [PERSON]; [PERSON]; [PERSON] Transformation of a fuzzy interpreted Petri net diagram into structured text code. In _Proceedings of the 2016 21 st International Conference on Methods and Models in Automation and Robotics (MMAR), 29 August-1 September 1_; IEEE: Piscataway, NJ, USA, 2016; pp. 94-99. * _[PERSON] (1986)_ [PERSON]; [PERSON] Salient features of an executable specification language and its environment. _IEEE Trans. Softw. Eng._**1986**, _SE-12_, 312-325. [CrossRef]
* _[PERSON] (1987)_ [PERSON] Statecharts: A visual formalism for complex systems. _Sci. Comput. Progr._**1987**, \(8\), 231-274. [CrossRef]
* _[PERSON] (1992)_ [PERSON] Specifications are (preferably) executable. _Softw. Eng. J._**1992**, \(7\), 323-334. [CrossRef]
* _[PERSON] et al. (1994)_ [PERSON]; [PERSON]; [PERSON] A system-design methodology: Executable-specification refinement. In Proceedings of European Design and Test Conference, 1994. EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design, Proceedings, Paris, France, 28 February-3 March 1994; pp. 458-463. * _[PERSON] et al. (2000)_ [PERSON] [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] ExSpect 6.4 An Executable specification tool for hierarchical colored Petri Nets. In _SpringerLink_; Springer: Berlin/Heidelberg, Germany, 2000; pp. 455-464. * _[PERSON] (2008)_ [PERSON] Google's MapReduce programming model--Revisited. _Sci. Comput. Progr._**2008**, _70_, 1-30. [CrossRef]* (60) [PERSON]; [PERSON]; [PERSON] Formal and Executable specification of random waypoint mobility model using timed coloured Petri Nets for WMN. _Abstr.