### Implementing singleserver with PDEVS

- Basic ideas of PDEVS:
- mathematical description of complex discrete systems
consisting of components
- Atomic PDEVS defines a component as extended state
machine
- has inputs with values from X
- has outputs with values from Y
- is in a state from S
- states have a lifetime ta(s) (possibly 0 or
∞)

- output λ only before δ
_{int},
not at δ_{ext} →
- basically Moore behaviour
- Mealy behaviour possible via transient
states

- Coupled PDEVS describes set of components with
internal and external connections

- Singleserver in PDEVS:
- needs many transient states, e.q. for the queue
- works, but quite complicated external and confluent
functions