Publication detail

Simulation of Petri Nets in Scattered Context Grammars

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

Original Title

Simulation of Petri Nets in Scattered Context Grammars

English Title

Simulation of Petri Nets in Scattered Context Grammars

Type

conference paper

Language

en

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.

English 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

RIV year

2011

Released

03.03.2011

Publisher

HyperSciences Publisher

Location

Tunisia

ISBN

978-1-4244-9796-6

Book

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

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

1

Pages to

5

Pages count

5

BibTex


@inproceedings{BUT91084,
  author="Šárka {Květoňová} and Dušan {Kolář}",
  title="Simulation of Petri Nets in Scattered Context Grammars",
  annote="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.",
  address="HyperSciences Publisher",
  booktitle="Proceedings of the International Conference on Communication, Computing and Control Applications",
  chapter="91084",
  edition="NEUVEDEN",
  howpublished="print",
  institution="HyperSciences Publisher",
  year="2011",
  month="march",
  pages="1--5",
  publisher="HyperSciences Publisher",
  type="conference paper"
}