|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
Woflan | Woflan Woflan diagnosis for a Petri net. |
WoflanConnection | WoflanConnection Connects a Petri net to its diagnostics and the assumptions made to obtain these diagnostics. |
WoflanDiagnosis | |
WoflanSemantics |
Enum Summary | |
---|---|
WoflanState | This holds the current state of the diagnosis. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |