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

fYear

2006

fDate

28-30 June 2006

Firstpage

273

Lastpage

275

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on

Conference_Location

Turku

ISSN

1550-4808

Print_ISBN

0-7695-2556-3

Type

conf

DOI

10.1109/ACSD.2006.15

Filename

1640244