Detail publikace

Simulation of Petri Nets in Scattered Context Grammars

KVĚTOŇOVÁ, Š. KOLÁŘ, D.

Originální název

Simulation of Petri Nets in Scattered Context Grammars

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

Scattered Context Grammars, Petri Nets, Modeling, Liveness

Autoři

KVĚTOŇOVÁ, Š.; KOLÁŘ, D.

Rok RIV

2011

Vydáno

3. 3. 2011

Nakladatel

HyperSciences Publisher

Místo

Tunisia

ISBN

978-1-4244-9796-6

Kniha

Proceedings of the International Conference on Communication, Computing and Control Applications

Strany od

1

Strany do

5

Strany počet

5

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