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