Hold Shift for dragging parallel to axes, i.e. either horizontally or vertically.

Hold Shift for creating a polyline connection segment parallel to axes.

While creating a new polyline connection, hit Backspace or Delete to remove the last anchor point.

Check circuit for non-quiescent initial state.

Popup menu command to remove unused pins of a component.

Structural checks in combined verification of several properties. This is to filter out those properties that cannot be verified (e.g. due to presence of dummies) or vacuously hold (e.g. due to absence of mutexes).

Suppress Punf warning about empty transition postset when checking N-conformation and Output determinacy by adding redundant places to the postset of each shadow transitions.

Fix for synthesis of hierarchical STGs with mutex.

Structurally derive mutex protocol before checking output persistency.

Warning for verification of STGs with dummies.

Structural check for vacuously held Output determinacy.

Prevent insertion of CSC signals before mutex grans in resolution of CSC conflicts.

Simulation tool based on conversion to STG.

Verification for soundness and implementability.