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

Authors

He Suan Hu, Xidian University
Mengchu Zhou, New Jersey Institute of Technology
Zhiwu Li, Xidian University

Document Type

Conference Proceeding

Publication Date

12-1-2009

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 (RS ⁴R) 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. ©2009 IEEE.

Identifier

74849092271 (Scopus)

ISBN

[9781424427949]

Publication Title

Conference Proceedings IEEE International Conference on Systems Man and Cybernetics

External Full Text Location

https://doi.org/10.1109/ICSMC.2009.5346106

ISSN

1062922X

First Page

199

Last Page

204

Recommended Citation

Hu, He Suan; Zhou, Mengchu; and Li, Zhiwu, "A new class of Petri nets for modeling and control of ratio-enforced resource allocation systems" (2009). Faculty Publications. 11774.
https://digitalcommons.njit.edu/fac_pubs/11774