This text presents new modelling and analysis techniques for the description of discrete event dynamic systems, emphasizing timing and synchronization …
