Skip to main content
SpringerLink
Log in

The BRITNeY Suite Animation Tool

  • Conference paper
Petri Nets and Other Models of Concurrency - ICATPN 2006 (ICATPN 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4024))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  3. CPN Tools, Online: www.daimi.au.dk/CPNTools/

  4. Design/CPN, Online: www.daimi.au.dk/designCPN/

  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. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)

    Google Scholar 

  7. Jensen, K.: Coloured Petri Nets—Basic Concepts, Analysis Methods and Practical Use. Basic Concepts, vol. 1. Springer, Heidelberg (1992)

    Google Scholar 

  8. Jørgensen, J.B., Lassen, K.B.: Aligning Work Processes and the Adviser Portal Bank System. In: REBNITA 2005 (2005)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Magee, J., Kramer, J.: Concurrency – State Models and Java Programs. John Wiley & Sons, Chichester (1999)

    Google Scholar 

  15. Milner, R.: Bigraphical Reactive Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 16–35. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  16. Milner, R., Harper, R., Tofte, M.: The Definition of Standard ML. MIT Press, Cambridge (1990)

    Google Scholar 

  17. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes. Information and Computation 100(1), 1–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  18. Rasmussen, J.L., Singh, M.: Mimic/CPN. A Graphical Simulation Utility for Design/CPN. User’s Manual, http://www.daimi.au.dk/designCPN

  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. SceneBeans, Online: http://www-dse.doc.ic.ac.uk/Software/SceneBeans

  21. The ExSpect tool, http://www.exspect.com

  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)

    Chapter  Google Scholar 

  23. Westergaard, M.: BRITNeY suite website, Online: http://wiki.daimi.au.dk/tincpn/

  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. Winer, D.: XML-RPC Specification, http://www.xmlrpc.org/spec

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200, Aarhus N, Denmark

    Michael Westergaard & Kristian Bisgaard Lassen

Authors
  1. Michael Westergaard
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kristian Bisgaard Lassen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, 10149, Torino, Italy

    Susanna Donatelli

  2. School of Computing, National University of Singapore,  

    P. S. Thiagarajan

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Westergaard, M., Lassen, K.B. (2006). The BRITNeY Suite Animation Tool. In: Donatelli, S., Thiagarajan, P.S. (eds) Petri Nets and Other Models of Concurrency - ICATPN 2006. ICATPN 2006. Lecture Notes in Computer Science, vol 4024. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767589_26

Download citation

  • DOI: https://doi.org/10.1007/11767589_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-34699-9

  • Online ISBN: 978-3-540-34700-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation