A new class of Petri nets for modeling and control of ratio-enforced resource allocation systems

Authors:
HeSuan Hu;MengChu Zhou;ZhiWu Li
Affiliations:
School of Electro-mechanical Engineering, Xidian University, Xi'an, Shaanxi, China;Department of ECE, New Jersey Institute of Technology, Newark, NJ;School of Electro-mechanical Engineering, Xidian University, Xi'an, Shaanxi, China
Venue:
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Year:
2009

Citing 3
Cited 1

On Liveness and Controlled Siphons in Petri Nets

Proceedings of the 17th International Conference on Application and Theory of Petri Nets
A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

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.