Modelling and Analysis Software
The following software is commonly used by members of CSEC in their research activities:
CPN Tools and Design/CPN
Petri nets are a model of computation that can express concurrency, non-determinism and system concepts at different levels of abstraction. High-level Petri nets extend the basic features of Petri Nets by adding facilities for modelling and manipulating data. Design/CPN, and its successor, CPN Tools, are highly successful software packages for modelling complex distributed systems, including communication protocols, using Coloured Petri Nets (a form of high-level net).
CPN Tools is developed, maintained and provided free of charge by the CPN Group at Aarhus University, Denmark. Coloured Petri nets can be created, edited and debugged via a graphical user interface. A simulation engine allows the user to step through the net interactively or to run simulations automatically. The tool can calculate full or partial reachability graphs for analysing system properties.
TimeNET
"TimeNET is a software tool for the modelling and analysis of stochastic Petri nets." It is developed and maintained by the System and Software Engineering group at Technische Universität Ilmenau.
FSM - Finite State Machine library
"The FSM library is a set of general purpose software tools available for Unix, for building, combining, optimizing and searching weighted finite state acceptors and transducers (ie automata)". It is provided by AT&T Research Labs.
Graphviz
"Graphviz is a set of graph drawing tools for Unix or MS-Windows, including a web service interface." It was formally provided by AT&T Research Labs but is now open source.