Detail publikace

State-space Model Based on Graph Rewriting

MAREK, V. State-space Model Based on Graph Rewriting. Proceedings of 7th International Conference ISIM '04. Ostrava: 2004. p. 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
anglicky
Autoři
Marek Vladimír, Ing.
Klíčová slova

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

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
Místo
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"
}
Nahoru