Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Novosad Petr, Ing., FIT (FIT)
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Abstrakt

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

Klíčová slova

Unfoldings, hybrid Petri net

Rok
2011
Strany
334–335
Sborník
Proceedings of the 13th International Conference on Computer Aided Systems Theory
Konference
Thirteen International Conference On Computer Aided Systems Theory
ISBN
978-84-693-9560-8
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
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"
}
Projekty
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru