A design methodology of a manufacturing distributed control system
Petri nets and (max,+) algebra: two approaches for studying discrete event systems
Control-supervision system directed towards Operational Safety
The fieldbus FIP and modelisation by using stochastic timed Petri nets