Detail publikace

Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings

NOVOSAD, P.; ČEŠKA, M. Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings. Brno: Faculty of Information Technology BUT, 2015. p. 0-0.
Název česky
Reprezentace stavového prostoru hybridních Petriho sítí pomocí grafů pokrytí a metory rozvinutí
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Novosad Petr, Ing.
Češka Milan, prof. RNDr., CSc.
Klíčová slova

Spojité Petriho sítě, hybridní Petriho sítě, graf pokrytí, metoda rozvinutí

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.

Rok
2015
Strany
32
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
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/"
}
Nahoru