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

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn , Issue , 2006, Pages 273-275

  Hamez, A ^a   Hillah, L ^a   Kordon, F ^a   Linard, A ^a   Paviot Adet, E ^a   Renault, X ^a   Thierry Mieg, Y ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 41149178827     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2006.15     Document Type: Conference Paper

References (11)

1. J-M. Couvreur, E. Encrenaz, E. Paviot-Adet, D. Poitrenaud, and P-A. Wacrenier. Data decision diagrams for petri net analysis. In J. Esparza and C. Lakos, editors, 23rd Intl. Conf. on Applications and Theory of Petri Nets, number 2360 in LNCS, pages 101-120. Springer Verlag, 2002.
2. A. de Groot, J. Hooman, F. Kordon, E. PaviotAdet, I. Vernier-Mounier, M. Lemoine, G. Gaudiere, V. Winter, and D. Kapur. A survey: Applying formal methods to a software intensive system. In The 6th IEEE Int. Symposium on High-Assurance Systems Engineering, pages 55-64. IEEE Computer Society, 2001.
3. A. Duret-Lutz and D. Poitrenaud. Spot: an extensible model checking library using transition-based generalized Büchi automata. In Proceedings of the 12th IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'04), pages 76-83, 2004.
4. GreatSPN: GRaphical Editor, Analyzer for Timed, and Stochastic Petri Nets, http://www.di.unito.it/~greatspn/.
5. A. Hamez and X. Renault. PetriScript Reference Manual. LIP6, http://www-src.lip6.fr/logiciels/mars/CPNAMI/MANUAL_SERV.
6. L. Hillah, F. Kordon, L. Petrucci, and N. Tréves. Building an api for iso/iec 15909, based on model engineering techniques. Petri Net Newsletter, 69:22-40, October 2005.
7. J. Hugues, Y. Thierry-Mieg, F. Kordon, L. Pautet, S. Baarir, and T. Vergnaud. On the Formal Verification of Middleware Behavioral Properties. In Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), volume ENTCS 133, pages 139 -157. Elsevier, September 2004.
8. N. Ip and D. Dill. Verifying systems with replicated components in murphi. In Rajeev Alur and Thomas A. Henzinger, editors, Proceedings of the Eighth International Conference on Computer Aided Verification CAV, volume 1102, pages 147-158. Springer Verlag, 1996.
9. E. Kindler. Software and Systems Engineering -High-level Petri Nets. Part2: Transfert Format. Working Draft for the Int. Standard ISO/IEC 15909 Part 2 - Version 0.6.3, June 2005.
10. OMG. MDA Guide Version 1.0.1, document no: omg/2003-06-01, 2003.
11. Y. Thierry-Mieg, C. Dutheillet, and I. Mounier. Automatic symmetry detection in well-formed nets. In Proc. of ICATPN 2003, volume 2679 of Lecture Notes in Computer Science, pages 82-101. Springer Verlag, June 2003.