Abstract
Decision point extended timed Petri nets or decision Petri nets (DPN) are introduced as an extended modeling framework for FMS performance evaluation. The decision point extension allows the explicit modeling of the control of the flow of tokens in timed Petri nets and hence represents the control of the flow of material, resources, and information in FMS. Further, the concept of a bounded transition is proposed to conveniently model the blocking logic in an FMS with limited buffer capacities. The motivation to present these conventions is to develop a user-friendly graphic model to represent FMS designs for analysis by discrete event simulation. DPN affords concise models that can be conveniently developed and easily transformed into discrete event simulation models. With the help of a simple FMS example, which includes a number of part types, loading rules, dispatching rules, and probabilistic branching (at an inspection station), we illustrate the DPN model development. As an illustration of the ease with which it can be tranformed into a simulation model, we have developed a generalized simulator called ROBSIM and outline here its methodological basis. The proposed concepts should be of interest to users of discrete event simulation in FMS design or elsewhere to tap the potential of basic Petri net concepts for graphic representation and specification purposes. In particular, our work should encourage other researchers to develop extensions relevant to their own areas of interest.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
AgerwalaT., and FlynnM.J., “On the Completeness of Representational Schemes for Concurrent Systems,” presented at the Conference on Petri Nets and Related Methods, M.I.T. Cambridge, MA (July 1975).
Alanche, P.; Benzakour, K.; Dolle, F.; Gillet, P.; Rodrigues, P.; and Vallete, R., “PSI: A Petri Net Based Simulator for Flexible Manufacturing Systems,” Lecture Notes in Computer Science 188: Advances in Petri Nets, Springer Verlag-Berlin (1984).
Alla, H.; Ladet, P.; Martinez, J.; and Silva, M., “Modelling and Validation of Complex Systems by Coloured Petri Nets: Application to a Flexible Manufacturing System,” Lecture Notes in Computer Science 188: Advances in Petri Nets, Springer Verlag-Berlin, (1984).
BelG., and DuboisDidier, “A Unified Setting for Various Models of Automated Material Flow and Production Systems,” Computers in Industry, Vol. 6, pp. 227–235, North-Holland (1985).
Dubois, Didier, and Stecke, Kathryn E., “Using Petri Nets to Represent Production Processes,” Proceedings of the 22nd IEEE Conference on Decision and Control, San Antonio, TX (December 1983).
Duggan, J., and Browne, Jim, “ESPNET: Expert System Based Simulator of Petri Nets,” IEE Proceedings-D on Control Theory and Applications, Vol. 135, No. 4 (July 1988).
GermainR., and Descotes-GenonB., “A Tool for Production Management: Computer Aided Simulation,” in Modern Production Management Systems. A.Kusiak (Ed.), Elsevier Science Publishers B.V. (North-Holland), pp. 161–172 (1987).
Ho, Yu Chi, and Cao, Xiren, “Perturbation Analysis and Optimization of Queueing Networks,” Journal of Optimization Theory and Applications (1983).
Lenz, John E., “MAST: A Simulation Tool for Designing Computerized Metalworking Factories,” Simulation, Vol. 40, No. 2 (February 1983).
MartinF., and AllaH., “Discrete Event Simulation by Timed Coloured Petri Nets,” in Modern Production Management Systems, A.Kusiak (Ed.), Elsevier Science Publishers B.V. (North-Holland), pp. 173–186 (1987).
PetersonJ.L., Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ (1981).
PritskerA. Alan B., Introduction to Simulation and SLAM II, 2d edition, John Wiley and Sons, Inc. New York, NY (1987).
Ramchandani, Chander, “Analysis of Asynchronous Concurrent Systems by Timed Petri Nets”, Ph.D. dissertation, Department of Electrical Engineering, M.I.T., Cambridge, MA (1974).
Ramamoorthy, C.V., and Ho, Gary, S., “Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets,” IEEE Transactions on Software Engineering, Vol. SE-6, No. 5 (September 1980).
SifakisJ., “Use of Petri Nets for Performance Evaluation,” Acta Cybernetica, Vol. 4, No. 2, pp. 185–202 (1979).
Solberg, James, J., “Analytical Performance Evaluation of Flexible Manufacturing Systems,” Proceedings of the 18th IEEE Conference on Decision and Control, San Diego CA, pp. 640–644 (December 1979).
SteckeKathryn E., and SolbergJames J., “Loading and Control Policies for a Flexible Manufacturing System,” International Journal of Production Research, Vol. 19, No. 5, pp. 481–490 (September–October 1981).
WadhwaS.; MaguireJ.; and BrowneJim, “A Design Evaluation Procedure for Robot Based Flexible Assembly Systems,” Proceedings of 8th International Conference on Industrial Robot Technology, H.VanBrussels, (Ed.), IFS Publications, Brussels, Belgium, pp. 539–548 (September–October 1986).
WadhwaS., and BrowneJim “Analysis of Collision Avoidance in Multirobot Cells Using Petri Nets,” Robotersysteme (Springer-Verlag), Vol. 4, pp. 107–115 (1988).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wadhwa, S., Browne, J. Modeling FMS with decision Petri nets. Int J Flex Manuf Syst 1, 255–280 (1989). https://doi.org/10.1007/BF00235268
Issue Date:
DOI: https://doi.org/10.1007/BF00235268