Detail publikace

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

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/"
}

Dokumenty

FIT-TR-2015-01.pdf