Detail publikačního výsledku

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD, P.; ČEŠKA, M.

Originální název

Unfoldings of Bounded Hybrid Petri Nets

Anglický název

Unfoldings of Bounded Hybrid Petri Nets

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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

Anglický 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

Klíčová slova v angličtině

Unfoldings, hybrid Petri net

Autoři

NOVOSAD, P.; ČEŠKA, M.

Rok RIV

2012

Vydáno

06.02.2011

Nakladatel

The Universidad de Las Palmas de Gran Canaria

Místo

Universidad de Las Palmas de Canaria

ISBN

978-84-693-9560-8

Kniha

Proceedings of the 13th International Conference on Computer Aided Systems Theory

Strany od

334

Strany do

335

Strany počet

2

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"
}