Detail publikačního výsledku

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

Anglický název

Simulation of Petri Nets in Scattered Context Grammars

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Anglický 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

Klíčová slova v angličtině

Scattered Context Grammars, Petri Nets, Modeling, Liveness

Autoři

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

Rok RIV

2012

Vydáno

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