Hierarchical derivation of Petri net models of composite schedules for manufacturing cells

Zuberek, W.M.

Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'99), Tokyo, Japan, 12-15 October 1999, vol.3, pp.775-780.

Abstract:

Composite schedules for manufacturing cells (or robotic cells) are schedules in which several parts enter and leave the cell in each cycle (although the parts which leave the cell are not necessarily the same as the ones that enter the cell). It appears that composite schedules can easily be transformed into timed Petri net models in which the timed transitions represent the actions (including the durations) of the robot and the machines of the cell. Moreover, such models can be derived using stepwise refinements of net models. Hierarchical modeling is obtained by systematic application of the refinement steps.

Keywords:

Manufacturing cells, cell schedules, timed Petri nets, net refinements, hierarchical modeling.

References:

• Ayres, R.U., Butcher, D.C., "The flexible factory revisited"; American Scientist, vol.81, no.5, pp.448-459, 1993.
• Banaszak, Z., "Modeling of manufacturing systems"; in Modern Manufacturing, pp.253-286, Springer-Verlag 1994.
• Cavalieri, S., Mirabella, O., Zingarino, G., "A Petri net based approach for FMS performance evaluation"; Proc. 23-rd Int. Conf. on Industrial Electronics, Control, and Instrumentation (IECON'97), New Orleans, LA, vol.3, pp.1204-1209, 1997.
• Desrochers, A.A., Al-Jaar, R.Y., Applications of Petri nets in manufacturing systems; IEEE Press 1995.
• DiCesare, F., Harhalakis, G., Proth, J.M., Silva, M., Vernadat, F.B., Practice of Petri nets in manufacturing; Chapman & Hall 1993.
• Dixon, C., Hill, S.D., "Work-cell cycle-time analysis in a flexible manufacturing system"; Proc. Pacific Conf. on Manufacturing, Sydney-Melbourne, Australia, vol.1, pp.182-189, 1990.
• Murata, T., "Petri nets: properties, analysis and applications"; Proceedings of IEEE, vol.77, no.4, pp.541-580, 1989.
• Reisig, W., Petri nets - an introduction (EATCS Monographs on Theoretical Computer Science 4); Springer-Verlag 1985.
• Sethi, S.P., Sriskandarajah, C., Sorger, G., Blazewicz, J., Kubiak, W., "Sequencing of parts and robot moves in a robotic cell"; Int. Journal of Flexible Manufacturing Systems}, vol.4, pp.331-358, 1992.
• Silva, M., Valette, R., "Petri nets and flexible manufacturing"; in Advances in Petri nets 1989 (Lecture Notes in Computer Science 424), pp.374-417, Springer-Verlag 1989.
• Zuberek, W.M., "Timed Petri nets - definitions, properties and applications"; Microelectronics and Reliability (Special Issue on Petri Nets and Related Graph Models), vol.31, no.4, pp.627-644, 1991.
• Zuberek, W.M., "Application of timed Petri nets to modeling and analysis of flexible manufacturing cells"; Technical Report #9503, Department of Computer Science, Memorial University of Newfoundland, St.John's, NF, Canada A1B 3X5, 1995.
• Zuberek, W.M., "Hierarchical derivation of schedules for manufacturing cells"; Proc. 9-th Symp. on Information Control in Manufacturing (INCOM'98), Nancy-Metz, France, pp.423-428, 1998.
• Zuberek, W.M., "Stepwise refinements of net models and their place invariants"; Proc. 8-th Int. Workshop on Petri Nets and Performance Models (PNPM'99), Williamsburg, VA, pp.92-101, 1999.

Available in pdf and postscript.