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

He Suan Hu, Mengchu Zhou, Zhiwu Li

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

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 4R) 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.

Original languageEnglish (US)
Title of host publicationProceedings 2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009
Pages199-204
Number of pages6
DOIs
StatePublished - Dec 1 2009
Event2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009 - San Antonio, TX, United States
Duration: Oct 11 2009Oct 14 2009

Publication series

NameConference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
ISSN (Print)1062-922X

Other

Other2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009
CountryUnited States
CitySan Antonio, TX
Period10/11/0910/14/09

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Human-Computer Interaction

Keywords

  • Automated manufacturing system
  • Liveness enforcement
  • Petri nets
  • Ratio enforcement
  • Resource allocation systems

Fingerprint Dive into the research topics of 'A new class of Petri nets for modeling and control of ratio-enforced resource allocation systems'. Together they form a unique fingerprint.

Cite this