State-space Model Based on Graph Rewriting

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F04%3APU56516" target="_blank" >RIV/00216305:26230/04:PU56516 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
State-space Model Based on Graph Rewriting
Original language description
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 oneplace, 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.
Czech name
Model stavového prostoru postavený na přepisování grafů
Czech description
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 ukazujje řešení problému dosažitelnosti nad touto konečnou reprezentací.

Project
<a href="/en/project/GA102%2F04%2F0780" target="_blank" >GA102/04/0780: Automated methods and tools supporting development of reliable concurrent and distributed systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of 7th International Conference ISIM '04
ISBN
80-85988-99-2
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
133-140
Publisher name
NEUVEDEN
Place of publication
Ostrava
Event location
Rožnov pod Radhošťem
Event date
Apr 19, 2004
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—

Similar results(10)