Timed Discrete Event Modelling and Simulation

From IFORS Education Resources
Jump to: navigation, search

By: Hans Vangheluwe


Link to material: http://www.cs.mcgill.ca/~hv/classes/MS/lecture.discrevent.pdf

Timed Discrete Event Modelling and Simulation

  • extend State Automata with “time in state”
  • equivalent to Event Graphs “time to transition

Discrete Event Modelling and Simulation

  • Model : objects and relationships among objects
  • Object : characterized by attributes to which values can be assigned
  • Attributes:

- indicative

- relational

  • Values: of a type

Time and State Relationships

  • Indexing Attribute: enables state transitions Time is most common.
  • Instant: value of System Time at which the value of at least one attribute of an object can be assigned.
  • Interval: duration between two successive instants.
  • Span: contiguous succession of one or more intervals.
  • State of an object: enumeration of all attribute values at a particular instant.
  • State of the system: all object states at a particular instant.


Link to material: http://www.cs.mcgill.ca/~hv/classes/MS/lecture.discrevent.pdf


Personal tools