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