Abstract
In a dynamic and flexible manufacturing environment, a shop-floor controller must be designed so that it automatically (or with minimum human intervention) and quickly responds to the changes (e.g., in part type or part routing) in the system. Such a performance may be achieved provided that the controller is simple and sufficiently general in its scope of application. In this article, we present an architecture for such a shop-floor controller. The architecture is based on colored Petri nets with ordered colored sets and structured input and output functions.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Albus, J., Barbera, A., and Nagel, R., “Theory and Practice of Hierarchical Control,”Proceedings of the 23rd IEEE Computer Society International Conference, pp. 18–39 (September 1981).
Al-Jaar, R.Y. and Desrochers, A.A., “Petri Nets in Automation and Manufacturing,” RAL99, Robotics and Automation Lab, Rensselaer Polytechnic Institute, Troy, New York, (November 1987).
Beck, C.L. and Krogh, B.H., “Models for Simulation and Discrete Control of Manufacturing Systems,”Proceedings of the IEEE International Conference on Robotics and Automation, San Francisco, CA, pp. 305–310 (March 1986).
Bruno, G. and Morisio, M., “Petri Net Based Simulation of Manufacturing Cells,”Proceedings of the IEEE International Conference on Robotics and Automation, Raleigh, NC, pp. 1174–1179 (March 1987).
Chocron, D. and Cerny, E., “A Petri Net Based Industrial Sequencer,”Proceedings of the IEEE International Conference on Industrial Control and Instrumentation, pp. 18–22 (March 1980).
Cohen, G., Dubois, D., Quadrat, J.P., and Viot, M., “A Linear System Theoretic View of Discrete-Event Processes and its Use for Performance Evaluation in Manufacturing,”IEEE Transactions on Automatic Control Vol. AC-30, No. 3, pp. 210–220 (1985).
Courvoisier, M., Valette, R., Bigou, J., and Esteban, P., “A Programmable Logic Controller Based on a High Level Specification Tool,”International Conference on Industrial Electronics, Control, and Instrumentation (IECON), San Francisco, CA, pp. 174–179 (1983).
Crockett, D., Desrochers, A., DiCesare, F., and Ward, T., “Implementation of a Petri Net Controller for a Machining Workstation,”Proceedings of the IEEE International Conference on Robotics and Automation, Raleigh, NC, pp. 1861–1867 (March 1987).
Dubois, D. and Stecke, K.E., “Using Petri Nets to Represent Production Processes,”Proceedings of the 22nd IEEE Conference on Decision and Control, San Antonio, TX, pp. 1062–1067 (December 1983).
Dubois, D. and Stecke, K.E., “Dynamic Analysis of Repetitive Decision-Free Discrete-Event Processes: Applications to Production Systems,”Annals of Operations Research Vol. 26,Automated Manufacturing Systems, J.B. Mazzola (Ed.) pp. 323–347 (1990).
Groover, M.P.,Automation, Production Systems, and Computer-Aided Manufacturing, Prentice-Hall, Englewood Cliffs, NJ (1980).
Jensen, K. “Colored Petri Nets and the Invariant-method,”Theoretical Computer Science, Vol. 14, North Holland Publishing Co., Amsterdam, pp. 317–336 (1981).
Jensen, K., “How to Find Invariants for Colored Petri Nets,”Lecture Notes in Computer Science J. Gruska and M. Chytill (Eds.), Vol. 118, Springer-Verlag, New York, pp. 327–338 (1981).
Jensen, K., “High-Level Petri Nets,” inApplication and Theory of Petri Nets A. Pagoni and G. Rozenberg (Eds.), Informatik-Fachberichte, Vol. 66, Springer-Verlag, New York, pp. 166–180 (1983).
Jones, A.T. and McLean, C.R., “A Proposed Hierarchical Control Model for Automated Manufacturing Systems,”Journal of Manufacturing Systems Vol. 5, No. 1, pp. 15–25 (1986).
Memmi, G. and Roucairol, G., “Linear Algebra in Net Theory,” inLecture Notes in Computer Science W. Brauer (Ed.), Vol. 84, Springer-Verlag, New York, pp. 213–223 (1979).
Molloy, M.K., “Performance Analysis Using Stochastic Petri Nets,”IEEE Transactions on Computers Vol. C-31, No. 9, pp. 913–917 (September 1982).
Martinez, J. and Silva, M., “A Language for the Description of Concurrent Systems Modeled by Colored Petri Nets: Application to the Control of Flexible Manufacturing Systems,” inLanguages for Automation S.K. Change (Ed.), Plenum Publishing Co., New York, pp. 369–388 (1986).
Murata, T., Komoda, N., Matsumoto, K., and Haruna, K., “A Petri Net Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation,”IEEE Transactions on Industrial Electronics Vol. IE-33, No. 1, pp. 1–8 (1986).
Narahari, Y. and Viswanadham, N., “A Petri Net Approach to the Modeling and Analysis of Flexible Manufacturing Systems,”Annals of Operations Research Vol. 3, pp. 449–472 (1985).
Narahari, Y. and Viswanadham, N., “On the Invariants of Colored Petri Nets,” inAdvances in Petri Nets 1985 G. Rozenberg (Ed.),Lecture Notes in Computer Science Vol. 222, Springer-Verlag, New York, pp. 330–345 (1986).
Peterson, J., “Petri Nets,”Computing Surveys Vol. 9, No. 3, pp. 223–252 (September 1977).
Peterson, J.,Petri Net Theory And The Modeling of Systems Prentice-Hall, Englewood Cliffs, NJ (1981).
Petri, C.A.,Kommunikation with Automaten Ph.D. dissertation, University of Bonn, West Germany (1982).
Ramamoorthy, C.V. and Ho, G.S., “Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets,”IEEE Transactions on Software Engineering Vol. SE-6, No. 5, pp. 440–449 (1980).
Sahraoui, A. Atabakhche, H. Courvoisier, M., and Valette, R., “Joining Petri Nets and Knowledge Based Systems for Monitoring Purposes,”Proceedings of the IEEE International Conference on Robotics and Automation, Raleigh, NC, pp. 1160–1165 (March 1987).
Shapiro, R.M., Valerio, O., and Mameli, R., “Modeling a NORAD Command Post Using SADT and Colored Petri Nets,” Meta Software Corporation, Cambridge, MA (1990).
Sifakis, J., “Structural Properties of Petri Nets,” inMathematical Foundation of Computer Science J. Wikowski (Ed.) Springer-Verlag, New York, pp. 474–493 (1978).
Valette, R., Courvoisier, M., Demmou, H., Bigou, J.M., and Desclaux, C., “Putting Petri Nets to Work for Controlling Flexible Manufacturing Systems,”Proceedings of the International Symposium on Circuits and Systems, Kyoto, Japan, pp. 929–932 (June 1985).
Viswanadham, N. and Narahari, Y., “Colored Petri Net Models for Automated Manufacturing Systems,”Proceedings of the IEEE International Conference on Robotics and Automation, Raleigh, NC, pp. 1985–1990 (March 1987).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jafari, M.A. An architecture for a shop-floor controller using colored Petri nets. Int J Flex Manuf Syst 4, 159–181 (1992). https://doi.org/10.1007/BF01313698
Issue Date:
DOI: https://doi.org/10.1007/BF01313698