Přístupnostní navigace
E-application
Search Search Close
Publication detail
KVĚTOŇOVÁ, Š. KOLÁŘ, D.
Original Title
Simulation of Petri Nets in Scattered Context Grammars
Type
article in a collection out of WoS and Scopus
Language
English
Original 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.
Keywords
Scattered Context Grammars, Petri Nets, Modeling, Liveness
Authors
KVĚTOŇOVÁ, Š.; KOLÁŘ, D.
RIV year
2011
Released
3. 3. 2011
Publisher
HyperSciences Publisher
Location
Tunisia
ISBN
978-1-4244-9796-6
Book
Proceedings of the International Conference on Communication, Computing and Control Applications
Pages from
1
Pages to
5
Pages count
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" }