Title :
Concurrent simulation of concurrent discrete systems
Author :
Karatkevich, Andrei
Author_Institution :
Inst. of Comput. Eng. & Electron., Univ. of Zielona Gora, Gora, Poland
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;
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
