{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T15:38:36Z","timestamp":1774539516728,"version":"3.50.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[2001,1]]},"DOI":"10.1023\/a:1008330914786","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T09:41:38Z","timestamp":1040550098000},"page":"9-40","source":"Crossref","is-referenced-by-count":177,"title":["On Hybrid Petri Nets"],"prefix":"10.1007","volume":"11","author":[{"given":"Ren\u00e9","family":"David","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hassane","family":"Alla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"280789_CR1","unstructured":"Alla, H., Cavaill\u00e9, J.-B., Le Bail, J. and Bel, G. 1992. Les syst\u00e8mes de production par lot: une approche discret-continu utilisant les r\u00e9seaux de Petri hybrid. Symposium ADPM' 92. Paris."},{"issue":"1","key":"280789_CR2","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1142\/S0218126698000079","volume":"8","author":"H. Alla","year":"1998","unstructured":"Alla, H. and David, R. 1998. Continuous and Hybrid Petri Nets. Journal of Circuits, Systems & Computers 8(1): 159\u2013188.","journal-title":"Journal of Circuits, Systems & Computers"},{"key":"280789_CR3","doi-asserted-by":"crossref","unstructured":"Allam, M. and Alla, H., 1997. Modelling production systems by hybrid automata and hybrid Petri nets. Conf. on Control of Industrial Systems Belfort.","DOI":"10.1016\/S1474-6670(17)43388-X"},{"issue":"9-10","key":"280789_CR4","first-page":"1165","volume":"32","author":"M. Allam","year":"1998","unstructured":"Allam, M. and Alla, H., 1998. From hybrid Petri nets to automata, JESA 32(9-10): 1165\u20131185.","journal-title":"JESA"},{"key":"280789_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"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\u201334.","journal-title":"Theoretical Computer Science"},{"key":"280789_CR6","unstructured":"Balduzzi, F., Giua, A. and Menga, G. 1998. Hybrid stochastic Petri nets: Firing dpeed computation and FMS modeling. WODES' 98 Gagliari."},{"key":"280789_CR7","unstructured":"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."},{"key":"280789_CR8","unstructured":"Charbonnier, F. 1993. Etude et r\u00e9solution des conflits dans les r\u00e9seaux de Petri hybrids. Internal Report, LAG, INPG, Grenoble."},{"key":"280789_CR9","doi-asserted-by":"crossref","unstructured":"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\u2013225.","DOI":"10.1109\/PNPM.1997.595553"},{"key":"280789_CR10","unstructured":"Cohen, G., Gaubert, S. and Quadrat, J.-P. 1995. Asymptotic throughput of continuous timed Petri nets. Conference on Decision and Control New Orleans."},{"key":"280789_CR11","volume-title":"Algebraic System Analysis of Timed Petri Nets. Idempotency","author":"G. Cohen","year":"1998","unstructured":"Cohen, G., Gaubert, S. and Quadrat, J.-P. 1998. Algebraic System Analysis of Timed Petri Nets. Idempotency. J. Gunawardena (Ed.). Cambridge Cambridge: University Press."},{"issue":"9","key":"280789_CR12","first-page":"943","volume":"34","author":"Y. Dallery","year":"1989","unstructured":"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\u2013953.","journal-title":"IEEE Trans. on Computers"},{"key":"280789_CR13","doi-asserted-by":"crossref","unstructured":"David, R. 1997. Modeling of hybrid systems using continuous and hybrid Petri nets. Petri Nets & Performance Models (PNPM'97). Saint Malo, France, pp. 47\u201358.","DOI":"10.1109\/PNPM.1997.595536"},{"key":"280789_CR14","unstructured":"David, R. and Alla, H. 1987. Continuous Petri nets. 8th European Workshop on Application and Theory of Petri Nets Zaragoza."},{"key":"280789_CR15","unstructured":"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\u2013386."},{"key":"280789_CR16","volume-title":"Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems","author":"R. David","year":"1992","unstructured":"David, R. and Alla, H. 1992. Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems. London: Prentice Hall Int."},{"key":"280789_CR17","unstructured":"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."},{"key":"280789_CR18","first-page":"281","volume":"6","author":"R. David","year":"1990","unstructured":"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\u2013308.","journal-title":"IMA Journal of Math. Applied in Business & Industry"},{"key":"280789_CR19","volume-title":"IMACS Int. Symp. on Mathematical Modelling and Scientific Computing","author":"I. Demongodin","year":"1992","unstructured":"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."},{"key":"280789_CR20","doi-asserted-by":"crossref","unstructured":"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\u2013850.","DOI":"10.1109\/ICSMC.1998.725520"},{"key":"280789_CR21","doi-asserted-by":"crossref","unstructured":"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).","DOI":"10.1109\/9.665073"},{"key":"280789_CR22","unstructured":"Dubois, E. and Alla, H. 1993. Hybrid Petri nets with a stochastic discrete part. European Control Conference Groningen."},{"key":"280789_CR23","unstructured":"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."},{"issue":"2","key":"280789_CR24","first-page":"105","volume":"16","author":"D. Dubois","year":"1982","unstructured":"Dubois, D. and Forestier, J.-P. 1982. Productivit\u00e9 et en-cours moyens d'un ensemble de deux machines s\u00e9par\u00e9es par un stock. RAIRO Automatique 16(2): 105\u2013132.","journal-title":"RAIRO Automatique"},{"key":"280789_CR25","doi-asserted-by":"crossref","unstructured":"Flaus, J.-M. 1996. Hybrid flow nets for batch process modeling. CESA 96, IEEE SMC. Lille.","DOI":"10.1049\/ic:19961368"},{"key":"280789_CR26","unstructured":"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."},{"key":"280789_CR27","unstructured":"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\u2013228."},{"key":"280789_CR28","unstructured":"Le Bail, J., Alla, H. and David, R. 1991. Hybrid Petri nets. European Control Conference Grenoble, pp. 1472\u20131477."},{"key":"280789_CR29","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/BF01797160","volume":"2","author":"J. Le Bail","year":"1993","unstructured":"Le Bail, J., Alla, H. and David, R. 1993. Asymptotic continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications 2: 235\u2013263.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"280789_CR30","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1287\/moor.16.2.408","volume":"16","author":"A. Mandelbaum","year":"1991","unstructured":"Mandelbaum, A. and Chen, H. 1991. Discrete flow networks: Bottleneck analysis and fluid approximations. Math. Operations Research 16: 408\u2013446.","journal-title":"Math. Operations Research"},{"issue":"4","key":"280789_CR31","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T. 1989. Petri Nets: Properties, Analysis and applications. Proceedings of the IEEE 77(4): 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"key":"280789_CR32","volume-title":"Discrete Event Systems: Modeling and Control","author":"G. J. Olsder","year":"1993","unstructured":"Olsder, G. J. 1993. Synchronized Continuous Flow Systems. In: Discrete Event Systems: Modeling and Control, S. Balemi, P. Kozak, & R. Smadinga (Eds.) Basel: Birkh\u00e4user Verlag."},{"key":"280789_CR33","unstructured":"Peterson, J. L. 1981. Petri Net Theory and the Modelling of Systems. Prentice Hall."},{"key":"280789_CR34","unstructured":"Pettersson, S. and Lennartson, B. 1995. Hybrid modelling focused on hybrid Petri nets. European Workshop on Hybrid Systems. Grenoble, pp. 303\u2013309."},{"key":"280789_CR35","volume-title":"Analysis of Asynchronous Concurrent Systems by Timed Petri Nets","author":"C. Ramchandani","year":"1973","unstructured":"Ramchandani, C. 1973. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D., MIT, USA."},{"key":"280789_CR36","unstructured":"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\u201393."},{"key":"280789_CR37","doi-asserted-by":"crossref","unstructured":"Trivedi, K. S. and Kulkani, V. G. 1993. FSPNs: Fluid stochastic Petri nets. 14th International Conference on Application and Theory of Petri Nets, Chicago.","DOI":"10.1007\/3-540-56863-8_38"},{"key":"280789_CR38","doi-asserted-by":"crossref","unstructured":"Weiting, R. 1996. Hybrid high-level Nets. Proceedings of the Winter Simulation Conference, Coronado, USA, pp. 848\u2013855.","DOI":"10.1145\/256562.256828"},{"key":"280789_CR39","unstructured":"Weiting, R. 1996. Modeling and Simulation of Hybrid Systems Using Hybrid High-Level Nets. Proceedings of the 8th European Simulation Symposium, Genova, pp. 158\u2013162."},{"key":"280789_CR40","first-page":"85","volume":"4","author":"B. Zimmern","year":"1956","unstructured":"Zimmern, B. 1956. Etude de la propagation des arr\u00cdts al\u00e9atoires dans les cha\u00d3nes de production. Revue de Statistique Appliqu\u00e9e 4: 85\u2013104.","journal-title":"Revue de Statistique Appliqu\u00e9e"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008330914786.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008330914786\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008330914786.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:20:18Z","timestamp":1753762818000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008330914786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,1]]},"references-count":40,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,1]]}},"alternative-id":["280789"],"URL":"https:\/\/doi.org\/10.1023\/a:1008330914786","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,1]]}}}