The BRITNeY Suite Animation Tool

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.

• Type: Conference
• Year: 2006
• Where: APN
• Authors: Michael Westergaard, Kristian Bisgaard Lassen
• Keywords: APN 2006, Artificial Intelligence, BRITNeY Suite, Message Sequence Charts, Simple Stop-and-wait Protocol