New features in CPN-AMI 3: focusing on the analysis of complex distributed systems

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

[1]  Laure Petrucci,et al.  Model Engineering on Petri Nets for ISO/IEC 15909-2: API Framework for Petri Net Types Metamodels , 2005 .

[2]  David L. Dill,et al.  Verifying Systems with Replicated Components in Murphi , 1996, CAV.

[3]  Emmanuelle Encrenaz-Tiphène,et al.  Data Decision Diagrams for Petri Net Analysis , 2002, ICATPN.

[4]  Isabelle Mounier,et al.  Automatic Symmetry Detection in Well-Formed Nets , 2003, ICATPN.

[5]  Laurent Pautet,et al.  On the Formal Verification of Middleware Behavioral Properties , 2005, Electron. Notes Theor. Comput. Sci..

[6]  Denis Poitrenaud,et al.  SPOT: an extensible model checking library using transition-based generalized Bu/spl uml/chi automata , 2004, The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..

[7]  Fabrice Kordon,et al.  A survey: applying formal methods to a software intensive system , 2001, Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking.