DocumentCode
492857
Title
Concurrent simulation of concurrent discrete systems
Author
Karatkevich, Andrei
Author_Institution
Inst. of Comput. Eng. & Electron., Univ. of Zielona Gora, Gora, Poland
fYear
2009
fDate
24-28 Feb. 2009
Firstpage
218
Lastpage
222
Abstract
In this paper a method of formal verification of concurrent discrete systems is presented. Full state space exploration is a powerful approach to such verification; however it cannot be applied to the large systems. The proposed method is based on concurrent simulation exploring the state spaces partially. As the model we use the ordinary Petri nets.
Keywords
Petri nets; concurrent engineering; discrete systems; formal verification; concurrent discrete systems; concurrent simulation; formal verification; full state space exploration; ordinary Petri nets; Concurrent computing; Control system synthesis; Fires; Formal verification; Optimized production technology; Petri nets; Power system modeling; Space exploration; State-space methods; System recovery; Discrete systems; Petri nets; concurrency; state spaces; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
CAD Systems in Microelectronics, 2009. CADSM 2009. 10th International Conference - The Experience of Designing and Application of
Conference_Location
Lviv-Polyana
Print_ISBN
978-966-2191-05-9
Type
conf
Filename
4839811
Link To Document