Conference paper

KVĚTOŇOVÁ Šárka and 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, pp. 1-5. ISBN 978-1-4244-9796-6.
Publication language:english
Original title:Simulation of Petri Nets in Scattered Context Grammars
Title (cs):Simulace Petriho sítí prostřednictvím gramatik s rozptýleným kontextem
Pages:1-5
Proceedings:Proceedings of the International Conference on Communication, Computing and Control Applications
Conference:IEEE International Conference on Communications, Computing and Control Applications
Place:Tunisia, TN
Year:2011
ISBN:978-1-4244-9796-6
Publisher:HyperSciences Publisher
Keywords
Scattered Context Grammars, Petri Nets, Modeling, Liveness
Annotation
Usually, Petri nets are used as a mean to model
some particular system, or its part. In this paper,
we present an approach, how the Petri nets can be represented
in scattered context grammars. Not only the construction itself,
but even formal definition of particular properties-liveness and
boundedness. Proving of these properties can be transferred to
proving another property over derivations of scattered context
grammars thus.
Abstract
This paper demonstrates, how we can represent P/T Petri nets
and Petri nets with inhibitors as scattered context grammars.
We also define two key properties known from Petri net
terminology over their grammar representation.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=9500}
}

Your IPv4 address: 54.81.73.2
Switch to IPv6 connection

DNSSEC [dnssec]