Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings

NOVOSAD, P.; ČEŠKA, M.

Originální název

Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings

Anglický název

Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings

Druh

Zpráva odborná

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.

Anglický 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

Klíčová slova v angličtině

Continuous Petri nets, Hybrid Petri nets, Coverability graphs, Unfoldings

Autoři

NOVOSAD, P.; ČEŠKA, M.

Vydáno

30.06.2015

Nakladatel

Faculty of Information Technology BUT

Místo

Brno

Strany počet

32

URL

https://www.fit.vut.cz/research/publication/10905/

Plný text v Digitální knihovně

http://hdl.handle.net/

BibTex

@misc{BUT169206,
  author="Petr {Novosad} and Milan {Češka}",
  title="Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings",
  year="2015",
  pages="32",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/10905/"
}

Dokumenty

FIT-TR-2015-01