Coverability Graph of Fuzzy Interpreted Petri Net
Lesław Gniewek · IEEE Transactions on Systems Man and Cybernetics Systems · 2014
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.