====== Help ======

  * [[:help:core:tips|Tips and tricks]]

===== Workcraft interface =====
  * [[:help:core:start|Main window]]
  * [[:help:core:new_work|New work dialog]]
  * [[:help:core:main_menu|Main menu]]
  * [[:help:core:model_tools|Model tools]]
  * [[:help:core:tool_controls|Tool controls]]
  * [[:help:core:property_editor|Property editor]]
  * [[:help:core:preferences|Global preferences]]

===== Model plugins =====
  * [[:help:petri:start|Petri Net]]
  * [[:help:stg:start|Signal Transition Graph]]
  * [[:help:circuit:start|Digital Circuit]]
  * [[:help:dfs:start|Dataflow Structure]]
  * [[:help:wtg:start|Waveform Transition Graph]]
  * [[:help:cpog:start|Conditional Partial Order Graph]]
  * [[:help:xmas:start|xMAS Circuit]]
  * [[:help:son:start|Structured Occurrence Net]]

===== Advanced topics =====
  * [[:help:reach|Reach language]]
  * [[:help:verification|Verification properties]]
  * [[:help:synthesis|Circuit synthesis]]
  * [[:help:backend:start|Backend tools options]]
  * [[:help:cli|Command line interface]]
  * [[:help:scripting|Scripting interface]]
  * [[:help:a2a:start|A2A elements]]
  * [[:help:mutex:protocol|Arbitration protocols]]
  * [[:help:control_flow_expressions:start|Control flow expressions]]
  * [[:help:assertion|Assertion language]]
  * [[:help:boolean_expression|Boolean expressions]]
  * [[:help:virtualbox|Running Workcraft in a Virtualbox]]
  * [[:help:genlib|SIS Genlib]]

===== Toolsuites =====
  * [[:help:scenco:start|ScEnco toolsuite]]
  * [[:help:plato:start|Plato toolsuite]]