The BRITNeY suite animation tool

M. Westergaard, K.B. Lassen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    27 Citations (Scopus)


    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.
    Original languageEnglish
    Title of host publicationPetri 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)
    EditorsS. Donatelli, P.S. Thiagarajan
    Place of PublicationBerlin
    ISBN (Print)3-540-34699-6
    Publication statusPublished - 2006

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743


    Dive into the research topics of 'The BRITNeY suite animation tool'. Together they form a unique fingerprint.

    Cite this