DocumentCode
107203
Title
Coverability Graph of Fuzzy Interpreted Petri Net
Author
Gniewek, Leslaw
Author_Institution
Dept. of Comput. & Control Eng., Rzeszow Univ. of Technol., Rzeszow, Poland
Volume
44
Issue
9
fYear
2014
fDate
Sept. 2014
Firstpage
1272
Lastpage
1277
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;
fLanguage
English
Journal_Title
Systems, Man, and Cybernetics: Systems, IEEE Transactions on
Publisher
ieee
ISSN
2168-2216
Type
jour
DOI
10.1109/TSMC.2014.2298379
Filename
6744638
Link To Document