Definition of NSA-DEVS

• Atomic model:
  • definition
    • 

    • X	set of input ports (with names)
      Y	set of output ports (with names)
      S	set of internal states
      τ	input delay, always > 0 (usually infinitesimal)
      ta(s)	lifetime of a state, always > 0
      λ(s,e,x)	output at state s, elapsed time e and input x
      δ(s,e,x)	new state at state s, elapsed time e and input x

  • essential modification of NSA-DEVS
    • times a + b ε with infinitesimal ε
    • external event at t → call of λ and δ at t + τ
    • internal event at t → call of λ and δ at t
• Coupled model:
  • set of lists
    • submodels (atomic or coupled)
    • input and output ports
    • connections between submodels
    • connections from or to the external ports
  • no additional delays at input ports