Liveness enforcing supervisors for railway networks using ES/sup 2/PR Petri nets | IEEE Conference Publication | IEEE Xplore