BRITNeY Suite Home
Experimental Test-bed for New Features for CPN Tools BRITNeY


Welcome to the home page of BRITNeY Suite, maintained by Michael Westergaard. BRITNeY is short for "Basic Real-time Interactive Tool for Net-based animation".

BRITNeY Suite currently offers a framework for animation of CPN models, created and simulated using CPN Tools as well as loading of CPN models in the most recent proposal for a standard interchange format for High-level Petri nets. BRITNeY Suite also supports visualisation of Bigraphs. Upcoming features include simulation of CP nets and Bigraphical reactive systems and support for the generation of reachability graphs for both formalisms.

General Information

Documents and Manuals

Download and Installation

Links to Other Petri Net Pages

Version 21, Tue 20 Jun 2006 15:04:51 [tveon]