{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:51:17Z","timestamp":1761486677190,"version":"3.41.2"},"reference-count":33,"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:1008391200673","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T09:41:38Z","timestamp":1040550098000},"page":"119-136","source":"Crossref","is-referenced-by-count":11,"title":["Modeling, Simulation and Analysis of Batch Production Systems"],"prefix":"10.1007","volume":"11","author":[{"given":"Ronan","family":"Champagnat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Valette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Claude","family":"Hochon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herv\u00e9","family":"Pingaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"280794_CR1","unstructured":"Alla, H. and Flaus, J.-M. 1998. Modeling of gas storage unit using hybrid flow nets. Proc. of ADPM'98 Reims, France, pp. 138\u2013141."},{"key":"280794_CR2","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., Halbwachs, N., Henzinger, T. A., 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":"280794_CR3","doi-asserted-by":"crossref","unstructured":"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\u2013319.","DOI":"10.1109\/ICSMC.1994.399857"},{"key":"280794_CR4","unstructured":"Boutet, F. and Motet, G. 1997. Mod\u00e9lisation et simulation de syst\u00e8mes de production hybrides par r#x00E9;seaux \u00e0 pr\u00e9dicats constraints. Premi\u00e8re conf\u00b4erence francophone sur la Mod\u00e8isation et la Simulation des sys\u00e8emes de production, MOSIM'97 Rouen, France, Ed. Herm\u00e8s."},{"key":"280794_CR5","first-page":"469","volume":"1","author":"R. Champagnat","year":"1997","unstructured":"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\u0107 (Eds.), Vol. 1, pp. 469\u2013474, Belfort, France. ENIBe-LMP, IFAC, IFIP, IMACS.","journal-title":"Proceedings of CIS'97"},{"key":"280794_CR6","unstructured":"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\u2013137."},{"issue":"1-2","key":"280794_CR7","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0166-3615(97)00109-7","volume":"36","author":"R. Champagnat","year":"1998","unstructured":"Champagnat, R., Esteban, P., Pingaud, H. and Valette, R. 1998. Petri net based modeling of hybrid systems. Computers in Industry 36(1-2): 139\u2013146.","journal-title":"Computers in Industry"},{"key":"280794_CR8","volume-title":"Supervision des syst\u00e8mes discontinus: d\u00e9finition d'un mod\u00e8 hybride et pilotage en temps-r\u00e9el","author":"R. Champagnat","year":"1998","unstructured":"Champagnat, R. 1998. \u201cSupervision des syst\u00e8mes discontinus: d\u00e9finition d'un mod\u00e8 hybride et pilotage en temps-r\u00e9el\u201d. Th\u00e8se de doctorat, Universit\u00e9 Paul Sabatier, Toulouse, France."},{"key":"280794_CR9","unstructured":"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\u00e9s) Special issue on Automation of Mixed Processes and Hybrid Dynamical Systems, J. Zaytoon (Ed.) Vol. 32, nos. 9-10, pp. 1233\u20131253."},{"key":"280794_CR10","doi-asserted-by":"crossref","unstructured":"Daubas, B., Pag\u00e8s, A. and Pingaud, H. 1994. Combined simulation of hybrid processes. Int. Conf. IEEE-SMC San Antonio, pp. 320\u2013325.","DOI":"10.1109\/ICSMC.1994.399858"},{"issue":"4","key":"280794_CR11","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1109\/9.665073","volume":"43","author":"I. Demongodin","year":"1998","unstructured":"Demongodin, I. and Koussoulas, N. 1998. Differential Petri nets: representing continuous systems in a discreteevent world. IEEE Trans. on Automatic Control 43(4): 573\u2013579.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"280794_CR12","doi-asserted-by":"crossref","unstructured":"Demongodin, I., Caradec, M. and Prunet, F. 1998. Fundamental concepts of analysis in batch Petri nets. IEEESMC' 98 Conference San Diego, pp. 845\u2013850.","DOI":"10.1109\/ICSMC.1998.725520"},{"issue":"6","key":"280794_CR13","first-page":"770","volume":"28","author":"A. Fanni","year":"1998","unstructured":"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\u2013780.","journal-title":"IEEE Trans. on SMC-part B: Cybernetics"},{"key":"280794_CR14","first-page":"278","volume":"815","author":"H. Genrich","year":"1994","unstructured":"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\u2013297.","journal-title":"Inter. Conf. on Application and Theory of Petri nets"},{"key":"280794_CR15","unstructured":"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\u201324."},{"key":"280794_CR16","doi-asserted-by":"crossref","unstructured":"Giua, A. and Usai, E. 1996. High-level hybrid Petri nets: a definition. Proc. 35th Conf. on Decision and Control Kobe, Japan, pp. 148\u2013150.","DOI":"10.1109\/CDC.1996.574277"},{"key":"280794_CR17","unstructured":"Giua, A. and Usai, E. 1998. Modeling hybrid systems by high-level Petri nets. APII-JESA (Ed. Herm\u00e8s) Special issue on Automation of Mixed Processes and Hybrid Dynamical Systems, J. Zaytoon (Ed.) Vol. 32, nos. 9-10, pp. 1209\u20131231."},{"key":"280794_CR18","unstructured":"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\u2013290."},{"key":"280794_CR19","doi-asserted-by":"crossref","unstructured":"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\u2013299.","DOI":"10.1007\/3-540-56863-8_52"},{"key":"280794_CR20","unstructured":"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\u2013308."},{"key":"280794_CR21","unstructured":"He, K. X. and Lemmon, M. D. 1998. Modelling hybrid control systems using programmable timed Petri nets. APII-JESA (Ed. Herm\u00e8s) Special issue on Automation of Mixed Processes and Hybrid Dynamical Systems, J. Zaytoon, (Ed.) Vol. 32, Nos. 9-10, pp. 1187\u20131208."},{"key":"280794_CR22","unstructured":"Hochon, J-C. and Dannoux, F. 1999. MISS-RdP Mixte: Sp\u00e9cifications fonctionnelles g\u00e9n\u00e9rales. Rapport IXI: IXI\/TLS0124\/FDX\/SFG\/NT01, \u201chttp:\/\/www.ixi.fr\/\u201d."},{"key":"280794_CR23","unstructured":"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."},{"key":"280794_CR24","unstructured":"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\u2013136."},{"key":"280794_CR25","unstructured":"Le Bail, J., Alla, H. and David, R. 1991. Hybrid Petri net. European Control Conference Grenoble France, pp. 1472\u20131477."},{"key":"280794_CR26","doi-asserted-by":"crossref","unstructured":"Lefort, A. and Yim, P. 1995. Modelling hybrid systems with Hypernets. IEEE Int. Conf. SMC Vancouver, Canada, pp. 1423\u20131429.","DOI":"10.1109\/ICSMC.1995.537972"},{"key":"280794_CR27","unstructured":"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\u00fcrich."},{"key":"280794_CR28","unstructured":"Menasche, M. 1985. PAREDE: an automated tool for the analysis of time Petri nets. International Workshop on Timed Petri Nets Torino, pp. 162\u2013169."},{"key":"280794_CR29","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"COM-249","author":"P. Merlin","year":"1976","unstructured":"Merlin, P. and Farber, D. J. 1976. Recoverability of communication protocols; implementation of a theoretical study. IEEE Trans. on Communications COM-24(9): 1036\u20131043.","journal-title":"IEEE Trans. on Communications"},{"key":"280794_CR30","unstructured":"Modelica. 1999. A Unified Object-Oriented Language for Physical System Modeling. http:\/\/www.modelica.org."},{"key":"280794_CR31","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1109\/ICSMC.1993.385018","volume":"III","author":"C. Valentin-Roubinet","year":"1993","unstructured":"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\u2013249.","journal-title":"Proc. of Inter. Conf. on Systems, Man and Cybernetics, IEEE-SMC"},{"key":"280794_CR32","unstructured":"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\u2013149."},{"key":"280794_CR33","first-page":"259","volume":"18-19","author":"R. Weiting","year":"1995","unstructured":"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\u2013262.","journal-title":"Proc. of the IMACS Symposium on System Analysis and Simulation"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008391200673.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008391200673\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008391200673.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:16:10Z","timestamp":1753762570000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008391200673"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,1]]},"references-count":33,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,1]]}},"alternative-id":["280794"],"URL":"https:\/\/doi.org\/10.1023\/a:1008391200673","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2001,1]]}}}