Publication Details

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD Petr and ČEŠKA Milan. Unfoldings of Bounded Hybrid Petri Nets. In: 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, pp. 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. (DITS FIT BUT)
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT)

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, ES

BibTeX

@INPROCEEDINGS{FITPUB9489,
   author = "Petr Novosad and Milan \v{C}e\v{s}ka",
   title = "Unfoldings of Bounded Hybrid Petri Nets",
   pages = "334--335",
   booktitle = "Proceedings of the 13th International Conference on Computer Aided Systems Theory",
   year = 2011,
   location = "Universidad de Las Palmas de Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "978-84-693-9560-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9489"
}