...
- Full integration with
- Model generation also supported for UPPAAL, BIP, PetriDotNet, TTMC and ITS tools (GAL)
Distribution
The tool is currently under development and in a proof-of-concept phase.
Since August 2020, the tool (source code and executable) is released as an open source project under the EPL 2.0 License (Eclipse Public License - v 2.0).
The source code is available on GitLab.
...