Publication Details

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD, P.; ČEŠKA, M. Unfoldings of Bounded Hybrid Petri Nets. Proceedings of Computer Aided Systems Theory - EUROCAST 2011. LNCS. Berlin: Springer Verlag, 2011. p. 1-8. ISBN: 978-84-693-9560-8.
Czech title
Metoda rozvinutí omezených hybridních Petriho sítí
Type
conference paper
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
2011
Pages
1–8
Proceedings
Proceedings of Computer Aided Systems Theory - EUROCAST 2011
Series
LNCS
Conference
Thirteen International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-693-9560-8
Publisher
Springer Verlag
Place
Berlin
BibTeX 
@inproceedings{BUT76349,
  author="Petr {Novosad} and Milan {Češka}",
  title="Unfoldings of Bounded Hybrid Petri Nets",
  booktitle="Proceedings of Computer Aided Systems Theory - EUROCAST 2011",
  year="2011",
  series="LNCS",
  pages="1--8",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-84-693-9560-8"
}
Back to top