Publication Details

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.
Czech title
Simulace Petriho sítí prostřednictvím gramatik s rozptýleným kontextem
Type
conference paper
Language
English
Authors
Květoňová Šárka, Ing., Ph.D. (DIFS)
Kolář Dušan, doc. Dr. Ing. (DIFS)
Keywords

Scattered Context Grammars, Petri Nets, Modeling, Liveness

Abstract

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.

Annotation

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.

Published
2011
Pages
1–5
Proceedings
Proceedings of the International Conference on Communication, Computing and Control Applications
ISBN
978-1-4244-9796-6
Publisher
HyperSciences Publisher
Place
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"
}
Back to top