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 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

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 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

Can I run CPN Tools on my Mac/Linux?

Can I run CPN Tools on my Mac/Linux?

With the advent of Intel-powered Macs, virtualization solutions exist for running Windows in a virtual machine under Mac OS X 10.4 and newer on Intel Macs. CPN Tools can be brought to run in this environment with reasonable performance for day-to-day use. The way I use is to run CPN Tools under Windows under either Parallels Desktop (www.parallels.com) or VMWare Fusion (www.vmware.com). You may also […]

Read Me Leave comment

Can CPN Tools open models from Design/CPN?

Can CPN Tools open models from Design/CPN?

CPN Tools cannot open models that were created by Design/CPN, but all models that are created in Design/CPN can be transferred to CPN Tools by following these steps: Save a Design/CPN model in XML format. Convert the XML file generated by Design/CPN to the XML format for CPN Tools. Load the file generated by the converter in to CPN Tools. Each of these steps are […]

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

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