Result 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.
Type
conference paper
Language
English
Authors
Novosad Petr, Ing., FIT (FIT)
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Abstract

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

Keywords

Unfoldings, hybrid Petri net

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
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"
}
Projects
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Departments
Department of Intelligent Systems (DITS)
Back to top