JCPNet tool and automated analysis of distributed systems

Model based approach is crucial to the analysis of system design. Colored Petri Nets (CPNet) have been used as software model with good success. It can be used to complement UML diagrams by providing formal modeling and analysis of dynamic behaviors of distributed systems. In order to enable CPNet model to be utilized more flexibly and widely, a new software tool JCPNet has been developed. This paper discusses the background, motivation and development of JCPNet, and its applications to specification and analysis of distributed systems.

[1]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[2]  John Bennett,et al.  Practitioner's Guide , 1990 .

[3]  Lars Michael Kristensen,et al.  The practitioner’s guide to coloured Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[4]  Lars Michael Kristensen,et al.  A Sweep-Line Method for State Space Exploration , 2001, TACAS.

[5]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[6]  Krys J. Kochut,et al.  A CP-nets-based design and verification framework for Web services composition , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[7]  Kurt Jensen,et al.  Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1 , 1996 .

[8]  Charles Lakos,et al.  Incremental State Space Construction for Coloured Petri Nets , 2001, ICATPN.

[9]  Antti Valmari,et al.  The State Explosion Problem , 1996, Petri Nets.

[10]  Lars Michael Kristensen,et al.  Application of Coloured Petri Nets in System Development , 2003, Lectures on Concurrency and Petri Nets.

[11]  Michael Westergaard,et al.  Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method , 2004, TACAS.

[12]  Clifford Stein,et al.  Introduction to Algorithms, 2nd edition. , 2001 .

[13]  Alan W. Brown.  An Introduction to Model Driven Architecture - Part 1; MDA and Today's Systems , 2004 .

[14]  Ronald L. Rivest,et al.  Introduction to Algorithms, Second Edition , 2001 .