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"
}
Nahoru