modelKrankUrlaub
Parameters
| Type | Name | Default | Description |
|---|---|---|---|
| Real[:] | UrlaubStartTermine | {10, 20, 30} | Begin Urlaub |
| Real[:] | UrlaubEndTermine | {15, 25, 35} | Ende Urlaub |
Connectors
| Type | Name | Default | Description |
|---|---|---|---|
| PNlib.Interfaces.TransitionOut | transitionOut | ||
| PNlib.Interfaces.PlaceIn[3] | placeIn |
Components
| Type | Name | Default | Description |
|---|---|---|---|
| PNlib.Components.TD | Gesund1 | ||
| PNlib.Examples.Models.FiliP.PNerweiterungen.PDwkeit | Krankpruefer1 | ||
| PNlib.Components.TD | Arbeitet1 | ||
| PNlib.Components.TD | T12 | ||
| PNlib.Components.PD | KannArbeiteten | ||
| Real | WK | ||
| PNlib.Components.TFDS | Krank | ||
| PNlib.Components.TE | TUrlaubEnde | ||
| PNlib.Components.TE | TUrlaubStart | ||
| PNlib.Components.PD | ImUrlaub | ||
| PNlib.Components.TD | Urlaubgeber | ||
| PNlib.Components.PD | P1 | ||
| PNlib.Components.TE | T1 | ||
| PNlib.Components.PD | Urlaubpruefer |