UtilitiesUtility components for the examples |
Controller for tank system |
|
State machine defining the time instants when to fill or empty a tank |
|
Inflow connector (this is a copy from Isolde Dressler's master thesis project) |
|
Inflow connector (this is a copy from Isolde Dressler's master thesis project) |
|
Outflow connector (this is a copy from Isolde Dressler's master thesis project) |
|
Outflow connector (this is a copy from Isolde Dressler's master thesis project) |
|
Simple valve model (this is a copy from Isolde Dressler's master thesis project) |
|
Simple tank model (this is a copy from Isolde Dressler's master thesis project) |
|
Simple source model (this is a copy from Isolde Dressler's master thesis project) |
|
State machine demonstrating a composite step (used in StateGraph.Examples.ShowCompositeStep) |
|
Composite step used to demonstrate exceptions (in StateGraph.Examples.ShowExceptions) |
|
Composite step used to demonstrate exceptions (in StateGraph.Examples.ShowExceptions) |