<abstract xmlns="http://www.w3.org/1999/xhtml"><p>Petri nets represent a powerful tool for modeling the discrete event systems. The Petri net markings correspond to the system states. The infinity of the marking set means that the Petri net is unbounded and this may be the sign of an incorrect system model. In that case instead of the reachability set and the reachability graph the coverability set and the coverability multigraph can be used to represent the Petri net state space. A systematic way of building the notion of the coverability set and coverability multigraph based on the notion of the ω -marking is given in the paper. Algorithm for its construction is introduced. Then the use of the coverability multigraph for the analysis of several properties of the unbounded Petri nets is described. </p></abstract>

Petri nets represent a powerful tool for modeling the discrete event systems. The Petri net markings correspond to the system states. The infinity of the marking set means that the Petri net is unbounded and this may be the sign of an incorrect system model. In that case instead of the reachability set and the reachability graph the coverability set and the coverability multigraph can be used to represent the Petri net state space. A systematic way of building the notion of the coverability set and coverability multigraph based on the notion of the ω -marking is given in the paper. Algorithm for its construction is introduced. Then the use of the coverability multigraph for the analysis of several properties of the unbounded Petri nets is described.

Petri nets properties related to the unboundness and analyzed using coverability multigraph

Dept. of the Applied Informatics and Mathematics Faculty of the Natural Sciences of the University of SS Cyril and Metodius, Trnava, Slovakia

Journal of Applied Mathematics, Statistics and Informatics

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Petri nets represent a powerful tool for modeling the discrete event systems. The Petri net markings correspond to the system states. The infinity of the...

Petri nets properties related to the unboundness and analyzed using coverability multigraph

Published Online: Jan 27, 2015

Page range: 51 - 67

DOI: https://doi.org/10.2478/jamsi-2014-001

© Faculty of Natural Sciences, University of Saint Cyril and Metodius

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.