.ExtendedPetriNets.ExamplesExtendedPetriNets .ExtendedPetriNets.ExamplesExtendedPetriNets| Name | Description |
|---|---|
 TestDelayDeterministic |
|
 TestCapacity |
|
 MM1_Queuing_system |
|
 TestDelayPolicy |
|
 FunctionalNonfunctional |
|
 TwoSerial |
|
 TwoOutOfThree |