Click here to show the axes_based specification
Click here to show the interval_based specification
Click here to show the basic hierarchical specification
Click here to show the Timed Petri Nets specification
Click here to show the different models of tele-service mechanisms