Title :
Time Petri Nets Analysis with TINA
Author :
Berthomieu, Bernard ; Vernadat, F.
Author_Institution :
LAAS/CNRS, Toulouse
Abstract :
Beside the usual graphic editing and simulation facilities, the software tool Tina may build a number of state space abstractions for Petri nets or Time Petri nets, preserving certain classes of properties. For Petri nets, these abstractions help preventing combinatorial explosion and rely on so-called partial order techniques such as covering steps and/or persistent sets. For time Petri nets, that have in general infinite state spaces, they provide finite representation of their behavior, in terms of state class graphs
Keywords :
Petri nets; formal specification; program verification; state-space methods; TINA; combinatorial explosion; covering steps; state class graphs; state space abstractions; time Petri nets analysis; Application software; Computer architecture; Explosions; Graphics; Logic; Petri nets; Software tools; State-space methods; System recovery; Telephony;
Conference_Titel :
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on
Conference_Location :
Riverside, CA
Print_ISBN :
0-7695-2665-9
DOI :
10.1109/QEST.2006.56
