What is BRITNeY Suite?
Experimental Test-bed for New Features for CPN Tools BRITNeY


BRITNeY Suite currently focuses on four things: animation based on the simulation of a CPN, optionally using CPN Tools, state-space analysis of CPN models, editing, simulation, and state-space analysis of bi-graphical reactive systems, and loading of CPN models in the most recent proposal for a standard interchange format for High-level Petri nets.

britney.png

Simulation Based Animation

BRITNeY Suite uses a Java XML-RPC server and implements an XML-RPC client in standard ML. Using these and a supporting RMI compiler, very easy communication between CPN models and the Java-based animation package is enabled.

BRITNeY Suite allows implementers to easily implement domain-specific animations using standard Java classes. The animations can be run directly from BRITNeY Suite. BRITNeY Suite allows deploying animations without the ability to modify them, independently of the other functionality.

Experimental features in BRITNeY Suite

As a test-bed for new features are we currently experimenting with the following.

State-space analysis of CPN models

BRITNeY Suite supports state-space analysis of CPN models loaded via CPN Tools. BRITNeY initially support the same operations as Design/CPN, but will slowly evolve towards a cleaner tool. Currently a prototype of a new user-interface is implemented, and new functions for visualising state-spaces has been implemented.

Editing and Simulation of Bi-Graphical Reactive Systems

BRITNeY Suite supports input of a bi-graphical reactive system (BRS) using a simple text-format. BRITNeY Suite also supports entry of BRS by means of a asynchronous pi-calculus process, by means of an Ambient-calculus expression, and by converting a Petri-net.

BRITNeY Suite can show the Disconnected Normal Form as well as the Connected Normal Form. BRITNeY Suite allows simulation of BRS.

High-level Petri net Loading

BRITNeY Suite implements loading of CPN models specified using the most recent proposal for a standard interchange format for High-level Petri nets. BRITNeY Suite supports rendering and simple editing of loaded models, but does not aim at being a full-featured editor.

Version 2, Fri 23 Jun 2006 14:30:35 [tveon] - created Tue 13 Jun 2006 13:22:12 [tveon]