| Class | Description |
|---|---|
| Woflan |
Woflan
Woflan diagnosis for a Petri net.
|
| WoflanAssumptions | |
| WoflanConnection |
WoflanConnection
Connects a Petri net to its diagnostics and the assumptions made to obtain
these diagnostics.
|
| WoflanDiagnosis | |
| WoflanHelp | |
| WoflanSemantics |
| Enum | Description |
|---|---|
| WoflanState |
This holds the current state of the diagnosis.
|