To run simulations you will need to be familiar with the Simulation tools. Help topics on simulating CPNs
Verification
To verify a CPN you can use the state space tools, which are available as a palette. Help topics for verification state space tool manual Example nets Time-consuming operations Some operations in the state space tool can be quite time consuming, e.g. entering the state space tool or calculating a state space. During these operations, a light purple status bubble may appear in the index […]
Performance analysis
What is performance analysis? Performance is often a central issue in the design, development, and configuration of systems. It is not always enough to know that systems work properly, they must also work effectively. Performance analysis studies are conducted to evaluate existing or planned systems, to compare alternative configurations, or to find an optimal configuration of a system. Simulation-based performance analysis of a model involves […]
Editing a CPN
Common constructs Anti places/limit places Inhibitor arcs Queues and stacks Create, load, and save Close a net Create a new net Load a net Save a net Graphical layout Edit style attributes Edit the layout Groups Magnetic guidelines Move and pan, multiple views Resize, pan, and zoom Editing the net structure Add/edit declarations Add/edit inscriptions Adding places, transitions, and arcs Cloning Deep cloning Edit text […]
