Entry last updated: 2016/6/23
Entry last validated: 2016/6/23
Tool homepage: http://ddd.lip6.fr
Tool availability: Free of charge
Petri Nets Supported (see also help on terminology)
Components (see also help on terminology)
- High-level Petri Nets
- Place/Transition Nets
- Petri Nets with Time
- Graphical Editor
- State Spaces
- Condensed State Spaces
- LTL, CTL
- PC, Linux
- PC, MS Windows XP
- Macintosh, Mac OS X
ITS tools supports PNML compliant HLPN and P/T nets, as well as Time PN (in Tina or Romeo format) under discrete time assumptions. An eclipse based front-end allows to edit nets and compose them hierarchically.
ITS tools comes with a powerful symbolic checker supporting safety, CTL and LTL properties.
UPMC - LIP6
4 place Jussieu
Competitor in PNMCC with good overall results, Petri nets are handled by translation to GAL, a simple but expressive language for concurrent systems.
The maintainers of this page