Skip to main content
SpringerLink
Log in

Manufacturing System Modeling Using Petri Nets

  • Chapter
Production Engineering and Management under Fuzziness

Part of the book series: Studies in Fuzziness and Soft Computing ((STUDFUZZ,volume 252))

Abstract

Petri nets which are used for modeling and analyzing complex systems that can be characterized as synchronous, parallel, simultaneous, distributed, resource sharing, nondeterministic and/or stochastic form a powerful modeling tool and are widely used today. In this study, fundamental concepts of Petri nets and their extensions are presented. Since the application area of Petri nets is wide, the subject is handled in the view of flexible manufacturing systems. A two stage modeling approach which combines the modeling power of stochastic Petri nets together with fuzzy sets is also presented. A numerical example is given to present how the proposed approach can be applied. We believe that this approach better represents both dimensions of uncertainty, stochastic variability and imprecision, in system modeling.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Abdallah, I.B., Elmaraghy, H.A., Elmekkawy, T.: Deadlock-free scheduling in fexible manufacturing systems using Petri nets. International Journal of Production Research 40(12), 2733–2756 (2002)

    Article  MATH  Google Scholar 

  • Al-Jaar, R.Y., Desrochers, A.A.: Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets. IEEE Transactions on Robotics and Automation 6(6), 621–638 (1990)

    Article  Google Scholar 

  • Alla, H., Ladet, P., Martinez, J., Silva, M.: Modeling and validation of complex systems by colored Petri Nets: an application to a flexible manufacturing system. In: Rozenberg, G., Genrich, H., Roucairal, G. (eds.) APN 1985. LNCS, vol. 222. Springer, Heidelberg (1986)

    Google Scholar 

  • Balbo, G., Bruell, S.C., Ghanta, S.: Combining queueing networks and generalized stochastic Petri nets for the solution of complex models of system behavior. IEEE Transactions on Computers 37(10), 1251–1268 (1988)

    Article  MATH  Google Scholar 

  • Barad, M., Sipper, D.: Flexibility in manufacturing systems: definitions and Petri net modeling. International Journal of Production Research 26(2), 237–248 (1988)

    Article  Google Scholar 

  • Bertolini, M., Bevilacqua, M., Mason, G.: Reliability design of industrial plants using Petri nets. Journal of Quality in Maintenance Engineering 12(4), 397–411 (2006)

    Article  Google Scholar 

  • Bobbio, A.: System modelling with Petri nets. In: Colombo, A.G., Saiz de Bustamante, A. (eds.) Systems reliability assessment. Kluwer Academic, Dordrecht (1990)

    Google Scholar 

  • Bowden, F.D.J.: A brief survey and synthesis of the roles of time in Petri nets. Mathematical and Computer Modeling 31, 55–68 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  • Bucholz, P.: Adaptive decomposition and approximation for the analysis of stochastic Petri nets. Performance Evaluation 56, 23–52 (2004)

    Article  Google Scholar 

  • Buckley, J.J.: Simulating fuzzy systems. Studies in Fuzziness and Soft Computing, vol. 171. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  • Chen, H., Amodeo, L., Chu, F., Labadi, K.: Modeling and performance evaluation of supply chains using batch deterministic and stochastic Petri nets. IEE Transactions on Automation and Engineering 2(2), 132–144 (2005)

    Article  Google Scholar 

  • Chen, J., Chen, F.F.: Performance modelling and evaluation of dynamic tool allocation in flexible manufacturing systems using coloured Petri nets: an object-oriented approach. International Journal of Advanced Manufacturing Technology 21(2), 98–109 (2003)

    Google Scholar 

  • Choi, H., Kulkarni, V.G., Trivedi, K.S.: Transient analysis of deterministic and stochastic Petri nets by the method of supplemantary variables. In: Marsan, M.A. (ed.) ICATPN 1993. LNCS, vol. 691. Springer, Heidelberg (1993)

    Google Scholar 

  • DiCesare, F., Harhalakis, G., Proth, J.M., Silva, M., Vernadat, F.B.: Practice of Petri Nets in Manufacturing. Chapman &Hall, Boca Raton (1993)

    Google Scholar 

  • Ding, Z., Bunke, H., Kipersztok, O., Schneider, M., Kandel, A.: Fuzzy timed Petri nets-analysis and implementation. Mathematical and Computer Modelling 43, 385–400 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  • Ding, Z., Bunke, H., Schneider, M., Kandel, A.: Fuzzy timed Petri net definitions, properties, and applications. Mathematical and Computer Modelling 41, 345–360 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  • Fronk, A., Kehden, B.: State space analysis of Petri nets with relation-algebraic method. Journal of Symbolic Computation 44, 15–47 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  • German, R.: New results for the analysis of deterministic and stochastic Petri nets. In: Proceedings of the International Computer Performance and Dependability Symposium - IPDS 1995, pp. 114–123. IEEE Computer Society Press, Los Alamitos (1995) (0-8186-7059-2/95)

    Chapter  Google Scholar 

  • Ghaeli, M., Bahri, P.A., Lee, P.L.: Scheduling of a mixed batch/continuous sugar milling plant using Petri nets. Computers and Chemical Engineering 32, 580–589 (2008)

    Article  Google Scholar 

  • Gharbi, N., Ioualalen, M.: Performance analysis of retrial queueing systems using generalized stochastic Petri nets. Electronic Notes in Theoretical Computer Science 65(6), 86–100 (2002)

    Article  Google Scholar 

  • Giua, A., Pilloni, M.T., Seatzu, C.: Modelling and simulation of a bottling plant using hybrid Petri nets. International Journal of Production Research 43(7), 1375–1395 (2005)

    Article  MATH  Google Scholar 

  • Gomes, L.: Structuring and composability issues in Petri nets modeling. IEEE Transactions on Industrial Informatics 1(2), 112–123 (2005)

    Article  Google Scholar 

  • Hsu, T., Korbaa, O., Dupas, R., Goncalves, G.: Cyclic scheduling for FMS: modelling and evolutionary solving approach. European Journal of Operational Research 191(2), 464–484 (2008)

    Article  MATH  Google Scholar 

  • Huang, B., Sun, Y., Sun, Y.M.: Scheduling of flexible manufacturing systems based on Petri nets and hybrid heuristic search. International Journal of Production Research 46(16), 553–4565 (2008)

    Google Scholar 

  • Huang, H.J., Jiao, L., Cheung, T.Y.: Property-preserving subnet reductions for designing manufacturing systems with shared resources. Theoretical Computer Science 332, 461–485 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  • Huang, Y.M., Chen, J.N., Huang, T.C., Jeng, Y.L., Kuo, Y.H.: Standardized course generation process using dynamic fuzzy Petri nets. Expert Systems with Applications 34, 72–86 (2008)

    Article  Google Scholar 

  • Jeng, M.D.: Petri nets for modeling automated manufacturing systems with error recovery. IEEE Transaction on Robotics and Automation 13(5), 752–760 (1997a)

    Article  Google Scholar 

  • Jeng, M.D.: A Petri net synthesis theory for modeling flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics 27(2), 169–183 (1997b)

    Article  MathSciNet  Google Scholar 

  • Jeng, M.D., Xie, X., Peng, M.Y.: Process nets with resources for manufacturing modeling and their analysis. IEEE Transactions on Robotics and Automation 18(6), 875–889 (2002)

    Article  Google Scholar 

  • Kim, Y.W., Suzuki, T., Narikiyo, T.: FMS scheduling based on timed Petri Net model and reactive graph search. Applied Mathematical Modelling 31, 955–970 (2007)

    Article  MATH  Google Scholar 

  • Kiritsis, D., Porchet, M.: A generic Petri net model for dynamic process planning and sequence optimization. Advances in Engineering Software 25(1), 61–71 (1996)

    Article  Google Scholar 

  • Korbaa, O., Benasser, A., Yim, P.: Two FMS scheduling methods based on Petri nets: a global and a local approach. International Journal of Production Research 41(7), 1349–1371 (2003)

    Article  MATH  Google Scholar 

  • Koriem, S.M., Patnaik, L.M.: A generalized high-level Petri net model for performance analysis. Journal of Systems Software 36, 247–265 (1997)

    Article  Google Scholar 

  • Koriem, S.M., Dabbous, T.E., El-Kilani, W.S.: A new Petri net modeling technique for the performance analysis of discrete event dynamic systems. The Journal of Systems and Software 72, 335–348 (2004)

    Article  Google Scholar 

  • Korpeoglu, B.B., Yazici, A.: A fuzzy Petri net model for intelligent databases. Data & Knowledge Engineering 62, 219–247 (2007)

    Article  Google Scholar 

  • Lee, J.S., Zhou, M.C., Hsu, P.L.: Multiparadigm modeling of hybrid dynamic systems using a Petri net framework. IEEE Transactions on Man, and Cybernetics-Part A: Systems and Humans 38(2), 493–498 (2008)

    Article  Google Scholar 

  • Lee, J.K., Korbaa, O.: Scheduling analysis of FMS: an unfolding timed Petri nets approach. Mathematics and Computers in Simulation 70(2), 419–432 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  • Lefebvre, D.: Estimation of the firing frequencies in discrete and continuous Petri nets models. International Journal of Systems Science 32(11), 1321–1332 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  • Lefebvre, D., Delherm, C., Leclercq, E., Druaux, F.: Some contributions with Petri nets for the modelling, analysis and control of HDS. Nonlinear Analysis: Hybrid Systems 1, 451–465 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  • Lindermann, C., Thümmler, A.: Transient analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions. Performance Evaluation 36-37, 35–54 (1999)

    Article  Google Scholar 

  • Liu, H., Jiang, Z., Fung, R.Y.K.: Modeling of large-scale re-entrant manufacturing systems by extended object-oriented Petri nets. International Journal of Advanced Manufacturing Technology 27, 190–204 (2005)

    Article  Google Scholar 

  • Maione, G., DiCesare, F.: Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems. International Journal of Production Research 43(24), 5131–5159 (2005)

    Article  MATH  Google Scholar 

  • Marsan, M.A., Bobbio, A., Conte, G., Cumani, A.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comp. Systs. 2, 93–122 (1984)

    Article  Google Scholar 

  • Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets. Wiley, Chichester (1995)

    MATH  Google Scholar 

  • Merlin, P.M.: A study of the recoverability of computing systems. PhD thesis, University of California, Irvine, CA (1974)

    Google Scholar 

  • Molloy, M.K.: Performance analysis using stochastic Petri nets. IEEE Transactions on Computers C-31(9), 913–917 (1982)

    Article  Google Scholar 

  • Murata, T.: Petri nets: properties, analysis and applications. Proceedings of IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  • Murata, T.: Temporal uncertainty and fuzzy-timing high-level petri nets. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol. 1091, pp. 11–28. Springer, Heidelberg (1996)

    Google Scholar 

  • Narahari, Y., Viswanadham, N.: A Petri net approach to the modeling and analysis of FMSs. Annals of Operations Research 30, 449–472 (1985)

    Article  Google Scholar 

  • Odrey, N.G., Mejia, G.: An augmented Petri net approach for error recovery in manufacturing systems control. Robotics and Computer-Integrated Manufacturing 21, 346–354 (2005)

    Article  Google Scholar 

  • Pedrycz, W., Camargo, H.: Fuzzy timed Petri nets. Fuzzy Sets and Systems 140, 301–330 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  • Peterson, J.L.: Petri net theory and the modeling of systems. Prentice, Inc., Englewood Cliffs (1981)

    Google Scholar 

  • Petri, C.A.: Kommunikation mit Automaten, Nr. 3. Institut für Instrumentelle Mathematik, Schriften des IIM, Bonn (1962); also English translation “Communication with Automata”. Tech. Rep. RADC-TR-65-377, vol. 1(suppl. 1). Griffiss Air Force Base, New York (1966)

    Google Scholar 

  • Petri, C.A.: Forgotten topics of net theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 500–514. Springer, Heidelberg (1987)

    Google Scholar 

  • Petri, C.A.: Nets, time and space. Theoretical Computer Science 153, 3–48 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  • Praveen, V., Lodaya, K.: Analyzing reachability for some Petri nets with fast growing markings. Electronic Notes in Theoretical Computer Science 223, 215–237 (2008)

    Article  Google Scholar 

  • Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri nets. Doctoral Dissertation. MIT Cambridge, MA (1974)

    Google Scholar 

  • Rangel, I.R., Trevino, A.R., Mellado, E.L.: Building reduced Petri net models of discrete manufacturing systems. Mathematical and Computer Modelling 41, 923–937 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  • Reinhardt, K.: Reachability in Petri nets with inhibitor arcs. Electronic Notes in Theoretical Computer Science 223, 239–264 (2008)

    Article  Google Scholar 

  • Ross, T.J.: Fuzzy logic with engineering applications. McGraw-Hill, New York (1995)

    MATH  Google Scholar 

  • Shiizuka, H., Suzuki, M.: Modeling of AGV networks in flexible manufacturing systems. Computers and Industrial Engineering 27(1-4), 81–86 (1994)

    Article  Google Scholar 

  • Srinivasan, P., Gracanin, D.: Approximate reasoning with fuzzy Petri nets. In: Second IEEE International Conference on Fuzzy Systems, San Francisco, California, USA, pp. 396–401 (1993)

    Google Scholar 

  • Uzam, M.: An optimal deadlock prevention policy for flexible manufacturing systems using petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology 19(3), 192–208 (2002)

    Google Scholar 

  • Uzam, M.: The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. International Journal of Advanced Manufacturing Technology 23(3-4), 204–219 (2004)

    Article  Google Scholar 

  • Valavanis, K.P.: On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets. IEEE Transactions on Systems, Man, and Cybernetics 20(1), 94–110 (1990)

    Article  Google Scholar 

  • Valette, R., Cardoso, J., Dubois, D.: Monitoring manufacturing systems by means of Petri nets with imprecise markings. In: IEEE International Symposium on Intelligent Control, Albany, NY (1989)

    Google Scholar 

  • Valette, R., Courvoisier, M., Mayeux, D.: Control of flexible production systems and Petri nets. Informatik Fachberichte 66, 264–267 (1982)

    Google Scholar 

  • Venkateswaran, P.R., Bhat, J.: Fuzzy Petri net algoritjm for flexible manufacturing systems. ACSE Journal 6(1), 1–5 (2006)

    Google Scholar 

  • Viertl, R., Hareter, D.: Fuzzy information and stochastics. Iranian Journal of Fuzzy Systems 1(1), 39–52 (2004)

    MathSciNet  Google Scholar 

  • Villani, E., Pascal, J.C., Miyagi, P.E., Valette, R.: A Petri net-based object-oriented approach for the modelling of hybrid productive systems. Nonlinear Analysis 62, 1394–1418 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  • Wang, L.C., Wu, S.Y.: Modeling with colored timed object-oriented Petri nets for automated manufacturing systems. Computers and Industrial Engineering 34(2), 463–480 (1998)

    Article  Google Scholar 

  • Wang, Z., Zhang, J., Chan, F.T.S.: A hybrid Petri nets model of networked manufacturing systems and its control system architecture. Journal of Manufacturing Technology Management 16(1), 36–52 (2005)

    Article  Google Scholar 

  • Wu, F.: Fuzzy time semirings and fuzzy-timing colored Petri nets. International Journal of Intelligent Systems 14, 747–774 (1999)

    Article  MATH  Google Scholar 

  • Wu, N., Zhou, M.C., Li, Z.W.: Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Transactions on Man, and Cybernetics-Part A: Systems and Humans 38(1), 56–69 (2008)

    Article  Google Scholar 

  • Yan, H.S., Wang, N.S., Zang, J.G., Cui, X.Y.: Modeling, scheduling and simulation of flexible manufacturing systems using extended stochastic high-level evaluation Petri nets. Robots and Computer-Integrated Manufacturing 14, 121–140 (1998)

    Article  Google Scholar 

  • Yeung, D.S., Liu, J.N.K., Shiu, S.C.K., Fung, G.S.K.: Fuzzy coloured petri nets in modelling flexible manufacturing systems. In: Proceedings of Mexico-USA Collaboration in Intelligent Systems Technologies, pp. 100–107 (1996)

    Google Scholar 

  • Zadeh, L.A.: Outline of a new approach to the analysis of complex systems and decision processes. IEEE Transactions on Systems, Man, and Cybernetics SMC-3(1), 28–44 (1973)

    MATH  MathSciNet  Google Scholar 

  • Zadeh, L.A.: Fuzzy sets. Information and Control 8, 338–353 (1965)

    Article  MATH  MathSciNet  Google Scholar 

  • Zadeh, L.A.: Probability measures of fuzzy events. J. Math. Anal. Appl. 23, 421–427 (1968)

    Article  MATH  MathSciNet  Google Scholar 

  • Zha, X.F., Li, L.L., Zhang, W.J.: A knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controllers. International Journal of Computer Integrated Manufacturing 15(3), 242–264 (2002)

    Article  Google Scholar 

  • Zhang, H., Gu, M.: Modeling job shop scheduling with batches and setup times by timed Petri nets. Mathematical and Computer Modelling 49, 286–294 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  • Zhou, M.C., Jeng, M.D.: Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a Petri net approach. IEEE Transactions on Semiconductor Manufacturing 11(3), 333–357 (1998)

    Article  Google Scholar 

  • Zhou, M.C., DiCesare, F.: Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems. IEEE Transactions on Robotics and Automation 7(4), 515–527 (1991)

    Article  Google Scholar 

  • Zhou, M.C., DiCesare, F.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic, Dordrecht (1993)

    MATH  Google Scholar 

  • Zhou, M.C., DiCesare, F., Guo, D.: Modeling and performance analysis of a resource- sharing manufacturing system using stochastic Petri nets. In: Proceedings of the 5th IEEE International Symposium on Intelligent Control, vol. 2(5-7), pp. 1005–1010 (1990)

    Google Scholar 

  • Zhou, M.C., McDermott, K., Patel, P.A.: Petri net synthesis and analysis of a flexible manufacturing system cell. IEEE Transactions on Systems, Man, and Cybernetics 23(2), 523–531 (1993)

    Article  MATH  Google Scholar 

  • Zhou, M.C., Venkatesh, K.: Modeling, simulation and control of flexible manufacturing systems: a petri net approach. World Scientific, Singapore (1999)

    Google Scholar 

  • Zhou, M.C., DiCesare, F.: A hybrid methodology for synthesis of Petri net models for manufacturing systems. IEEE Trans. Robot. Automa 8(3), 350–361 (1992)

    Article  Google Scholar 

  • Zimmerman, H.J.: Fuzzy set theory and its applications. Kluwer Academic Publishers, Dordrecht (1994)

    Google Scholar 

  • Zimmermann, A., Hommel, G.: Modelling and evaluation of manufacturing systems using dedicated Petri nets. International Journal of Advanced Manufacturing Technology 15, 132–138 (1999)

    Article  Google Scholar 

  • Zimmermann, A., Rodriguez, D., Silva, M.: A two phase optimization method for Petri nets models of manufacturing systems. Journal of Intelligent Manufacturing 12, 409–420 (2001)

    Article  Google Scholar 

  • Zuberek, W.M., Kubiak, W.: Throughput analysis of manufacturing cells using timed Petri nets. In: Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, San Antonio, TX, pp. 1328–1333 (1994)

    Google Scholar 

  • Zuberek, W.M., Kubiak, W.: Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells. Computers and Mathematics with Applications 37, 191–206 (1999)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Industrial Engineering, Istanbul Technical University, Macka, 34367, Istanbul, Turkey

    Cengiz Kahraman

  2. Department of Industrial Engineering, T.C. Beykent University, Ayazağa, İstanbul, Turkey

    Fatih Tüysüz

Authors
  1. Cengiz Kahraman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fatih Tüysüz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Management Faculty, Department of Industrial Engineering, Istanbul Technical University, Macka, 34367, Istanbul, Turkey

    Cengiz Kahraman

  2. Harry f. Byrd, Jr. School of Business, Shenandoah University, 1460 University Dr., 22601, Winchester, VA, USA

    Mesut Yavuz

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Kahraman, C., Tüysüz, F. (2010). Manufacturing System Modeling Using Petri Nets. In: Kahraman, C., Yavuz, M. (eds) Production Engineering and Management under Fuzziness. Studies in Fuzziness and Soft Computing, vol 252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12052-7_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-12052-7_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-12051-0

  • Online ISBN: 978-3-642-12052-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation