JCPNet tool and automated analysis of distributed systems

Authors:
Xiaochuan Yi;Krys J. Kochut
Affiliations:
The University of Georgia, Athens, GA;The University of Georgia, Athens, GA
Venue:
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Year:
2005

Citing 5
Cited 0

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Introduction to Algorithms

Introduction to Algorithms
A Sweep-Line Method for State Space Exploration

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
The State Explosion Problem

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
A CP-nets-based Design and Verification Framework for Web Services Composition

ICWS '04 Proceedings of the IEEE International Conference on Web Services

Quantified Score

Hi-index	0.01

Visualization

Abstract

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.