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