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 […]
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.
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. […]
Yes. Support for drawing state spaces became available in version 2.2.0. For more information, see the help pages.
No, there is currently no support for calculating place or transition invariants.
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.