help:toc_plugins
Petri Net
Structured Occurrence Net
Signal Transition Graph
Conditional Partial Order Graph
Digital Circuit
Dataflow Structure