@inproceedings{6511434bfc8d41e996df9d94687fba7a,
title = "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.",
author = "M. Westergaard and K.B. Lassen",
year = "2006",
doi = "10.1007/11767589_26",
language = "English",
isbn = "3-540-34699-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "431--440",
editor = "S. Donatelli and P.S. Thiagarajan",
booktitle = "Petri Nets and other Models of Concurrency - ICATPN'06 (Proceedings 27th International Conference on Applications and Theory of Petri Nets (Turku, Finland, June 26-30, 2006)",
address = "Germany",
}