Vol-1160⫷ Vol-1161 ⫸Vol-1162
urn:nbn:de:0074-1161-0


Vol-1161/11610052⫷Vol-1161/11610068⫸Vol-1161/11610083
Umar Suleiman AbubakarMurat UzamZhiwu Li 0001

A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS