Faculty of Information Technology, BUT

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"
}
Back to top