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

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

Are real color sets supported in CPN Tools?

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 […]

Read Me Leave comment