The BRITNeY Suite Animation Tool

  • Michael Westergaard
  • Kristian Bisgaard Lassen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4024)


This paper describes the BRITNeY suite, a tool which enables users to create visualizations of formal models. BRITNeY suite is integrated with CPN Tools, and we give an example of how to extend a simple stop-and-wait protocol with a visualization in the form of message sequence charts. We also show examples of animations created during industrial projects to give an impression of what is possible with the BRITNeY suite.


Requirement Engineering Design Pattern Industrial Project Message Sequence Chart Animation Sequence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 87–124. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  2. 2.
    Bossen, C., Jørgensen, J.B.: Context-descriptive prototypes and their application to medicine administration. In: DIS 2004: Proc. of the 2004 conference on Designing interactive systems, Boston, MA, USA, pp. 297–306. ACM Press, New York (2004)CrossRefGoogle Scholar
  3. 3.
    CPN Tools, Online:
  4. 4.
    Design/CPN, Online:
  5. 5.
    Gallasch, G., Kristensen, L.M.: A Communication Infrastructure for External Communication with Design/CPN. In: Proc. of Third CPN Workshop, DAIMI, vol. PB-554, pp. 79–93 (2001)Google Scholar
  6. 6.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)Google Scholar
  7. 7.
    Jensen, K.: Coloured Petri Nets—Basic Concepts, Analysis Methods and Practical Use. Basic Concepts, vol. 1. Springer, Heidelberg (1992)Google Scholar
  8. 8.
    Jørgensen, J.B., Lassen, K.B.: Aligning Work Processes and the Adviser Portal Bank System. In: REBNITA 2005 (2005)Google Scholar
  9. 9.
    Kindler, E., Páles, C.: 3D-Visualization of Petri Net Models: Concept and Realization. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 464–473. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  10. 10.
    Kristensen, L.M., Jensen, K.: Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad-hoc Networks. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 248–269. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  11. 11.
    Kristensen, L.M., Westergaard, M., Nørgaard, P.C.: Model-based Prototyping of an Interoperability Protocol for Mobile Ad-hoc Networks. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol. 3771, pp. 266–286. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    Lorentsen, L., Tuovinen, A.-P., Xu, J.: Modelling Features and Feature Interactions of Nokia Mobile Phones Using Coloured Petri Nets. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 294–313. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  13. 13.
    Machado, R.J., Lassen, K.B., Oliveira, S., Couto, M., Pinto, P.: Execution of UML Models with CPN Tools for Workflow Requirements Validation. In: Proc. of Sixth CPN Workshop, DAIMI, vol. PB-576, pp. 231–250 (2005)Google Scholar
  14. 14.
    Magee, J., Kramer, J.: Concurrency – State Models and Java Programs. John Wiley & Sons, Chichester (1999)Google Scholar
  15. 15.
    Milner, R.: Bigraphical Reactive Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 16–35. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  16. 16.
    Milner, R., Harper, R., Tofte, M.: The Definition of Standard ML. MIT Press, Cambridge (1990)Google Scholar
  17. 17.
    Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes. Information and Computation 100(1), 1–77 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Rasmussen, J.L., Singh, M.: Mimic/CPN. A Graphical Simulation Utility for Design/CPN. User’s Manual,
  19. 19.
    Rasmussen, J.L., Singh, M.: Designing a Security System by Means of Coloured Petri Nets. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol. 1091, pp. 400–419. Springer, Heidelberg (1996)Google Scholar
  20. 20.
  21. 21.
    The ExSpect tool,
  22. 22.
    Weber, M., Kindler, E.: The Petri Net Kernel. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 109–123. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  23. 23.
    Westergaard, M.: BRITNeY suite website, Online:
  24. 24.
    Westergaard, M., Lassen, K.B.: Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY animation and CPN Tools. In: Proc. of Sixth CPN Workshop, DAIMI, vol. PB-576, pp. 119–136 (2005)Google Scholar
  25. 25.
    Winer, D.: XML-RPC Specification,

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Michael Westergaard
    • 1
  • Kristian Bisgaard Lassen
    • 1
  1. 1.Department of Computer ScienceUniversity of AarhusAarhus NDenmark

Personalised recommendations