The BRITNeY Suite Animation Tool
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 431-440
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc NetworksLecture Notes in Computer Science, 2005
- Context-descriptive prototypes and their application to medicine administration2004
- 3D-Visualization of Petri Net Models: Concept and Realization2004
- Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc NetworksLecture Notes in Computer Science, 2004
- Timed Automata: Semantics, Algorithms and Tools2004
- The Petri Net KernelLecture Notes in Computer Science, 2003
- Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri NetsLecture Notes in Computer Science, 2002
- Bigraphical Reactive Systems2001
- Designing a security system by means of Coloured Petri NetsLecture Notes in Computer Science, 1996
- A calculus of mobile processes, IInformation and Computation, 1992