Coverability Graph of Fuzzy Interpreted Petri Net

This paper describes a coverability graph that can be used to analyze properties of fuzzy interpreted Petri net. It also proposes a definition of the graph and a detailed algorithm for its construction. An example graph of the net is shown. The results contribute to expanding the existing options of net analysis at the design stage.

[1]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[2]  Panos J. Antsaklis,et al.  Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (M.V. Iordache and P.J. Antsaklis; 2008) [Book reviews] , 2006, IEEE Transactions on Automatic Control.

[3]  Hu-Chen Liu,et al.  Dynamic Adaptive Fuzzy Petri Nets for Knowledge Representation and Reasoning , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[4]  Alessandro Giua,et al.  A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets , 2012, IEEE Transactions on Automatic Control.

[5]  Abdulrahman Al-Ahmari,et al.  Reversed fuzzy Petri nets and their application for fault diagnosis , 2011, Comput. Ind. Eng..

[6]  Leslaw Gniewek.  Sequential Control Algorithm in the Form of Fuzzy Interpreted Petri Net , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[7]  Alessandro Giua,et al.  Observability of place/transition nets , 2002, IEEE Trans. Autom. Control..

[8]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[9]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.