Title :
Coverability Graph of Fuzzy Interpreted Petri Net
Author_Institution :
Dept. of Comput. & Control Eng., Rzeszow Univ. of Technol., Rzeszow, Poland
Abstract :
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.
Keywords :
Petri nets; fuzzy set theory; graph theory; coverability graph; design stage; fuzzy interpreted Petri net; net analysis; Algorithm design and analysis; Barium; Cybernetics; Indexes; Joining processes; Sensors; Vectors; Fuzzy logic; Petri net (PN); modeling;
Journal_Title :
Systems, Man, and Cybernetics: Systems, IEEE Transactions on
DOI :
10.1109/TSMC.2014.2298379
