Systems, Man, and Cybernetics

 

Home

• [P1123] A New Class of Petri Nets for Modeling and Control of Ratio-enforced Resource Allocation Systems
  Author(s): Hesuan Hu
  
  

  Abstract
  This paper presents a class of Petri nets that can well model ratio-enforced resource allocation systems (RASs). Such RASs are required to enforce certain ratio among their processes to meet a desired production plan. A Ratio-enforced System of Sequential Systems with Shared Resources (RS4R) can model an RAS whose processes are described by state machines. Both a ratio-enforcing controller and liveness-enforcing supervisor must be designed to fulfil the deadlock-free and ratio-constrained production of products. We theoretically prove that their design can be separately performed.

  
   

Full Text (PDF)