Modeling, simulation and analysis of batch production systems

Discrete Event Dynamic Systems: Theory and Applications

Volumn 11, Issue 1-2, 2001, Pages 119-136

  Champagnat, Ronan ^a   Valette, Robert ^b   Hochon, Jean Claude ^c   Pingaud, Hervé ^d  

^a UNIVERSITÉ DE LA ROCHELLE   (France)

^b LAAS CNRS   (France)

^c IXI   (France)

^d ECOLE DES MINES D ALBI CARMAUX   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; MATHEMATICAL MODELS; PETRI NETS; PRODUCTION ENGINEERING;

BATCH PRODUCTION SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0035132498     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008391200673     Document Type: Article

References (33)

1. Alla, H. and Flaus, J.-M. 1998. Modeling of gas storage unit using hybrid flow nets. Proc. of ADPM'98 Reims, France, pp. 138-141.
2. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Olivero, A., Sifakis, J. and Yovine, S. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138: 3-34.
3. Andreu, D., Pascal, J. C., Pingaud, H. and Valette, R. 1994. Batch process modelling using Petri nets. 1994 IEEE International Conference on Systems, Man and Cybernetics San Antonio, USA, pp. 314-319.
4. Boutet, F. and Motet, G. 1997. Modélisation et simulation de systèmes de production hybrides par réseaux à prédicats contraints. Première conférence francophone sur la Modélisation et la Simulation des systèmes de production, MOSIM'97 Rouen, France, Ed. Hermès.
5. Champagnat, R., Esteban, P., Pingaud, H. and Valette, R. 1997. Modeling hybrid systems by means of high-level Petri nets: Benefits and limitations. In Proceedings of CIS'97 M. Ferney P. Borne, A. El Moudni and L. Grujić (Eds.), Vol. 1, pp. 469-474, Belfort, France. ENIBe-LMP, IFAC, IFIP, IMACS.
6. Champagnat, R., Esteban, P., Pingaud, H. and Valette, R. 1998b. Modeling and simulation of a hybrid system through Pr-Tr PN-DAE model. Proceedings of ADPM'98 Reims, France, pp. 131-137.
7. Champagnat, R., Esteban, P., Pingaud, H. and Valette, R. 1998. Petri net based modeling of hybrid systems. Computers in Industry 36(1-2): 139-146.
8. Champagnat, R. 1998. "Supervision des systèmes discontinus : définition d'un modèle hybride et pilotage en temps-réel". Thèse de doctorat, Université Paul Sabatier, Toulouse, France.
9. Champagnat, R., Pingaud, H., Alla, H., Valentin-Roubinet, C., Flaus, J.-M. and Valette, R. 1998c. A gas storage example as a benchmark for hybrid modelling: a comparative study. APII-JESA (Ed. Hermès) Special issue on Automation of Mixed Processes and Hybrid Dynamical Systems, J. Zaytoon (Ed.) Vol. 32, nos. 9-10, pp. 1233-1253.
10. Daubas, B., Pagès, A. and Pingaud, H. 1994. Combined simulation of hybrid processes. Int. Conf. IEEE-SMC San Antonio, pp. 320-325.
11. Demongodin, I. and Koussoulas, N. 1998. Differential Petri nets: representing continuous systems in a discrete-event world. IEEE Trans. on Automatic Control 43(4): 573-579.
12. Demongodin, I., Caradec, M. and Prunet, F. 1998. Fundamental concepts of analysis in batch Petri nets. IEEE-SMC'98 Conference San Diego, pp. 845-850.
13. Fanni, A. and Giua, A. 1998. Discrete event representation of qualitative models using Petri nets. IEEE Trans. on SMC - part B: Cybernetics 28(6): 770-780.
14. Genrich, H., Hanisch, H-M. and Woellhaf, K. 1994. Verification of recipe-based control procedures by means of predicate/transition nets. Inter. Conf. on Application and Theory of Petri nets Zaragoza, Lecture Notes in Computer Science 815, Springer Verlag, pp. 278-297.
15. Genrich, H. J. and Schuart, J. 1998. Modelling and verification of hybrid systems using hierarchical coloured Petri nets. Proc. of ADPM'98 Reims, France, pp. 17-24.
16. Giua, A. and Usai, E. 1996. High-level hybrid Petri nets: a definition. Proc. 35th Conf. on Decision and Control Kobe, Japan, pp. 148-150.
17. Giua, A. and Usai, E. 1998. Modeling hybrid systems by high-level Petri nets. APII-JESA (Ed. Hermès) Special issue on Automation of Mixed Processes and Hybrid Dynamical Systems, J. Zaytoon (Ed.) Vol. 32, nos. 9-10, pp. 1209-1231.
18. Gomaa, M. M. and Gentil, S. 1996. Hybrid industrial dynamical system supervision via hybrid continuous causal Petri nets (HC2PNS). Proc. of IEEE-SMC-CESA '96 (Symposium on Discrete Events and Manufacturing Systems) Lille, France, pp. 285-290.
19. Hanisch, H.-M. 1993. Analysis of place/transition nets with timed arcs and its application to batch process control. Int. Conf. on Theory and Application of Petri nets Chicago, LNCS 691, Springer Verlag, pp. 282-299.
20. Hanisch, H.-M. and Fleck, S. 1996. A resource allocation scheme for flexible batch plants based on high-level Petri nets. Proc. of IEEE-SMC-CESA'96 (Symposium on Discrete Events and Manufacturing Systems) Lille, France, pp. 303-308.
21. He, K. X. and Lemmon, M. D. 1998. Modelling hybrid control systems using programmable timed Petri nets. APII-JESA (Ed. Hermès) Special issue on Automation of Mixed Processes and Hybrid Dynamical Systems, J. Zaytoon, (Ed.) Vol. 32, Nos. 9-10, pp. 1187-1208.
22. Hochon, J-C. and Dannoux, F. 1999. MISS-RdP Mixte: Spécifications fonctionnelles générales. Rapport IXI: IXI/TLS0124/FDX/SFG/NT01, "http://www.ixi.fr/".
23. Jensen, K. 1992. Coloured Petri nets, basic concepts, analysis methods and practical use, Vol.1, Basic concepts. EATCS Monographs on Theoretical Computer Science Springer-Verlag.
24. Khansa, W., Aygalinc, P. and Denat, J. P. 1996. Structural analysis of p-time Petri nets. IEEE-CESA'96 IMACS Multi-conference Lille France, pp. 127-136.
25. Le Bail, J., Alla, H. and David, R. 1991. Hybrid Petri net. European Control Conference Grenoble France, pp. 1472-1477.
26. Lefort, A. and Yim, P. 1995. Modelling hybrid systems with Hypernets. IEEE Int. Conf. SMC Vancouver, Canada, pp. 1423-1429.
27. Menasche, M. and Berthomieu, B. 1983. Time Petri nets for analysing and verifying time dependent protocols. Third International Workshop on Protocol Specification, Testing and Verification Zürich.
28. Menasche, M. 1985. PAREDE: an automated tool for the analysis of time Petri nets. International Workshop on Timed Petri Nets Torino, pp. 162-169.
29. Merlin, P. and Farber, D. J. 1976. Recoverability of communication protocols; implementation of a theoretical study. IEEE Trans. on Communications COM-24(9): 1036-1043.
30. Modelica. 1999. A Unified Object-Oriented Language for Physical System Modeling, http://www.modelica.org.
31. Valentin-Roubinet, C. and Ladet, P. 1993. Flow modelling in a class of hybrid (continuous-discrete) systems. Proc. of Inter. Conf. on Systems, Man and Cybernetics, IEEE-SMC Le Touquet, France, Vol. III, pp. 244-249.
32. Valentin-Roubinet, C. 1998. Modeling of hybrid systems: DAE supervised by Petri nets, the example of a gas storage. Proc. of ADPM'98 Reims, France, pp. 142-149.
33. Weiting, R. and Sonnenschein, M. 1995. Extending high-level Petri nets for modeling hybrid systems. Proc. of the IMACS Symposium on System Analysis and Simulation Berlin, Vol. 18-19, pp. 259-262.