Table of Contents
Workcraft interface
Model plugins
Advanced topics
Toolsuites
Help
Tips and tricks
Workcraft interface
Main window
New work dialog
Main menu
Model tools
Tool controls
Property editor
Global preferences
Model plugins
Petri Net
Signal Transition Graph
Digital Circuit
Dataflow Structure
Waveform Transition Graph
Conditional Partial Order Graph
xMAS Circuit
Structured Occurrence Net
Advanced topics
Reach language
Verification properties
Circuit synthesis
Backend tools options
Command line interface
Scripting interface
A2A elements
Control flow expressions
Assertion language
Boolean expressions
Running Workcraft in a Virtualbox
SIS Genlib
Toolsuites
ScEnco toolsuite
Plato toolsuite