The BRITNeY suite animation tool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4024 LNCS, Issue , 2006, Pages 431-440

  Westergaard, Michael ^a   Lassen, Kristian Bisgaard ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER GRAPHICS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; VISUALIZATION;

ANIMATION TOOL; CPN TOOLS; INDUSTRIAL PROJECTS; MESSAGE SEQUENCE CHARTS;

ANIMATION;

EID: 33746050779     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767589_26     Document Type: Conference Paper

References (25)

1. J. Bengtsson and W. Yi. Timed Automata: Semantics, Algorithms and Tools. In Lectures on Concurrency and Petri Nets, volume 3098 of LNCS, pages 87-124, Springer-Verlag, 2004.
2. C. Bossen and J.B. Jørgensen. Context-descriptive prototypes and their application to medicine administration. In DIS '04: Proc. of the 2004 conference on Designing interactive systems, pages 297-306, Boston, MA, USA, 2004. ACM Press.
3. CPN Tools. Online www.daimi.au.dk/CPNTools/.
4. Design/CPN. Online www.daimi.au.dk/designCPN/.
5. G. Gallasch and L.M. Kristensen. A Communication Infrastructure for External Communication with Design/CPN. In Proc. of Third CPN Workshop, volume PB-554 of DAIMI, pages 79-93, 2001.
6. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
7. K. Jensen. Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use. Volume 1: Basic Concepts. Springer-Verlag, 1992.
8. J.B. Jørgensen and K.B. Lassen. Aligning Work Processes and the Adviser Portal Bank System. In REBNITA05, 2005.
9. E. Kindler and C. Pales. 3D-Visualization of Petri Net Models: Concept and Realization. In Proc. of ICATPN 2004, volume 3099 of LNCS, pages 464-473. Springer-Verlag, 2003.
10. L.M. Kristensen and K. Jensen. Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad-hoc Networks. In Integration of Software Specification Techniques for Application in Engineering, volume 3147 of LNCS, pages 248-269. Springer-Verlag, 2004.
11. L.M. Kristensen, M. Westergaard, and P.C. Nørgaard. Model-based Prototyping of an Interoperability Protocol for Mobile Ad-hoc Networks. Accepted for Fifth International Conference on Integrated Formal Methods, 2005.
12. L. Lorentsen, A-P Tuovinen, and J. Xu. Modelling Features and Feature Interactions of Nokia Mobile Phones Using Coloured Petri Nets. In Proc. of ICATPN 2002, volume 2360 of LNCS, pages 294-313, 2002.
13. R.J. Machado, K.B. Lassen, S. Oliveira, M. Couto, and P. Pinto. Execution of UML Models with CPN Tools for Workflow Requirements Validation. In Proc. of Sixth CPN Workshop, volume PB-576 of DAIMI, pages 231-250, 2005.
14. J. Magee and J. Kramer. Concurrency - State Models and Java Programs. John Wiley & Sons, 1999.
15. R. Milner. Bigraphical Reactive Systems. In K.G. Larsen and M. Nielsen, editors, Proc. of CONCUR 2001, volume 2154 of LNCS, pages 16-35. Springer-Verlag, 2001.
16. R. Milner, R. Harper, and M. Tofte. The Definition of Standard ML. MIT Press, 1990.
17. R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes. Information and Computation, 100(1):1-77, 1992.
18. J.L. Rasmussen and M. Singh. Mimic/CPN. A Graphical Simulation Utility for Design/CPN. User's Manual. www.daimi.au.dk/design.CPN.
19. J.L. Rasmussen and M. Singh. Designing a Security System by Means of Coloured Petri Nets. In Proc. ICATPN 1996, volume 1091 of LNCS, pages 400-419. Springer-Verlag, 1996.
20. SceneBeans. Online www-dse.doc.ic.ac.uk/Software/SceneBeans.
21. The ExSpect tool, www.exspect.com.
22. M. Weber and E. Kindler. The Petri Net Kernel. In Petri Net Technologies for Modeling Communication Based Systems, volume 2472 of LNCS, pages 109-123. Springer-Verlag, 2003.
23. M. Westergaard. BRITNeY suite website. Online wiki.daimi.au.dk/tincpn/.
24. M. Westergaard and K.B. Lassen. Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY animation and CPN Tools. In Proc. of Sixth CPN Workshop, volume PB-576 of DAIMI, pages 119-136, 2005.
25. D. Winer. XML-RPC Specification, www.xmlrpc.org/spec.