Publication Details

State-space Model Based on Graph Rewriting

MAREK Vladimír. State-space Model Based on Graph Rewriting. In: Proceedings of 7th International Conference ISIM '04. Ostrava, 2004, pp. 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. (DITS FIT BUT)

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

Conference

7th International Conference on Information Systems Implementation and Modelling, Rožnov pod Radhošťem, CZ

ISBN

80-85988-99-2

Place

Ostrava, CZ

BibTeX

@INPROCEEDINGS{FITPUB7908,
   author = "Vladim\'{i}r Marek",
   title = "State-space Model Based on Graph Rewriting",
   pages = "133--140",
   booktitle = "Proceedings of 7th International Conference ISIM '04",
   year = 2004,
   location = "Ostrava, CZ",
   ISBN = "80-85988-99-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7908"
}