Title :
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems
Author :
Hamez, A. ; Hillah, L. ; Kordon, F. ; Linard, A. ; Paviot-Adet, E. ; Renault, X. ; Thierry-Mieg, Y.
Author_Institution :
LIP6, Univ. Pierre et Marie Curie, Paris
Abstract :
Due to the state-space size explosion problem, behavioral analysis techniques are difficult to scale up to industrial size problems. Our group couples research on analysis tools with an introspection on modeling and software engineering techniques. CPN-AMI is an integrated development and analysis environment dedicated to Petri nets. The numerous services it offers are built by a homogeneous integration of tools developed internally, and third-party tools from partner universities. These tools include state of the art algorithms and data-structures. This third major release offers better support for modeling and analysis of very large systems
Keywords :
Petri nets; data flow graphs; data structures; distributed processing; formal specification; formal verification; programming environments; reachability analysis; CPN-AMI 3 integrated development and analysis environment; Petri nets; behavioral analysis technique; complex distributed system analysis; data-structure; industrial size problem; software engineering technique; state of the art algorithm; state-space size explosion problem; third-party tool; Assembly; Context modeling; Educational institutions; Explosions; Merging; Pattern analysis; Petri nets; Prototypes; Software engineering; Testing;
Conference_Titel :
Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on
Conference_Location :
Turku
Print_ISBN :
0-7695-2556-3
DOI :
10.1109/ACSD.2006.15
