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