Publication Details

State-space Model Based on Graph Rewriting

MAREK, V. State-space Model Based on Graph Rewriting. In Proceedings of 7th International Conference ISIM '04. Ostrava: 2004. p. 133-140. ISBN: 80-85988-99-2.

Czech title

Model stavového prostoru postavený na přepisování grafů

Type

conference paper

Language

English

Authors

Marek Vladimír, Ing.

Keywords

P/T Petri net, state space, graph grammar, finite representation of infinite state space.

Abstract

Many methods for model analyses and verifications are based on the state-space analysis of the model. While models usually have a finite representation, their state spaces are often infinite. This paper concentrates on a P/T Petri nets having exactly one place, which is a special subclass of P/T Petri nets, and shows how to represent infinite state space of a P/T Petri net in a finite way. For this purpose a concept of graph rewriting is used. Some interesting properties of this concept are studied and solution of reachability problem is shown.

Published

2004

Pages

133–140

Proceedings

Proceedings of 7th International Conference ISIM '04

ISBN

80-85988-99-2

Place

Ostrava

BibTeX

@inproceedings{BUT18256,
  author="Vladimír {Marek}",
  title="State-space Model Based on Graph Rewriting",
  booktitle="Proceedings of 7th International Conference ISIM '04",
  year="2004",
  pages="133--140",
  address="Ostrava",
  isbn="80-85988-99-2"
}