Why does the tool crash when I try to open a net?

Why does the tool crash when I try to open a net?

Prior to version 1.5.7 the tool would crash when loading a net with declarations with syntax errors. Please update CPN Tools to a more recent version.

Read Me Leave comment

Why can’t I see the GUI when I start CPN Tools?

Why can’t I see the GUI when I start CPN Tools?

This problem can occur if you have closed CPN Tools when it was minimized. This is a known bug which has been fixed from version 3.0.0 onwards, but may still occur if you remove monitors from your setup. If you can see an icon for CPN Tools in the task bar, then just right click on the CPN Tools window in the task bar and […]

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

Are bounded places supported in CPN Tools?

Are bounded places supported in CPN Tools?

There is no direct support for bounded places, but it is possible to model bounded places using anti-places. For more information, see the help page for Anti places/limit places.  

Read Me Leave comment

Are inhibitor arcs supported?

Are inhibitor arcs supported?

There is no direct support for inhibitor arcs in CPN Tools, but it is possible to model inhibitor arcs. More information is available on the help page; see Inhibitor arcs. Starting from CPN Tools 3.5.1, support for uncolored inhibitor arcs has been added.    

Read Me Leave comment

Is there a book about CPNs?

Is there a book about CPNs?

Yes, there are two books: There is one book about the CPN language and modeling protocols using CPNs and CPN Tools. For more details follow this link. The second book is about modeling (business) processes using CPNs. For more details follow this link.

Read Me Leave comment

Is there a user manual for CPN Tools?

Is there a user manual for CPN Tools?

There are help pages in the form of web pages. There is an online version of the help pages. The help pages are currently not available as a single document. However, there are currently two books on CPN modeling and analysis available, which also provide many details about CPN Tools. You can create your own “manual” by clicking on theCreate book tab at the bottom […]

Read Me Leave comment

Are queue places supported?

Are queue places supported?

There is no direct support for queue places, but it is possible to model queue places using List color sets. For more information please see the help page for Queues and stacks.    

Read Me Leave comment

Supported Platforms

Supported Platforms

CPN Tools is a Windows program. We support 32 and 64 bit versions of Windows 7 and Windows 8. Windows Vista and Windows XP are not supported, but CPN Tools often runs on those versions. The CPN simulator also runs on Linux and Mac OS X. The Linux version is unsupported as we do not have any internal users running Linux only. The Mac OS […]

Read Me Leave comment