Technical report

NOVOSAD Petr and ČEŠKA Milan. Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings. Brno: Faculty of Information Technology BUT, 2015.
Publication language:english
Original title:Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings
Title (cs):Reprezentace stavového prostoru hybridních Petriho sítí pomocí grafů pokrytí a metory rozvinutí
Pages:32
Place:Brno, CZ
Year:2015
Publisher:Faculty of Information Technology BUT
Files: 
+Type Name Title Size Last modified
iconFIT-TR-2015-01.pdf342 KB2015-06-22 21:32:31
^ Select all
With selected:
Keywords
Continuous Petri nets, Hybrid Petri nets, Coverability graphs, Unfoldings

Annotation
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.
BibTeX:
@TECHREPORT{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=10905}
}

Your IPv4 address: 54.91.171.137
Switch to IPv6 connection

DNSSEC [dnssec]