Have a personal or library account? Click to login
Petri nets properties related to the unboundness and analyzed using coverability multigraph Cover

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

Journal of Applied Mathematics, Statistics and Informatics
Volume 10 (2014): Issue 2 (December 2014)
By: Branislav Hrúz,  Iveta Dirgová Ľuptáková and  Miroslav Beňo  
Open Access
|Jan 2015

Authors

Branislav Hrúz

Iveta Dirgová Ľuptáková

Miroslav Beňo

DOI: https://doi.org/10.2478/jamsi-2014-001 | Journal eISSN: 1339-0015 | Journal ISSN: 1336-9180
Journal RSS Feed
Language: English
Page range: 51 - 67
Published on: Jan 27, 2015
Published by: University of Ss. Cyril and Methodius in Trnava
In partnership with: Paradigm Publishing Services
Publication frequency: 2 issues per year
Keywords:
Petri nets,
unboundness and coverability property,
ω -marking,
coverability set,
coverability multigraph
Related subjects:
Computer sciences,
Information technology,
Mathematics,
Logic and set theory,
Probability and statistics,
Applied mathematics

© 2015 Branislav Hrúz, Iveta Dirgová Ľuptáková, Miroslav Beňo, published by University of Ss. Cyril and Methodius in Trnava
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Previous articleVolume 10 (2014): Issue 2 (December 2014)Next article