ITS Tools
Overview
Entry last updated: 2016/6/23
Entry last validated: 2016/6/23
Tool homepage: http://ddd.lip6.fr
Tool availability: Free of charge
Tool Features
Petri Nets Supported (see also help on terminology)
- High-level Petri Nets
- Place/Transition Nets
- Petri Nets with Time
- PNML
Components (see also help on terminology)
- Graphical Editor
- State Spaces
- Condensed State Spaces
- LTL, CTL
Environments
- PC, Linux
- PC, MS Windows XP
- Macintosh, Mac OS X
Tool Description
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.
Contact Information
UPMC - LIP6
4 place Jussieu
Paris, FRANCE
E-mail: Yann.Thierry-Mieg@lip6.fr
Other Remarks
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