validate_net
Validate Petri net topology by checking bipartite constraints, dangling transitions, and duplicate IDs after building custom structure to catch errors before export.
Instructions
Validate the current Petri net topology.
Checks bipartite constraint, dangling transitions (no input/output arcs), and duplicate IDs. Call this after building custom topology with add_place, add_transition, add_arc to catch errors before export.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |