Publication Details

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD, P.; ČEŠKA, M. Unfoldings of Bounded Hybrid Petri Nets. Lecture Notes in Computer Science, 2012, vol. 2012, no. 6927, p. 543-550. ISSN: 0302-9743.

Czech title

Metoda rozvinutí omezených hybridních Petriho sítí

Type

journal article

Language

English

Authors

Novosad Petr, Ing.
Češka Milan, prof. RNDr., CSc.

Keywords

unfoldings, hybrid Petri nets

Abstract

The unfolding is a useful partial-order based method for analysis and verification of the Petri net properties. This technique can cope well with the so-called state space explosion problem, especially for the Petri nets with a lot of concurrency. The paper formalizes the concept of the unfolding for bounded hybrid Petri nets and introduces the algorithm for its computing.

Published

2012

Pages

543–550

Journal

Lecture Notes in Computer Science, vol. 2012, no. 6927, ISSN 0302-9743

BibTeX

@article{BUT91474,
  author="Petr {Novosad} and Milan {Češka}",
  title="Unfoldings of Bounded Hybrid Petri Nets",
  journal="Lecture Notes in Computer Science",
  year="2012",
  volume="2012",
  number="6927",
  pages="543--550",
  issn="0302-9743"
}