Detail publikace

Simulation of Petri Nets in Scattered Context Grammars

KVĚTOŇOVÁ, Š.; KOLÁŘ, D. Simulation of Petri Nets in Scattered Context Grammars. Proceedings of the International Conference on Communication, Computing and Control Applications. Tunisia: HyperSciences Publisher, 2011. p. 1-5. ISBN: 978-1-4244-9796-6.
Název česky
Simulace Petriho sítí prostřednictvím gramatik s rozptýleným kontextem
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Květoňová Šárka, Ing., Ph.D. (UIFS)
Kolář Dušan, doc. Dr. Ing. (UIFS)
Klíčová slova

Gramatika s rozptýleným kontextem, Petriho sítě, modelování, živost

Abstrakt

Petriho sítě jsou obvykle používány jako prostředek pro modelování komplexního systému nebo jeho části. Příspěvek se zabývá reprezentací Petriho sítí prostřednictvím gramatik s rozptýleným kontextem.

Anotace

Příspěvek demonstruje možnou reprezentaci P/T Petriho sítí a Petriho sítí s inhibitory prostřednictvím gramatik s rozptýleným kontextem. Rovněž jsou zde formálně definovány klíčové vlastnosti známé z terminologie Petri sítí.

Rok
2011
Strany
1–5
Sborník
Proceedings of the International Conference on Communication, Computing and Control Applications
ISBN
978-1-4244-9796-6
Vydavatel
HyperSciences Publisher
Místo
Tunisia
BibTeX 
@inproceedings{BUT91084,
  author="Šárka {Květoňová} and Dušan {Kolář}",
  title="Simulation of Petri Nets in Scattered Context Grammars",
  booktitle="Proceedings of the International Conference on Communication, Computing and Control Applications",
  year="2011",
  pages="1--5",
  publisher="HyperSciences Publisher",
  address="Tunisia",
  isbn="978-1-4244-9796-6"
}
Nahoru