1. 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

2. 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

3. Model-View-Controller
October 25, 2005

4. Model-View-Controller
Animation GUI
CPN model
October 25, 2005

5. Architecture
View
Controller +
Model
View
October 25, 2005

6. Charts Message Sequence Charts Architecture SceneBeans animations
Custom Animation Plug-ins
Animations and the new state-space tool
Charts
October 25, 2005

7. Change the Model
Add some more laps
Add time
October 25, 2005

8. October 25, 2005

9. October 25, 2005

10. October 25, 2005

11. October 25, 2005

12. October 25, 2005

13. 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

14. Architecture
View
Controller +
Model
View
October 25, 2005

15. 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

16. 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

17. 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

18. 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