The Access/CPN Framework A Tool for Interacting w

Authors: Michael Westergaard Lars Michael Kristensen

Publish Date: 2009/6/22

Volume: , Issue: , Pages: 313-322

PDF Link

Abstract

Coloured Petri nets CPnets or CPNs is a widely used formalism for describing concurrent systems CPN Tools provides a mature environment for constructing simulating and performing analysis of CPN models CPN Tools also has limitations if for example one wishes to extend the analysis capabilities or to integrate CPN models into external applications In this paper we present Access/CPN a framework that facilitates such extensions Access/CPN consists of two interfaces one written in Standard ML which is very close to the simulator component of CPN Tools and one written in Java providing an objectoriented representation of CPN models a means to load models created using CPN Tools and an interface to the simulator We illustrate Access/CPN by providing the complete implementation of a simple commandline state space exploration tool

Keywords: