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.
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.
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.
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 […]
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.
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 […]
Why is there no Mac OS/Linux version of CPN Tools?
CPN Tools is written in Beta, a object oriented language developed at Aarhus University and University of Oslo. The language is no longer actively maintained (though a variant, GBeta is getting more maintenance love). This means there is no way to reliably compile CPN Tools on Linux and Mac OS X. We used to have a Linux version of CPN Tools, but the performance was […]
Are real color sets supported in CPN Tools?
Starting from version 3.5.5 real color sets are supported in CPN Tools. For previous versions, follow the below guidelines. No, it is not possible to declare a color set of real numbers. The color sets that are supported are described in the Help pages. CPN Tools does not support real color sets because reals are not an equality type in Standard ML. It is necessary […]
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.
Is there support for invariants?
No, there is currently no support for calculating place or transition invariants.
