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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1248, Issue , 1997, Pages 23-41

  Vatette, Robert ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIAL EQUATIONS;

CLASSICAL LOGIC; COMPLEX INTEGRATIONS; DIFFERENTIAL ALGEBRAIC EQUATIONS; LINEAR LOGIC; LOGICAL RULES; MODEL METHOD; PETRI NET APPLICATIONS; SUPERVISORY CONTROL;

PETRI NETS;

EID: 21744448484     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63139-9_28     Document Type: Conference Paper

References (55)

1. H. Alla: Modelling and simulation of event driven systems by Petri nets. In ADE-DOPS: Analysis and Design of Event-Driven Operation in Process Systems, London, England, April 1995.
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.
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.
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.
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
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.
7. M. Brielman Modelling differential equations by basic information technology means Proceedings of the Fith International Conference on Computer Aided Systems theory and technology, EUROCAST’95, Innsbruck, May 1995, Springer Verlag LNCS 1030, p. 163-174
8. C. Brown: Relating Petri Nets to Formulas of Linear Logic, Edinburgh Tech. Report ECS-LFCS-89-87, June, 1989.
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.
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.
11. th International Conference IPMU, Paris, Jul. 1994, Vol. 2, pp. 1269-1274.
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 I, p. 443-448
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.
14. B. Daubas, A. Pagès, and H. Pingaud: Combined simulation of hybrid processes, pp 320-325, San Antonio, USA, October 1994. IEEE-SMC.
15. th European Workshop on Application and Theory of Petri Nets, pp 275-294, Zaragoza, Spain, June 1987.
16. I. Demongodin, N. Audry, and F. Prunet: Batches Petri nets, pp 607-617, Le Touquet, France, October 1993. IEEE-SMC.
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.
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.
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.
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.
21. J.Y. Girard: Linear Logic, Theoretical Computer Science, n°50, 1987.
22. J.Y. Girard: La logique linéaire, Pour la Science, n°150, Apr. 1990, pp. 74-85.
23. J.Y. Girard: Linear Logic: A Survey, Cahiers du centre de logique, vol. 8, 1995, pp. 193-255.
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)
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.
26. th International Conference on Application and Theory of Petri nets, Bonn, Germany, 1989.
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.
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.
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.
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
31. Y. Lafont: The Linear abstract machine, Theoretical Computer Science, n°59, 1988, pp. 157-180.
32. C. Lansade, P. Tayrac: Dossier final phase 1 - Projet ANVAR Simulation Mixte, Ref. IXI/PAU/97/TLS89, January 1997
33. J. Le Bail, H. Alla, and R. David: Hybrid Petri net. In European Control Conference, Grenoble, France, July 1991.
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
35. th International Conference on Application and Theory of Petri nets, Sheffield, England, 1992.
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.
37. Miguel Menasche: Analyse des réseaux de Petri temporisés et application aux systèmes distribués", Thèse de Doctorat de Université Paul Sabatier, 1982, Toulouse, France, Rapport LAAS n. 824.
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.
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.
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.
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
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.
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
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.
45. nd International Conference on Industrial Automation, Nancy, France, June 1995.
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.
47. C. Sibertin-Blanc: High-level Petri nets with data structures. In Applications and Theory of Petri Nets, Finland, June 1985.
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.
49. C. Valentin, P. Ladet, and J. Ruiz: A generic Petri net based model for paper mills finishing process. In Symposium IFAC/IFIP/IFORS/ISPEsur les pronlèmes de contrôle de l’information en technologic de fabrication, INCOM’92, Toronto, Canada, May 1992.
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.
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.
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.
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.
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.
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.