Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings

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

Original Title

Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings

English Title

Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings

Type

Report

Original 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.

English 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.

Keywords

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

Key words in English

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

Authors

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

Released

30.06.2015

Publisher

Faculty of Information Technology BUT

Location

Brno

Pages count

32

URL

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

Full text in the Digital Library

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

Documents

FIT-TR-2015-01