A New Class of Petri Nets for Modeling, Planning and Scheduling of Flexible, Manufacturing Systems
Levantopoulos, Marios M.
MetadataShow full item record
This work addresses the modeling, verification, planning and scheduling problems of non-cycle discrete systems with emphasis on Flexible Manufacturing Systems. We introduce a special type of Petri nets, the Conflict-Free nets with Input and Output transitions (CFIO nets) that provide a much needed platform on which all these problems can be tackled in a unified manner. It is shown that CFIO nets are live, reversible, if consistent, and can be kept bounded under certain conditions. We develop reduction rules which facilitate the detection of the above properties. We then take advantage of the qualitative properties of CFIO nets and use those models to develop a linear programming formulation of the production planning problem. Finally we use the CFIO nets, along with the production planning results, to develop the production schedule of the Flexible Manufacturing system.
Showing items related by title, author, creator and subject.
Chen, A.T.; Zhang, G.M. (1992)This is a progress report on a joint research project between the University and the M.S. Willett, Inc. The research focus is on the integration of a CAD system and a CAM system currently being used at the Willett.<P>The ...
Zhang, G.M.; Khanchustambham, Raju G. (1992)The need to improve quality and decrease scrap rate while increasing the production rate is motivating industry to consider untended machining as viable alternative. On-line monitoring of a machining process is the key ...
Gupta, Satyandra K. (1995)Because of pressing demands to reduce lead time and product cost, increasing research attention is being given to integration of engineering design and manufacturing. In this thesis, a systematic approach has been developed ...