The BRITNeY suite animation tool

Authors:
Michael Westergaard;Kristian Bisgaard Lassen
Affiliations:
Department of Computer Science, University of Aarhus, Aarhus N, Denmark;Department of Computer Science, University of Aarhus, Aarhus N, Denmark
Venue:
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Year:
2006

Citing 8
Cited 11

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Concurrency: state models & Java programs

Concurrency: state models & Java programs
The Definition of Standard ML

The Definition of Standard ML
Bigraphical Reactive Systems

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Designing a Security System by Means of Coloured Petri Nets

Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets

ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Context-descriptive prototypes and their application to medicine administration

DIS '04 Proceedings of the 5th conference on Designing interactive systems: processes, practices, methods, and techniques
Model-Based prototyping of an interoperability protocol for mobile ad-hoc networks

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

A Game-theoretic Approach to Behavioural Visualisation

Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario

PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models

PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario

Fundamenta Informaticae - Petri Nets 2008
The APEX framework: prototyping of ubiquitous environments based on Petri nets

HCSE'10 Proceedings of the Third international conference on Human-centred software engineering
Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry

Robotics and Computer-Integrated Manufacturing
Access/CPN 2.0: a high-level interface to coloured petri net models

PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario

Fundamenta Informaticae - Petri Nets 2008
CPN assistant II: a tool for management of networked simulations

PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
CPN tools 4: multi-formalism and extensibility

PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency

Quantified Score

Hi-index	0.01

Visualization

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.