Detail publikace

Simulation of Petri Nets in Scattered Context Grammars

KVĚTOŇOVÁ Šárka a KOLÁŘ Dušan. Simulation of Petri Nets in Scattered Context Grammars. In: Proceedings of the International Conference on Communication, Computing and Control Applications. Tunisia: HyperSciences Publisher, 2011, s. 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
angličtina
Autoři
Květoňová Šárka, Ing., Ph.D. (UIFS FIT VUT)
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT)
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
Konference
IEEE International Conference on Communications, Computing and Control Applications, Hammamet, TN
ISBN
978-1-4244-9796-6
Vydavatel
HyperSciences Publisher
Místo
Tunisia, TN
BibTeX 
@INPROCEEDINGS{FITPUB9500,
   author = "\v{S}\'{a}rka Kv\v{e}to\v{n}ov\'{a} and Du\v{s}an Kol\'{a}\v{r}",
   title = "Simulation of Petri Nets in Scattered Context Grammars",
   pages = "1--5",
   booktitle = "Proceedings of the International Conference on Communication, Computing and Control Applications",
   year = 2011,
   location = "Tunisia, TN",
   publisher = "HyperSciences Publisher",
   ISBN = "978-1-4244-9796-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9500"
}
Nahoru