@inproceedings{16e09219dd554e4388beafe76b686ed4,
title = "Anlysis of capacity overflow for manufacturing systems",
abstract = "A manufacturing system is typically a shared resource system whose components never have unlimited capacities. In manufacturing system design, a major objective is to achieve a system which is free from capacity overflow. In this paper, a method is proposed for analysing if a system possesses this property. The method is based on augmented marked graphs. By modelling a manufacturing system as an augmented marked graph, we can analyse the possibility of capacity overflow using the properties of bounded augmented marked graphs.",
keywords = "Boundedness, Capacity overflow, Manufacturing system, Petri net",
author = "Cheung, {K. S.} and Chow, {K. O.}",
year = "2006",
doi = "10.1109/COASE.2006.326903",
language = "English",
isbn = "1424403103",
series = "2006 IEEE International Conference on Automation Science and Engineering, CASE",
pages = "331--335",
booktitle = "2006 IEEE International Conference on Automation Science and Engineering, CASE",
note = "2006 IEEE International Conference on Automation Science and Engineering, CASE ; Conference date: 08-10-2006 Through 10-10-2006",
}