Why is the simulation report not saved?

Why is the simulation report not saved?

In version 1.4.0 (and earlier) of CPN Tools, the help pages indicated that simulation reports are saved in the directory C:\tmp. If this directory does not exist, then a simulation report will not be saved. Simulation reports are saved by default as C:\tmp\simrep-<process id>.txt. There are, however, problems if CPN Tools is not installed on the C: disk drive. If CPN Tools is not installed […]

Read Me Leave comment

Why can’t I generate a state space for a timed net?

Why can’t I generate a state space for a timed net?

It has not been possible to generate state spaces for timed CP-nets due to a bug in the state space tool. This bug is in all external releases up to and including version 1.4.0 and all internal releases up to and including version 1.5.21. Please update CPN Tools to a more recent version.

Read Me Leave comment

Why are the log files for monitors empty?

Why are the log files for monitors empty?

This is probably due to the fact that the output streams for the log files for Data collector monitors and Write-in-file monitors are not flushed regularly. The output streams for monitor log files will always be flushed at the end of a simulation if the Fast forward tool is used to run a simulation, or if the simulation stops because a breakpoint monitor is fulfilled. […]

Read Me Leave comment

Is there support for performance analysis?

Is there support for performance analysis?

Yes, high-level support for simulation-based performance analysis was introduced in version 2.0.0 of CPN Tools. Information about the facilities can be found in the help pages.

Read Me Leave comment

Is there support for invariants?

Is there support for invariants?

No, there is currently no support for calculating place or transition invariants.

Read Me Leave comment

Is it possible to draw state spaces that are generated in CPN Tools?

Is it possible to draw state spaces that are generated in CPN Tools?

Yes. Support for drawing state spaces became available in version 2.2.0. For more information, see the help pages.  

Read Me Leave comment