A design methodology of a manufacturing distributed control system
Control-supervision system directed towards Operational Safety
The continuous Petri net with maximal speeds depending on time
The fieldbus FIP and modelisation by using stochastic timed Petri nets