Publication Details

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD, P.; ČEŠKA, M. Unfoldings of Bounded Hybrid Petri Nets. Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 334-335. ISBN: 978-84-693-9560-8.
Czech title
Metoda rozvinutí pro omezené hybridní Petriho sítě
Type
conference paper
Language
English
Authors
Novosad Petr, Ing.
Češka Milan, prof. RNDr., CSc.
Keywords

Unfoldings, hybrid Petri net

Abstract

The unfolding is a useful partial-order method for analysis and verification of the hybrid Petri net properties.

Published
2011
Pages
334–335
Proceedings
Proceedings of the 13th International Conference on Computer Aided Systems Theory
Conference
Thirteen International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-693-9560-8
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
Universidad de Las Palmas de Canaria
BibTeX 
@inproceedings{BUT76276,
  author="Petr {Novosad} and Milan {Češka}",
  title="Unfoldings of Bounded Hybrid Petri Nets",
  booktitle="Proceedings of the 13th International Conference on Computer Aided Systems Theory",
  year="2011",
  pages="334--335",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Universidad de Las Palmas de Canaria",
  isbn="978-84-693-9560-8"
}
Back to top