机译:SYNTHESIS OF LIVENESS-ENFORCING PETRI NET SUPERVISORS BASED ON A THINK-GLOBALLY-ACT LOCALLY APPROACH AND A STRUCTURALLY MINIMAL METHOD FOR FLEXIBLE MANUFACTURING SYSTEMS
机译:MODELLING AND CONTROL OF RESOURCE ALLOCATION SYSTEMS WITHIN DISCRETE EVENT SYSTEMS BY MEANS OF PETRI NETS - PART 1: INVARIANTS, SIPHONS AND TRAPS IN DEADLOCK AVOIDANCE