Skip to main content
SpringerLink
Log in

On Hybrid Petri Nets

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

Abstract

Petrinets (PNs) are widely used to model discrete event dynamic systems(computer systems, manufacturing systems, communication systems,etc). Continuous Petri nets (in which the markings are real numbersand the transition firings are continuous) were defined morerecently; such a PN may model a continuous system or approximatea discrete system. A hybrid Petri net can be obtained if onepart is discrete and another part is continuous. This paper isbasically a survey of the work of the authors' team on hybridPNs (definition, properties, modeling). In addition, it containsnew material such as the definition of extended hybrid PNs andseveral applications, explanations and comments about the timingsin Petri nets, more on the conflict resolution in hybrid PNs,and connection between hybrid PNs and hybrid automata. The paperis illustrated by many examples.

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., Cavaillé, J.-B., Le Bail, J. and Bel, G. 1992. Les systèmes de production par lot: une approche discret-continu utilisant les réseaux de Petri hybrid. Symposium ADPM' 92. Paris.

  • Alla, H. and David, R. 1998. Continuous and Hybrid Petri Nets. Journal of Circuits, Systems & Computers 8(1): 159–188.

    Google Scholar 

  • Allam, M. and Alla, H., 1997. Modelling production systems by hybrid automata and hybrid Petri nets. Conf. on Control of Industrial Systems Belfort.

  • Allam, M. and Alla, H., 1998. From hybrid Petri nets to automata, JESA 32(9-10): 1165–1185.

    Google Scholar 

  • Alur, R., Courcoubetis, C., Halwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J. and Yovine, S. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138: 3–34.

    Google Scholar 

  • Balduzzi, F., Giua, A. and Menga, G. 1998. Hybrid stochastic Petri nets: Firing dpeed computation and FMS modeling. WODES' 98 Gagliari.

  • Brinkman, P. L. and Blaauboer, W. A. 1990. Timed continuous Petri nets: A tool for analysis and simulation of discrete event systems. European Simulation Symposium Ghent.

  • Charbonnier, F. 1993. Etude et résolution des conflits dans les réseaux de Petri hybrids. Internal Report, LAG, INPG, Grenoble.

  • Ciardo, G., Nicol, D. and Trivedi, K. S. 1997. Discrete-event simulation of fluid stochastic Petri nets. Petri Nets & Performance Models PNPM'97 Saint Malo, France, pp. 217–225.

  • Cohen, G., Gaubert, S. and Quadrat, J.-P. 1995. Asymptotic throughput of continuous timed Petri nets. Conference on Decision and Control New Orleans.

  • Cohen, G., Gaubert, S. and Quadrat, J.-P. 1998. Algebraic System Analysis of Timed Petri Nets. Idempotency. J. Gunawardena (Ed.). Cambridge Cambridge: University Press.

    Google Scholar 

  • Dallery, Y., David, R. and Xie, X. 1989. Approximate analysis of transfer lines with unreliable machines and finite buffers. IEEE Trans. on Computers 34(9): 943–953.

    Google Scholar 

  • David, R. 1997. Modeling of hybrid systems using continuous and hybrid Petri nets. Petri Nets & Performance Models (PNPM'97). Saint Malo, France, pp. 47–58.

  • David, R. and Alla, H. 1987. Continuous Petri nets. 8th European Workshop on Application and Theory of Petri Nets Zaragoza.

  • David, R. and Alla, H. 1990. Autonomous and timed continuous Petri nets. 11th International Conference on Application and Theory of Petri Nets Paris, pp. 367–386.

  • David, R. and Alla, H. 1992. Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems. London: Prentice Hall Int.

    Google Scholar 

  • David, R. and Caramihai, S. 2000. Modeling of delays on continuous flows thanks to extended hybrid Petri nets. Int. Conf. an Automation of Mixed Proceses (ADPM 2000), Dortmund.

  • David, R., Xie, X. and Dallery, Y. 1990. Properties of continuous models of transfer lines with unreliable machines and finite buffers. IMA Journal of Math. Applied in Business & Industry 6: 281–308.

    Google Scholar 

  • Demongodin, I. and Prunet, F. 1992. Extension of hybrid Petri nets to accumulation systems. IMACS Int. Symp. on Mathematical Modelling and Scientific Computing Bangalore, India.

    Google Scholar 

  • Demongodin, I., Caradec, M. and Prunet, F. 1998. Fundamental concepts of analysis in batches Petri nets. Int. IEEE Conf. on Systems, Man, and Cybernetics San Diego, pp. 845–850.

  • Demongodin, I. and Koussoulas, N.T. 1998. Differential Petri nets: Representing continuous systems in a discrete event world. IEEE Transactions on Automatic Control 38(4).

  • Dubois, E. and Alla, H. 1993. Hybrid Petri nets with a stochastic discrete part. European Control Conference Groningen.

  • Dubois, E., Alla, H. and David, R. 1994. Continuous Petri net with maximal speeds depending on time. 4th Int. Conf. of RPI, Computer Integrated Manufacturing and Automation Technology Troy, USA.

  • Dubois, D. and Forestier, J.-P. 1982. Productivité et en-cours moyens d'un ensemble de deux machines séparées par un stock. RAIRO Automatique 16(2): 105–132.

    Google Scholar 

  • Flaus, J.-M. 1996. Hybrid flow nets for batch process modeling. CESA 96, IEEE SMC. Lille.

  • Gershwin, S. B. and Schick, I. C. 1980. Continuous Model of an Unreliable Two-Stage Material Flow System With a finite Interstage Buffer. Technical report MIT LIDS-R-1032.

  • Halbwachs, N, Proy, Y. E. and Raymond, P. 1993. Verification of linear hybrid systems by means of convex approximations. Proc. 5th Conf. on Decision and Compute-Aided Verification, LNCS 697 Springer, pp. 220–228.

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

  • Le Bail, J., Alla, H. and David, R. 1993. Asymptotic continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications 2: 235–263.

    Google Scholar 

  • Mandelbaum, A. and Chen, H. 1991. Discrete flow networks: Bottleneck analysis and fluid approximations. Math. Operations Research 16: 408–446.

    Google Scholar 

  • Murata, T. 1989. Petri Nets: Properties, Analysis and applications. Proceedings of the IEEE 77(4): 541–580.

    Google Scholar 

  • Olsder, G. J. 1993. Synchronized Continuous Flow Systems. In: Discrete Event Systems: Modeling and Control, S. Balemi, P. Kozak, & R. Smadinga (Eds.) Basel: Birkhäuser Verlag.

    Google Scholar 

  • Peterson, J. L. 1981. Petri Net Theory and the Modelling of Systems. Prentice Hall.

  • Pettersson, S. and Lennartson, B. 1995. Hybrid modelling focused on hybrid Petri nets. European Workshop on Hybrid Systems. Grenoble, pp. 303–309.

  • Ramchandani, C. 1973. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D., MIT, USA.

    Google Scholar 

  • Sifakis, J. 1977. Use of Petri Nets for Performance Evaluation. In: Measuring, Modelling and Evaluating Computer Systems, H. Beilner and E. Gelenbe (Eds.), North-Holland, pp. 75–93.

  • Trivedi, K. S. and Kulkani, V. G. 1993. FSPNs: Fluid stochastic Petri nets. 14th International Conference on Application and Theory of Petri Nets, Chicago.

  • Weiting, R. 1996. Hybrid high-level Nets. Proceedings of the Winter Simulation Conference, Coronado, USA, pp. 848–855.

  • Weiting, R. 1996. Modeling and Simulation of Hybrid Systems Using Hybrid High-Level Nets. Proceedings of the 8th European Simulation Symposium, Genova, pp. 158–162.

  • Zimmern, B. 1956. Etude de la propagation des arrÍts aléatoires dans les chaÓnes de production. Revue de Statistique Appliquée 4: 85–104.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d'Automatique de Grenoble (INPG-UJF-CNRS), B.P. 46, 38402, Saint-Martin-d'Hères, France

    René David & Hassane Alla

Authors
  1. René David
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hassane Alla
    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

David, R., Alla, H. On Hybrid Petri Nets. Discrete Event Dynamic Systems 11, 9–40 (2001). https://doi.org/10.1023/A:1008330914786

Download citation

  • Issue Date:

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

Search

Navigation