Department of Computer Science Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY Animation and CPN Tools Michael Westergaard Kristian B. Lassen Department of Computer Science University of Aarhus Denmark October 25, 2005
Architecture of BRITNeY animation Message Sequence Charts SceneBeans animations Charts Custom Animation Plug-ins Animations and the new state-space tool Architecture of BRITNeY animation October 25, 2005
Model-View-Controller October 25, 2005
Model-View-Controller Animation GUI CPN model October 25, 2005
Architecture View Controller + Model View October 25, 2005
Charts Message Sequence Charts Architecture SceneBeans animations Custom Animation Plug-ins Animations and the new state-space tool Charts October 25, 2005
Change the Model Add some more laps Add time October 25, 2005
October 25, 2005
October 25, 2005
October 25, 2005
October 25, 2005
October 25, 2005
Custom Animation Plug-ins Message Sequence Charts Architecture SceneBeans animations Charts Animations and the new state-space tool Custom Animation Plug-ins October 25, 2005
Architecture View Controller + Model View October 25, 2005
Task We need a large screen showing the winner of the race BRITNeY animation does not immediately support this It is easy to program such a view in Java BRITNeY animation can expose any Java class to CPN models October 25, 2005
Creating a New Animation Plug-in Write your plug-in as a Java class Create a plug-in descriptor, plugin.xml Copy the class-files and plug-in descriptor to the appropriate location October 25, 2005
Animations and the New State-space Tool Message Sequence Charts Architecture SceneBeans animations Charts Custom Animation Plug-ins Animations and the New State-space Tool October 25, 2005
Features Draw entire state-space State-space report Charts showing number of states/arcs Charts showing where time is spent Chart showing distribution of in/out degree MSCs showing counter-examples {fn (_, Bind.New_Page'win (1, {x = r(1), ... }), _) => true | _ => false} October 25, 2005