Sciweavers

APN
2006
Springer

The BRITNeY Suite Animation Tool

13 years 8 months ago
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.
Michael Westergaard, Kristian Bisgaard Lassen
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where APN
Authors Michael Westergaard, Kristian Bisgaard Lassen
Comments (0)