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