Frequently Asked Questions about CPN Tools
Installing CPN Tools
Manuals
Editing CP-nets
- Are bounded places supported in CPN Tools?
- Are inhibitor arcs supported?
- Are queue places supported?
- Are real color sets supported in CPN Tools?
Analyzing CP-nets
- Why is the simulation report not saved?
- Why can’t I generate a state space for a timed net?
- Why are the log files for monitors empty?
- Is there support for performance analysis?
- Is there support for invariants?
- Is it possible to draw state spaces that are generated in CPN Tools?
Crashes and problems starting
- Can’t simulate model/Model stays orange
- Why does the tool crash when I try to open a net?
- Why can’t I see the GUI when I start CPN Tools?
Technical support
If you have not found an answer to your question here, you can contact us.
You must be logged in to post a comment.