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

Authors:
A. Hamez;L. Hillah;F. Kordon;A. Linard;E. Paviot-Adet;X. Renault;Y. Thierry-Mieg
Affiliations:
Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France;Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France;Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France;Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France;Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France;Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France;Universite Pierre & Marie Curie, 4 place Jussieu, 75252 Paris cedex 05, France
Venue:
ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Year:
2006

Citing 0
Cited 7

Model checking multi-agent systems with logic based Petri nets

Annals of Mathematics and Artificial Intelligence
From the prototype to the final embedded system using the Ocarina AADL tool suite

ACM Transactions on Embedded Computing Systems (TECS)
Investigating the usability of real-time scheduling theory with the Cheddar project

Real-Time Systems
Efficient state-based analysis by introducing bags in Petri nets color domains

ACC'09 Proceedings of the 2009 conference on American Control Conference
How to implement a theory of correctness in the area of business processes and services

BPM'10 Proceedings of the 8th international conference on Business process management
Analysis on demand: Instantaneous soundness checking of industrial business process models

Data & Knowledge Engineering
Experiences in model driven verification of behavior with UML

Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development

Quantified Score

Hi-index	0.00

Visualization

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.