Supervisor Design to Enforce Production Ratio and Liveness Using Petri Nets

Abstract

This work proposes a new Petri net class, namely Ratio-enforced weighted Augmented Marked Graphs (RAMG), and solves ratio control and liveness-enforcing supervision problems for automated manufacturing systems. RAMG can ensure any required product ratios as demanded by production planners. Since deadlock of such a system can be attributed to improper… (More)

Topics

9 Figures and Tables

Cite this paper

@inproceedings{Hu2009SupervisorDT, title={Supervisor Design to Enforce Production Ratio and Liveness Using Petri Nets}, author={Hesuan Hu and Mengchu Zhou and Zhiwu Li}, year={2009} }