Supervisory control of a modular class of discrete event systems based on elementary siphons of Petri nets | IEEE Conference Publication | IEEE Xplore