Skip to main content
SpringerLink
Log in

Synthesis for manufacturing systems integration

  • Chapter
Practice of Petri Nets in Manufacturing

Abstract

The purpose of this chapter is to present and give examples for Petri net synthesis methods including bottom-up, top-down and hybrid techniques. Emphasis is placed on application of synthesis methods for the design and control of concurrent systems. Each section will present the techniques, illustrate them with a manufacturing systems example, and discuss the effect of the synthesis method on net properties such as liveness, boundedness and reversibility.

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 99.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.99
Price excludes VAT (USA)
  • Compact, lightweight 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.

Bibliography

  • Agerwala, T. A complete model for representing the coordination of asynchronous processes. Hopkins Computer Research Report, no. 32, Computer Science Program, Johns Hopkins University, Baltimore, MD, July 1974.

    Google Scholar 

  • Agerwala, T. Putting Petri nets to work. IEEE Computer, December 1979, pp. 85–94.

    Google Scholar 

  • Agerwala, T. and Choed-Amphai, Y. A synthesis rule for concurrent systems. Proceedings of the 15th Design Automation Conference, Las Vegas, pp. 305–311, June 1978.

    Google Scholar 

  • Al-Jaar, R. Y. and Desrochers, A. Petri nets in automation and manufacturing. To appear in Advances in Automation and Robotics, G. N. Sanctis (ed.), vol. 2, JAI Press, 1991.

    Google Scholar 

  • Andre, C. Boeri, F. and Marin, J. Synthèse et realisation des systèmes logiques à evolution simultanées. PAIRO, vol. 10, pp. 67–86, April 1976.

    MathSciNet  Google Scholar 

  • Ayache, J. M., Courtiat, J. P. and Diaz, M. REBUS, a fault-tolerant distribution system for industrial real-time control. IEEE Transactions on Computers, vol. C-31, no. 7, pp. 637–674, 1982.

    Article  Google Scholar 

  • Baer, J. L. and Ellis, C. S. Model, design and evaluation of a compiler for a parallel processing environment. IEEE Transactions on Software Engineering, vol. SE-3, no. 6, pp. 394–405, 1977.

    Article  Google Scholar 

  • Beck, C. L. Modeling and simulation of flexible control structures for automated manufacturing systems. M.S. thesis and Robotics Institute Technical Report, Carnegie-Mellon University, Pittsburgh, Pennsylvania, 1985.

    Google Scholar 

  • Berthelot, G. Checking properties of nets using transformations. Advances in Petri Nets 1985 (Lecture Notes in Computer Science 222), Springer-Verlag, pp. 19–40, 1985.

    Google Scholar 

  • Berthelot, G. Transformations and decompositions of nets. Advances in Petri Nets 1986 (Lecture Notes in Computer Science 254), Springer-Verlag, pp. 359–376, 1986.

    Google Scholar 

  • Berthelot, G. and Terrat, R. Petri nets theory for the correctness of protocols. IEEE Transactions on Communication, vol. COM-30, no. 12, pp. 2497–2509, 1982.

    Article  MathSciNet  Google Scholar 

  • Bruno, J. and Altman, S. M. A theory of asynchronous control networks. IEEE Transactions on Computers, vol. C-20, no. 6, June 1971.

    Google Scholar 

  • Commoner, F., Holt, A. W., Even, S. and Pnueli, A. Marked directed graphs. Journal of Computer and Systems Science, vol. 15, pp. 511–523, 1971.

    Article  MathSciNet  Google Scholar 

  • Crockett, D., Desrochers, A., DiCesare, F. and Ward, T. Implementation of a Petri net controller for a machining workstation. Proceedings IEEE Conference Robotics Automation, NC, April 1987.

    Google Scholar 

  • Diaz, M. Modeling and analysis of communication and cooperation protocols using Petri net based models. Comput. Net, vol. 6, 1982.

    Google Scholar 

  • Dong, S. T. The modelling, analysis and synthesis of communication protocols. Ph.D. thesis, University of California, Berkeley, 1983.

    Google Scholar 

  • Genrich, H. J. and Lautenbach, K. System modelling with high-level Petri nets. Theoret Comput Sci., vol. 13, pp. 109–136, 1981.

    Article  MathSciNet  MATH  Google Scholar 

  • Jensen, K. Colored Petri nets and the invariant method. Theoret Comput Sci., vol. 14, pp. 317–336, 1981.

    Article  MathSciNet  MATH  Google Scholar 

  • Jensen, K. Coloured Petri nets. Advances in Petri Nets 1986, vol. 254, Springer-Verlag, pp. 248–299, 1986.

    Google Scholar 

  • Johnsonbaugh, R. and Murata, T. Additional methods for reduction and expansion of marked graphs. IEEE Transactions on Circuits and Systems, vol. CAS-28, no. 10, October 1981.

    Google Scholar 

  • Kasturia, E., DiCesare, F. and Desrochers, A. Real time control of multilevel manufacturing systems using colored Petri nets. Proceedings IEEE Conference on Robotics and Automation, PA, April 1988.

    Google Scholar 

  • Kluge, W. E. and Lautenbach, K. The orderly resolution of memory access conflicts among competing channel processes. IEEE Transactions on Computers, vol. C-31, no. 3, pp. 194–207, 1982.

    Article  Google Scholar 

  • Koh, I. and DiCesare, F. Transformation methods for generalized Petri nets and their applications in flexible manufacturing systems. Proceedings 2nd International Conference CIM, Rensselaer Polytechnic Institute, Troy, NY, May 1990.

    Google Scholar 

  • Kowalk, W. and Valk, R. On reduction of parallel programs. Lecture Notes in Computer Science, no. 71, Springer-Verlag, pp. 356–369, 1979.

    Google Scholar 

  • Krogh, B. H. and Beck, C. L. Synthesis of place/transition nets for simulation and control of manufacturing systems. Proceedings IFIP Symposium Large Scale Systems, Zurich, August 1986.

    Google Scholar 

  • Kwong, Y. S. On reduction of asynchronous systems. Theoret. Comput. Sci., vol. 5, pp. 25–50, 1977.

    Article  MathSciNet  Google Scholar 

  • Lee, K. H. and Favrel, J. Hierarchical reduction and decomposition of graphs for system analysis. Proceedings IEEE Conference on Systems, Man, and Cybernetics, October 1984.

    Google Scholar 

  • Lee, K. H. and Favrel, J. Hierarchical reduction method for analysis and decomposition of Petri nets. IEEE Transactions Systems, Man, and Cybernetics, vol. SMC-15, no. 2, pp. 272–280, March/April 1985.

    Google Scholar 

  • Lee, K. H. Favrel, J. and Baptiste, P. Generalized Petri net reduction method. IEEE Transactions Systems, Man, and Cybernetics, vol. SMC-17, no. 2, pp. 297–303, March/April 1987.

    Google Scholar 

  • Lipton, R. J. Reduction: a method of proving properties of parallel programs. J. Ass. Comput. Mach., no. 3, pp. 561–567, 1981.

    Google Scholar 

  • Martinez, J., Alia, H. and Silva, M. Petri nets for the specification of FMSs. Modelling and Design of Flexible Manufacturing Systems. Elsevier, Amsterdam, 1986.

    Google Scholar 

  • Martinez, J., Muro, P. and Silva, M. Modeling, validation and software implementation of production systems using high level Petri nets. Proceedings International Conference IEEE Robotics and Automation, Raleigh, NC, 1987.

    Google Scholar 

  • Martinez, J., Muro, P. R., Silva, M., Smith, S. F. and Villarroel, J. L. Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. Technical Report GISI-1/88, University of Zaragoza, Spain, January 1988.

    Google Scholar 

  • Mayr, E. W. and Meyer, A. R. The complexity of the finite containment problem for Petri nets. /. Ass. Comput. Mach., no. 3, pp. 561–567, 1981.

    Google Scholar 

  • Merlin, P. M. Specification and validation of protocols. IEEE Transactions on Communication, vol. COM-27, no. 11, pp. 1671–1680, 1979.

    Article  MathSciNet  Google Scholar 

  • Miller, R. E. A comparison of some theoretical models of parallel computations. IEEE Transactions on Computers, vol. C-22, no. 8, pp. 710–717, August 1973.

    Article  Google Scholar 

  • Molloy, M. K. Performance analysis using stochastic Petri nets. IEEE Transactions on Computers, vol. C-31, no. 9, pp. 913–917, September 1982.

    Article  Google Scholar 

  • Murata, T. and Koh, J. Y. Reduction and expansion of live and safe marked graphs. IEEE Transactions on Circuits and Systems, vol. CAS-27, no. 1, January 1980.

    Google Scholar 

  • Murata, T. Synthesis of decision-free concurrent systems for prescribed resources and performance. IEEE Transactions on Software Engineering, vol. SE-6, no. 6, November 1980.

    Google Scholar 

  • Murata, T. Petri nets: properties, analysis and applications. Proceedings IEEE, vol. 77, no. 4, April 1989.

    Google Scholar 

  • Narahari, Y. and Viswanadham, N. A Petri net approach to the modelling and analysis of flexible manufacturing systems. Annals of Operations Research, vol. 3, pp. 449–472, 1985.

    Article  Google Scholar 

  • Peterson, J. L. Petri nets. Computing Surveys, vol. 9, no. 3, pp. 223–252, September 1977.

    Article  MathSciNet  MATH  Google Scholar 

  • Peterson, J. L. Petri Net Theory and the Modeling of Systems, Prentice-Hall, Engle-wood Cliffs, NJ, 1981.

    Google Scholar 

  • 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.

    Article  MathSciNet  Google Scholar 

  • Reisig, W. Petri nets with individual tokens. Theoret. Comput. Sci., vol. 41, pp. 185–213, 1985.

    Article  MathSciNet  MATH  Google Scholar 

  • Silva, M. Sur le concept de macro place et son utilisation pour l’analyse des reseaux de Petri. PAIRO Automatique, vol. 15, no. 4, pp. 335–345, 1981.

    MATH  Google Scholar 

  • Silva, M. Toward a synchronic theory for P/T nets. In Concurrency and Nets, (K. Voss, H. J. Genrich G. Rozenberg, eds). Spinger-Verlag, New York, pp. 435–460, 1987.

    Chapter  Google Scholar 

  • Suzuki, I. and Murata, T. A method for stepwise refinement and abstraction of Petri nets, Journal of Computer Systems Science, vol. 27, pp. 51–76, 1983.

    Article  MathSciNet  MATH  Google Scholar 

  • Valette, R. Analysis of Petri nets by stepwise refinement, Journal of Computer Systems Science, vol. 18, pp. 35–46, 1979.

    Article  MathSciNet  MATH  Google Scholar 

  • Valette, R., Courvoisier, M., Demmou, H., Bigou, J. M. and Desclaux, C. Putting Petri nets to work for controlling flexible manufacturing systems. Proceedings International Symposium Circuits and Systems, Kyoto, Japan, 1985.

    Google Scholar 

  • Velilla, S. and Silva, M. The SPY: a mechanism for safe implementation of highly concurrent systems. 15th IFAC/IFIP Workshop Real-Time Programme, Valencia, Spain, May 1988.

    Google Scholar 

  • Villarroel, J. L. Martinez, J. and Silva, M. GRAMAN: a graphic system for manufacturing system design. IMACS International Symposium Systems Modeling and Simulation, Cetraro, Italy, September 1988.

    Google Scholar 

  • Voss, K. Using predicate/transition-nets to model and analyze distributed database systems. IEEE Transactions Software Englewood, vol. SE-6, no. 6, pp. 539–544, 1980.

    Article  Google Scholar 

  • Zhou, M. C. A theory for the synthesis and augmentation of Petri nets in automation. Ph.D. dissertation, Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY, May 1990.

    Google Scholar 

  • Zhou, M. C. and DiCesare, F. Hybrid synthesis of Petri nets for manufacturing systems: a case study. The Third International Symposium on Robotics and Manufacturing, Vancouver, July 1990.

    Google Scholar 

  • Zhou, M. C. and DiCesare, F. Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources. To appear in IEEE Transactions Robotics and Automation, vol. 7, no. 4, 1991.

    Google Scholar 

  • Zhou, M. C. DiCesare, F. and Desrochers, A. A. A top-down modular approach to synthesis of Petri net models for manufacturing systems. Proceedings IEEE. International Conference and Automation, pp. 534–539, Scottsdale, AZ, May 1989.

    Google Scholar 

  • Zhou, M. C. DiCesare, F. and Rudolph, D. Control of a flexible manufacturing system using Petri nets. Proceedings IFAC Congress Conference, vol. 8, pp. 38–43, Tallinn, Estonia, July 1990.

    Google Scholar 

Download references

Authors
  1. F. DiCesare
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mu Der Jeng
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1993 F. DiCesare, G. Harhalakis, J. M. Proth, M. Silva and F. B. Vernadat

About this chapter

Cite this chapter

DiCesare, F., Der Jeng, M. (1993). Synthesis for manufacturing systems integration. In: Practice of Petri Nets in Manufacturing. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-6955-4_3

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-6955-4_3

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-011-6957-8

  • Online ISBN: 978-94-011-6955-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation