Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
NOVOSAD, P. ČEŠKA, M.
Originální název
Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings
Typ
zpráva odborná
Jazyk
angličtina
Originální abstrakt
This technical report deals with continuous and hybrid Petri nets state space representation using coverability graphs and unfoldings. The coverability graph, resp. unfolding are methods for Petri nets analysis that can represent an infinite state space of an unbounded Petri net with finite graph, resp. net. These techniques can cope well with the so-called state space explosion problem. Formalizations of the representations are presented together with algorithms for their computing and typical examples.
Klíčová slova
Continuous Petri nets, Hybrid Petri nets, Coverability graphs, Unfoldings
Autoři
NOVOSAD, P.; ČEŠKA, M.
Vydáno
30. 6. 2015
Nakladatel
Faculty of Information Technology BUT
Místo
Brno
Strany počet
32
URL
https://www.fit.vut.cz/research/publication/10905/
BibTex
@techreport{BUT169206, author="Petr {Novosad} and Milan {Češka}", title="Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings", year="2015", publisher="Faculty of Information Technology BUT", address="Brno", pages="32", url="https://www.fit.vut.cz/research/publication/10905/" }