Browsing by Author "Levantopoulos, Marios M."
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item A Class of Conflict Free Petri Nets Used for Controlling Manufacturing Systems(1992) Harhalakis, George; Levantopoulos, Marios M.; Lin, Chang-Pin; Nagi, R.; Proth, J.M.; ISRThis paper is devoted to the behavior, evaluation and management of non-cyclic discrete systems in general and manufacturing systems in particular. We introduce a special type of Petri nets called CFIOs (Conflict-Free nets with Input and Output transitions). It is shown that CFIOs are live, reversible if consistent, and can be kept bounded under certain conditions. We also develop reduction rules which facilitate the computation of the t-invariants of CFIOs. We then take advantage of the qualitative properties of CFIOs to perform planning in manufacturing systems. Numerical examples illustrate these approachesItem A New Class of Petri Nets for Modeling, Planning and Scheduling of Flexible, Manufacturing Systems(1994) Levantopoulos, Marios M.; Harhalakis, G.; Minis, I.; Proth, J-M; ISRThis 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.