Detail publikace

State-space Model Based on Graph Rewriting

MAREK, V. State-space Model Based on Graph Rewriting. In 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
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