State-space Exploration of Petri Nets
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU56514" target="_blank" >RIV/00216305:26230/05:PU56514 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
State-space Exploration of Petri Nets
Original language description
Petri nets are used as basic models in modeling, simulation and verification of discrete-event systems and concurrent systems. Petri nets analysis methods based on state-space exploration deal with the state-space explosion problem and the infineteness of the state space. A new approach to a finite representation of the infinite state space, similar to coverability graphs, is presented in this article. Its principle is based on aggregation of such states (markings) which enable the same set of transitioons. The aggregated markings form a class of indistinguishable markings. An algorithm for computation classes of markings is shown.
Czech name
Výzkum stavových prostorů Petriho sítí
Czech description
Petriho sítě jsou základním modelovacím prostředkem v oblastech modelování, simulace a verifikace systémů s diskrétním časem a paralelních systémů. Metody analýzy Petriho sítí založené na prohledávání stavového prostoru jsou limitovány stavovou explozí apotenciálně nekonečným počtem stavů. Tento článek představuje nový přístup ke konečné reprezentaci nekonečného stavového prostoru, který je obdobou grafů pokrytí. Základním principem je agregace těch stavů (značení), které povolují provedení stejnné množiny přechodů. Agregované stavy tvoří třídu nerozlišitelných stavů. Článek obsahuje algoritmus pro výpočet těchto tříd.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
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)
Others
Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of 39th International Conference MOSIS '05
ISBN
80-86840-10-7
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
114-119
Publisher name
NEUVEDEN
Place of publication
Ostrava
Event location
Hradec nad Moravicí
Event date
Apr 19, 2005
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—