What is BRITNeY Suite? | BRITNeY Suite |
Experimental Test-bed for New Features for CPN Tools | BRITNeY |
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.
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.
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.
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.