Skip to main content
SpringerLink
Log in

Modeling, Simulation and Analysis of Batch Production Systems

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

Abstract

After a surveyof some approaches for modeling hybrid systems by means of Petrinets ( t-time Petri nets, colored Petri nets, hybridPetri nets and differential predicate transition nets), thispaper illustrates how these formal models can be used for simulationand validation. It is shown how it was possible to use aggregatedqualitative models concurrently with detailed ones.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

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

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

    Google Scholar 

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

  • Boutet, F. and Motet, G. 1997. Modélisation et simulation de systèmes de production hybrides par r#x00E9;seaux à prédicats constraints. Première conf´erence francophone sur la Modèisation et la Simulation des sysèemes de production, MOSIM'97 Rouen, France, Ed. Hermès.

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

    Google Scholar 

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

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

    Google Scholar 

  • Champagnat, R. 1998. “Supervision des systèmes discontinus: définition d'un modè hybride et pilotage en temps-réel”. Thèse de doctorat, Université Paul Sabatier, Toulouse, France.

    Google Scholar 

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

  • Daubas, B., Pagès, A. and Pingaud, H. 1994. Combined simulation of hybrid processes. Int. Conf. IEEE-SMC San Antonio, pp. 320–325.

  • Demongodin, I. and Koussoulas, N. 1998. Differential Petri nets: representing continuous systems in a discreteevent world. IEEE Trans. on Automatic Control 43(4): 573–579.

    Google Scholar 

  • Demongodin, I., Caradec, M. and Prunet, F. 1998. Fundamental concepts of analysis in batch Petri nets. IEEESMC' 98 Conference San Diego, pp. 845–850.

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

    Google Scholar 

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

    Google Scholar 

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

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

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

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

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

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

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

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

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

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

  • Le Bail, J., Alla, H. and David, R. 1991. Hybrid Petri net. European Control Conference Grenoble France, pp. 1472–1477.

  • Lefort, A. and Yim, P. 1995. Modelling hybrid systems with Hypernets. IEEE Int. Conf. SMC Vancouver, Canada, pp. 1423–1429.

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

  • Menasche, M. 1985. PAREDE: an automated tool for the analysis of time Petri nets. International Workshop on Timed Petri Nets Torino, pp. 162–169.

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

    Google Scholar 

  • Modelica. 1999. A Unified Object-Oriented Language for Physical System Modeling. http://www.modelica.org.

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

    Google Scholar 

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

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. L3I, Univ. de la Rochelle, F-17042, La Rochelle Cedex 1

    Ronan Champagnat

  2. LAAS-CNRS, 7 av. du Col. Roche, F-31077, Toulouse Cedex 4

    Robert Valette

  3. IXI, 76 rue de la Colombette, F-31000, Toulouse

    Jean-Claude Hochon

  4. ENSTIMAC, F-81013, Albi Cedex 09

    Hervé Pingaud

Authors
  1. Ronan Champagnat
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robert Valette
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jean-Claude Hochon
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hervé Pingaud
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Champagnat, R., Valette, R., Hochon, JC. et al. Modeling, Simulation and Analysis of Batch Production Systems. Discrete Event Dynamic Systems 11, 119–136 (2001). https://doi.org/10.1023/A:1008391200673

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008391200673

Search

Navigation