@inproceedings{c8d922bab6ca45b6bd0d31f5eb2bf1e2,
title = "A new class of Petri nets for modeling and control of ratio-enforced resource allocation systems",
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.",
keywords = "Automated manufacturing system, Liveness enforcement, Petri nets, Ratio enforcement, Resource allocation systems",
author = "Hu, {He Suan} and Mengchu Zhou and Zhiwu Li",
year = "2009",
doi = "10.1109/ICSMC.2009.5346106",
language = "English (US)",
isbn = "9781424427949",
series = "Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics",
pages = "199--204",
booktitle = "Proceedings 2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009",
note = "2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009 ; Conference date: 11-10-2009 Through 14-10-2009",
}