Faculty of Information Technology, BUT

Publication Details

Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings

NOVOSAD Petr and ČEŠKA Milan. Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings. Brno: Faculty of Information Technology BUT, 2015.
Czech title
Reprezentace stavového prostoru hybridních Petriho sítí pomocí grafů pokrytí a metory rozvinutí
Type
technical report
Language
english
Authors
Keywords
Continuous Petri nets, Hybrid Petri nets, Coverability graphs, Unfoldings

Abstract
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.
Published
2015
Pages
32
Publisher
Faculty of Information Technology BUT
Place
Brno, CZ
BibTeX
@TECHREPORT{FITPUB10905,
   author = "Petr Novosad and Milan \v{C}e\v{s}ka",
   title = "Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings",
   pages = 32,
   year = 2015,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10905"
}
Back to top