Detail publikace
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: MARQ, 2004, s. 133-140. ISBN 80-85988-99-2.
Název česky
Model stavového prostoru postavený na přepisování grafů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Marek Vladimír, Ing. (UITS FIT VUT)
Abstrakt
Analýza a verifikace systémů je často založena na analýze stavového prostoru. Zatímco modely mají obvykle konečnou reprezentaci, jejich stavový prostor je často nekonečný. Tento článek se soustřeďuje na specifickou podřídu P/T Petriho sítí (těch, které mají právě jedno místo) a ukazuje, jak reprezentovat jejich nekonečný stavový prostor pomocí konečným způsobem. Pro účely konečné reprezentace je využit koncept přepisování grafů. Článek dále obsahuje studium základních vlastností tohoto konceptu a ukazuje řešení problému dosažitelnosti nad touto konečnou reprezentací.
Rok
2004
Strany
133-140
Sborník
Proceedings of 7th International Conference ISIM '04
Konference
7th International Conference on Information Systems Implementation and Modelling, Rožnov pod Radhošťem, CZ
ISBN
80-85988-99-2
Vydavatel
MARQ
Místo
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" }