Editing a CPN

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

Read Me Leave comment

Simulation

Simulation

To run simulations you will need to be familiar with the Simulation tools. Help topics on simulating CPNs

Read Me Leave comment

Verification

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

Read Me Leave comment

Performance analysis

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

Read Me Leave comment