Timed Discrete-Event Systems are Synchronous Product Structures

Liyong Lin

Timed discrete-event systems (TDES), which is a modelling formalism proposed by Brandin and Wonham, can be used for modelling scheduling and production planning problems. This pape…