Skip to main content
SpringerLink
Log in

Some issues about Petri net application to manufacturing and process supervisory control

  • Invited Papers
  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1997 (ICATPN 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1248))

Included in the following conference series:

Abstract

After some general considerations concerning modeling issues, the paper concentrates on the fact that places are generally interpreted as logical conditions. There are various kind of logical propositions, some (the resources) are consumed when they are used in the same way tokens are removed from places when transitions are fired. Linear logic has pointed out the fact that resources had to be handled with a restricted set of logical rules and that they could not easily be handled concurrently with classical logic propositions. This can be exploited for developing modeling methods based on Petri nets. Then two cases of combining Petri nets and other formal tools are examined: Petri nets and fuzzy sets and Petri nets and differential algebraic equations. It is shown that it is better to avoid a complex integration of the various approaches in order to keep the analytical capabilities of Petri nets.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Alla: Modelling and simulation of event driven systems by Petri nets. In ADEDOPS: Analysis and Design of Event-Driven Operation in Process Systems, London, England, April 1995.

    Google Scholar 

  2. D. Andreu, J.-C. Pascal, H. Pingaud, and R. Valette: Batch process modelling using Petri nets, pp 314–319, San Antonio, USA, October 1995. IEEE-SMC.

    Google Scholar 

  3. D. Andreu, J.-C. Pascal, and R. Valette: Interaction of discrete and continous parts of a batch process control system. In ADEDOPS: Analysis and Design of Event-Driven Operation in Process Systems, London, England, April 1995.

    Google Scholar 

  4. D. Andreu, J.C. Pascal, R. Valette: Events as a key of a batch process control system. IEEE-SMC, CESA-IMACS multiconference, Symposium on Discrete Events and Manufacturing Systems, p. 297–302, Lille, France, July 1996.

    Google Scholar 

  5. C. Anglano, L. Portinale: B-W analysis: a backward reachability analysis for diagnostic problem solving suitable to parallel implementation, Application and Theory of Petri Nets 1994 Lecture Notes in Computer Science 815, Springer Verlag 1994, p. 39–58

    Google Scholar 

  6. N. Audry and F. Prunet: Comparison of extended Petri nets for high throughput production lines accurate modelling and simulation. In ADEDOPS: Analysis and Design of Event-Driven Operation in Process Systems, London, England, April 1995.

    Google Scholar 

  7. M. Brielman Modelling differential equations by basic information technology means Proceedings of the Fifth International Conference on Computer Aided Systems theory and technology, EUROCAST'95, Innsbruck, May 1995, Springer Verlag LNCS 1030, p. 163–174

    Google Scholar 

  8. C. Brown: Relating Petri Nets to Formulas of Linear Logic, Edinburgh Tech. Report ECS-LFCS-89-87, June, 1989.

    Google Scholar 

  9. J. Cardoso, R. Valette, D. Dubois: Petri nets with uncertain markings. In Lecture Notes in Computer Science “Advances in Petri nets 1990”, Vol. 483, Ed. G. Rozenberg, Springer Verlag, 1991, pp. 64–78.

    Google Scholar 

  10. J. Cardoso, R. Valette, B. Pradin-Chézalviel: Fuzzy Petri nets and linear logic, 1993 IEEE International Conference on System, Man, and Cybernetics, Le Touquet, Oct. 1993, Vol. 2, pp. 258–263.

    Google Scholar 

  11. J. Cardoso, R. Valette, B. Pradin-Chézalviel: Linear logic for imprecise firing in object Petri nets, 10th International Conference IPMU, Paris, Jul. 1994, Vol. 2, pp. 1269–1274.

    Google Scholar 

  12. J. Cardoso, R. Valette, D. Dubois: Fuzzy Petri net: an overview, 13th IFAC World Congress, San Francisco USA, 30 June–5 July 1996, Volume J, p. 443–448

    Google Scholar 

  13. R. Champagnat, P. Esteban, H. Pingaud, and R. Valette: Petri net based modeling of hybrid systems. In ASI'96, pp 53–60, Toulouse, France, June 1996.

    Google Scholar 

  14. B. Daubas, A. Pagès, and H. Pingaud: Combined simulation of hybrid processes, pp 320–325, San Antonio, USA, October 1994. IEEE-SMC.

    Google Scholar 

  15. R. David and H. Alla: Continuous Petri nets. In 8th European Workshop on Application and Theory of Petri Nets, pp 275–294, Zaragoza, Spain, June 1987.

    Google Scholar 

  16. I. Demongodin, N. Audry, and F. Prunet: Batches Petri nets, pp 607–617, Le Touquet, France, October 1993. IEEE-SMC.

    Google Scholar 

  17. I. Demongodin, N.T. Koussoulas: Modeling dynamic systems through Petri nets, IEEE-SMC, CESA-IMACS multiconference, Symposium on Discrete Events and Manufacturing Systems, p. 279–284, Lille, France, July 1996.

    Google Scholar 

  18. U. Engberg, G. Winskel: Petri nets as models of Linear Logic, CAAP'90, A. Arnold Ed., LNCS 431, Springer-Verlag, 1990, pp. 147–161.

    Google Scholar 

  19. J.M. Flaus: Hybrid flow nets for batch process modelling IEEE-SMC, CESA-IMACS multiconference, Symposium on Discrete Events and Manufacturing Systems, pp. 273–278, Lille, France, July 1996.

    Google Scholar 

  20. H. J. Genrich, H.-M. Hanisch, and K. Wöllhaf: Verification of recipe-based control procedures by means of predicate/transition nets. In R. Valette, editor, Application an Theory of Petri Nets, volume 815, pp 278–297, Zaragoza, Spain, June 1994 Springer-Verlag.

    Google Scholar 

  21. J.Y. Girard: Linear Logic, Theoretical Computer Science, n∘50, 1987.

    Google Scholar 

  22. J.Y. Girard: La logique linéaire, Pour la Science, n∘ 150, Apr. 1990, pp. 74–85.

    Google Scholar 

  23. J.Y. Girard: Linear Logic: A Survey, Cahiers du centre de logique, vol. 8, 1995, pp. 193–255.

    Google Scholar 

  24. F. Girault, B. Pradin-Chézalviel, L.A. Künzle, R. Valette: Linear logic as a tool for reasoning on a Petri net model, INRIA/IEEE Conference on Emerging Technologies and Factory Automation ETFA'95, Paris 10–13 Oct. 1995, p. 49–57 (Vol 1).

    Google Scholar 

  25. M.M. Gomaa and S. Gentil: Hybrid industrial dynamical system supervision via hybrid continuous causal Petri nets (hc2pns). In P. Borne, J.C. Gentina, E. Craye, and S. El Khattabi, editors, CESA '96: Symposium on Discrete Events and Manufacturing Systems, pp 285–290, Lille, France, July 1996. IEEE-SMC.

    Google Scholar 

  26. C. Gunter, V. Gehlot: Nets as tensor theories, 10th International Conference on Application and Theory of Petri nets, Bonn, Germany, 1989.

    Google Scholar 

  27. H.-M. Hanisch: Analysis of place/transition nets with timed arcs and its application to batch process control. In International Conference on Theory and Application of Petri Nets, Volume LNCS 691, pp 282–299, Chicago, USA, June 1993. Springer-Verlag.

    Google Scholar 

  28. H.-M. Hanisch: On the use of Petri nets for design, verification and optimization of control procedures for batch processes. In IEEE International Conference on Systems, Man and Cybernetics, pp 326–330, San Antonio, USA, October 1994.

    Google Scholar 

  29. H.M. Hanisch, S. Fleck: A resource allocation scheme for flexible batch plants based on high-level Petri nets. IEEE-SMC, CESA-IMACS multiconference, Symposium on Discrete Events and Manufacturing Systems, p. 303–308, Lille, France, July 1996.

    Google Scholar 

  30. C. Johnsson, K.E. Arzen High-level Grafcet and batch control In ADPM'94 Automatisation des processus mixtes: les syste'mes dynamiques hybrides, Bruxelles, November 1994, Ibra editor, p.255–263.

    Google Scholar 

  31. Y. Lafont: The Linear abstract machine, Theoretical Computer Science, n∘ 59, 1988, pp. 157–180.

    Google Scholar 

  32. C. Lansade, P. Tayrac: Dossier final phase 1-Projet ANVAR Simulation Mixte, Ref. IXI/PAU/97/TLS89, January 1997.

    Google Scholar 

  33. J. Le Bail, H. Alla, and R. David: Hybrid Petri net. In European Control Conference, Grenoble, France, July 1991.

    Google Scholar 

  34. M. Lemmon, J.A. Stiver, P.J. Antsaklis Event identification and intelligent hybrid control Lecture Notes in Computer Science, Vol. 736, p. 268–296, 1993.

    Google Scholar 

  35. J. Lilius: High-level Nets and Linear Logic, 13th International Conference on Application and Theory of Petri nets, Sheffield, England, 1992.

    Google Scholar 

  36. M. Martí-Oliet and J. Meseguer: From Petri Nets to Linear Logic Through Categories: A Survey, International Journal of Foundation of Computer Science, vol. 2, n∘2, 1991, pp. 297–399.

    Google Scholar 

  37. Miguel Menasche: “Analyse des réseaux de Petri temporisés et application aux systèmes distribués”, Thèse de Doctorat de l'Université Paul Sabatier, 1982, Toulouse, France, Rapport LAAS n. 824.

    Google Scholar 

  38. T. Murata, D. Zhang: A Predicate-Transition net model for Parallel Interpretation of Logic Programs, IEEE Transaction on Software Engineering, Vol. 14, n∘4, Apr. 1988, pp. 481–497.

    Google Scholar 

  39. JC. Pascal, R. Valette, D. Andreu: Fuzzy sequential control based on Petri nets, ETFA'92 IEEE International Workshop on Emerging Technologies and Factory Automation, Melbourne, Australia, August 11–14, 1992, p.140–145.

    Google Scholar 

  40. A. Pagès and H. Pingaud: An hybrid process model based on Petri nets applied to short term scheduling of batch-semi continuous plants. In ADEDOPS: Analysis and Design of Event-Driven Operation in Process Systems, London, England, April 1995.

    Google Scholar 

  41. P. Peleties, R. Decarlo Analysis of a hybrid system using symbolic dynamics and Petri nets Automatica, Vol 30, N.9, p. 1421–1427, 1994.

    Google Scholar 

  42. G. Peterka, T. Murata: Proof procedure and answer extraction in Petri net model of logic programs, IEEE Transactions on Software Engineering, Vol. 15, n∘2, Feb. 1989, pp. 209–217.

    Google Scholar 

  43. L. Portinale: Exploiting t-invariant analysis in diagnostic reasoning on a Petri net model, Application and Theory of Petri Nets 1993 Lecture Notes in Computer Science 691, Springer Verlag 1993, p. 339–356.

    Google Scholar 

  44. B. Pradin-Chézalviel, R. Valette: Petri nets and Linear logic for process oriented diagnosis, 1993 IEEE International Conference on System, Man, and Cybernetics, Le Touquet, France, October 1993.

    Google Scholar 

  45. B. Pradin-Chézalviel, F. Girault, L.A. Künzle, R. Valette: Behavior model based diagnosis in manufacturing, 2nd International Conference on Industrial Automation, Nancy, France, June 1995.

    Google Scholar 

  46. F. Prunet, M. Caradec, N. Audry: Running modes and faulty behavior conveyors modeling with extended Petri nets. IEEE-SMC, CESA-IMACS multiconference, Symposium on Discrete Events and Manufacturing Systems, p. 291–296, Lille, France, July 1996.

    Google Scholar 

  47. C. Sibertin-Blanc: High-level Petri nets with data structures. In Applications and Theory of Petri Nets, Finland, June 1985.

    Google Scholar 

  48. M. Silva and R. Valette: Petri nets and flexible manufacturing. Advances in Petri nets 1989, Lecture Notes in Computer Science 424, Springer Verlag, pp 374–417, 1990.

    Google Scholar 

  49. G. Valentin, P. Ladet, and J. Ruiz: A generic Petri net based model for paper mills finishing process. In Symposium IFAC/IFIP/IFORS/ISPE sur les pronlèmes de contrôle de l'information en technologie de fabrication, INCOM'92, Toronto, Canada, May 1992.

    Google Scholar 

  50. C. Valentin and P. Ladet: Flow modelling in a class of hybrid (continuous-discrete) systems. In International Conference on Systems, Man and Cybernetics, Le Touquet, France, October 1993. IEEE-SMC.

    Google Scholar 

  51. C. Valentin Roubinet: Modelling and simulation of sequential hybrid dynamic systems. In ADEDOPS: Analysis and Design of Event-Driven Operation in Process Systems, London, England, April 1995.

    Google Scholar 

  52. R. Valette, J. Cardoso, D. Dubois: Monitoring Manufacturing Systems by means of Petri Nets with Imprecise Markings IEEE International Symposium on Intelligent Control 1989, 25–26 sept. Albany N.Y., USA., p.233–238.

    Google Scholar 

  53. R. Valette, H. Pingaud, A. Pagès, D. Andreu, and J.-C. Pascal: Modeling, simulation and control of event-driven operation in process systems. In ETFA 95, volume 3, pp 119–128, Paris, France, October 1995. IEEE.

    Google Scholar 

  54. R. Wieting, M. Sonnenschein Extending high-level Petri nets for modeling hybrid systems IMACS Symposium on system analysis and simulation, Vol 18–19, Berlin, June 1995, A. Sydow editor, Gordon and Breach, p. 259–262.

    Google Scholar 

  55. E.C. Yamalidou and J.C. Kantor: Modeling and optimal control of discrete-event chemical processes using Petri nets. Computers & Chemical Engineering, 15(7):503–519, June 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LAAS-CNRS, F-31077, Toulouse Cedex 4, France

    Robert Valette

Authors
  1. Robert Valette
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pierre Azéma Gianfranco Balbo

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Valette, R. (1997). Some issues about Petri net application to manufacturing and process supervisory control. In: Azéma, P., Balbo, G. (eds) Application and Theory of Petri Nets 1997. ICATPN 1997. Lecture Notes in Computer Science, vol 1248. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63139-9_28

Download citation

  • DOI: https://doi.org/10.1007/3-540-63139-9_28

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63139-2

  • Online ISBN: 978-3-540-69187-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation