{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T17:43:49Z","timestamp":1784223829233,"version":"3.55.0"},"reference-count":174,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,9,20]],"date-time":"2011-09-20T00:00:00Z","timestamp":1316476800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s10626-011-0116-9","type":"journal-article","created":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T06:50:59Z","timestamp":1316415059000},"page":"427-497","source":"Crossref","is-referenced-by-count":96,"title":["On fluidization of discrete event models: observation and control of continuous Petri nets"],"prefix":"10.1007","volume":"21","author":[{"given":"Manuel","family":"Silva","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jorge","family":"J\u00falvez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cristian","family":"Mahulea","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C. Renato","family":"V\u00e1zquez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2011,9,20]]},"reference":[{"issue":"7","key":"116_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/32.29483","volume":"15","author":"M Ajmone-Marsan","year":"1989","unstructured":"Ajmone-Marsan M, Balbo G, Bobbio A, Chiola G, Conte G, Cumani A (1989) The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Trans Softw Eng 15(7):832\u2013846","journal-title":"IEEE Trans Softw Eng"},{"issue":"1","key":"116_CR2","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1142\/S0218126698000079","volume":"8","author":"H Alla","year":"1998","unstructured":"Alla H, David R (1998) Continuous and hybrid Petri nets. J Circuits Syst Comput 8(1):159\u2013188","journal-title":"J Circuits Syst Comput"},{"key":"116_CR3","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1017\/S0269964801152022","volume":"15","author":"E Altman","year":"2001","unstructured":"Altman E, Jim\u00e9nez T, Koole G (2001) On the comparison of queueing systems with their fluid limits. Probab Eng Inf Sci 15:165\u2013178","journal-title":"Probab Eng Inf Sci"},{"key":"116_CR4","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, Coucoubetis C, Henzinger TA, Ho P-H, Nicollin X, Olivero A, Sifakis J, Yovine S (1995) The algorithmic analysis of hybrid systems. Theor Comp Sci 138:3\u201334","journal-title":"Theor Comp Sci"},{"key":"116_CR5","unstructured":"Amer-Yahiaj A, Zerhouni N, El-Moudni A, Ferney M (1996) State variable description and controllability of a class of continuous Petri nets. In: Proc. of the IEEE int. symp. on circuits and systems, Atlanta, USA, pp 68\u201371"},{"issue":"2","key":"116_CR6","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1080\/00207729808929505","volume":"29","author":"A Amrah","year":"1998","unstructured":"Amrah A, Zerhouni N, El-Moudni A (1998) On the control of manufacturing lines modelled by controlled continuous Petri nets. Int J Syst Sci 29(2):127\u2013137","journal-title":"Int J Syst Sci"},{"key":"116_CR7","doi-asserted-by":"crossref","unstructured":"Apaydin-Ozkan H, J\u00falvez J, Mahulea C, Silva M (2009) An efficient heuristics for minimum time control of continuous Petri nets. In: Proc. of the 3rd IFAC conf. on analysis and design of hybrid systems, ADHS09, Zaragoza, Spain, pp 44\u201349","DOI":"10.3182\/20090916-3-ES-3003.00009"},{"key":"116_CR8","doi-asserted-by":"crossref","first-page":"2593","DOI":"10.1109\/ACC.2010.5530546","volume-title":"Proc. of the American control conf. 2010, Baltimore, Maryland, USA","author":"H Apaydin-Ozkan","year":"2010","unstructured":"Apaydin-Ozkan H, J\u00falvez J, Mahulea C, Silva M (2010) A control method for timed distributed continuous Petri nets. In: Proc. of the American control conf. 2010, Baltimore, Maryland, USA. IEEE Press, Piscataway, pp 2593\u20132600"},{"key":"116_CR9","first-page":"1","volume-title":"Mathematics of stochastic manufacturing systems, vol 33","author":"F Avram","year":"1997","unstructured":"Avram F (1997) Optimal control of fluid limits of queuing networks and stochasticity corrections. In: Mathematics of stochastic manufacturing systems, vol 33. American Mathematical Society, Providence, pp 1\u201337"},{"key":"116_CR10","unstructured":"Balbo G, Silva M (eds) (1998) Performance models for discrete event systems with synchronozations: formalisms and analysis techniques. In: Proc. of human capital and mobility MATCH performance advanced school, Jaca, Spain. Available online: http:\/\/webdiis.unizar.es\/GISED\/?q=news\/matchbook"},{"issue":"4","key":"116_CR11","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1109\/70.864231","volume":"16","author":"F Balduzzi","year":"2000","unstructured":"Balduzzi F, Giua A, Menga G (2000) First-order hybrid Petri nets: a model for optimization and control. IEEE Trans Robot Autom 16(4):382\u2013399","journal-title":"IEEE Trans Robot Autom"},{"key":"116_CR12","first-page":"76","volume-title":"Hybrid systems: computation and control, Lecture notes in computer science, vol 2289","author":"A Balluchi","year":"2002","unstructured":"Balluchi A, Benvenuti L, Di Benedetto MD, Sangiovanni-Vincentelli AL (2002) Design of observers for hybrid systems. In: Tomlin CJ, Greenstreet MR (eds) Hybrid systems: computation and control, Lecture notes in computer science, vol 2289. Springer, Berlin, pp 76\u201389"},{"issue":"3","key":"116_CR13","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1016\/S0005-1098(98)00178-2","volume":"35","author":"A Bemporad","year":"1999","unstructured":"Bemporad A, Morari M (1999) Control of systems integrating logic, dynamics, and constraints. Automatica 35(3):407\u2013427","journal-title":"Automatica"},{"issue":"10","key":"116_CR14","doi-asserted-by":"crossref","first-page":"1864","DOI":"10.1109\/TAC.2000.880987","volume":"45","author":"A Bemporad","year":"2002","unstructured":"Bemporad A, Ferrari-Trecate G, Morari M (2002a) Observability and controllability of piecewise affine and hybrid systems. IEEE Trans Automat Contr 45(10):1864\u20131876","journal-title":"IEEE Trans Automat Contr"},{"issue":"1","key":"116_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0005-1098(01)00174-1","volume":"38","author":"A Bemporad","year":"2002","unstructured":"Bemporad A, Morari M, Dua V, Pistikopoulos EN (2002b) The explicit linear quadratic regulator for constrained systems. Automatica 38(1):3\u201320","journal-title":"Automatica"},{"issue":"2","key":"116_CR16","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1109\/9.983382","volume":"47","author":"L Benevenuti","year":"2002","unstructured":"Benevenuti L, Farina L (2002) Positive and compartmental systems. IEEE Trans Automat Contr 47(2):370\u2013373","journal-title":"IEEE Trans Automat Contr"},{"key":"116_CR17","unstructured":"Bergstra JA, Klop JW (1982) Fixed point semantics in process algebra. Technical report IW 206\/82 208, Mathematical Centre, Amsterdam"},{"issue":"11","key":"116_CR18","doi-asserted-by":"crossref","first-page":"1618","DOI":"10.1109\/9.543999","volume":"41","author":"D Bertsimas","year":"1996","unstructured":"Bertsimas D, Gamarnik D, Tsitsiklis JN (1996) Stability conditions for multiclass fluid queueing networks. IEEE Trans Automat Contr 41(11):1618\u20131631","journal-title":"IEEE Trans Automat Contr"},{"key":"116_CR19","doi-asserted-by":"crossref","DOI":"10.1002\/0471200581","volume-title":"Queueing networks and Markov chains","author":"G Bolch","year":"1998","unstructured":"Bolch G, Greiner S, de Meer H, Trivedi K (1998) Queueing networks and Markov chains. Wiley, New York"},{"issue":"2","key":"116_CR20","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1137\/0310024","volume":"10","author":"R Brammer","year":"1972","unstructured":"Brammer R (1972) Controllability in linear autonomous systems with positive controllers. SIAM J Control 10(2):329\u2013353","journal-title":"SIAM J Control"},{"key":"116_CR21","volume-title":"R\u00e9seaux de Petri: Th\u00e9orie et Pratique","author":"GW Brams","year":"1983","unstructured":"Brams GW (1983) R\u00e9seaux de Petri: Th\u00e9orie et Pratique. Masson, Paris"},{"key":"116_CR22","doi-asserted-by":"crossref","unstructured":"Bramson M (2008) Stability of queueing networks. In: Lecture notes in mathematics, vol 1950. Springer, New York (also published in: Probability Surveys 5:169\u2013345, 2008)","DOI":"10.1214\/08-PS137"},{"issue":"9","key":"116_CR23","doi-asserted-by":"crossref","first-page":"1531","DOI":"10.1016\/j.automatica.2010.06.013","volume":"46","author":"MP Cabasino","year":"2010","unstructured":"Cabasino MP, Giua A, Seatzu C (2010) Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica 46(9):1531\u20131539","journal-title":"Automatica"},{"key":"116_CR24","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1007\/3-540-55610-9_178","volume-title":"Advances in Petri nets 1992, Lecture notes in computer science, vol 609","author":"J Campos","year":"1992","unstructured":"Campos J, Silva M (1992) Structural techniques and performance bounds of stochastic Petri net models. In: Rozenberg G (ed) Advances in Petri nets 1992, Lecture notes in computer science, vol 609. Springer, New York, pp 352\u2013391"},{"key":"116_CR25","unstructured":"Campos J, Colom JM, Silva M (1992) Improving throughput upper bounds for net based models of manufacturing systems. In: Robotics and flexible manufacturing systems, pp 281\u2013294"},{"issue":"3","key":"116_CR26","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/j.tcs.2007.11.012","volume":"391","author":"L Cardelli","year":"2008","unstructured":"Cardelli L (2008) On process rate semantics. Theor Comp Sci 391(3):190\u2013215","journal-title":"Theor Comp Sci"},{"key":"116_CR27","unstructured":"Cardoso J, Camargo H (eds) (1999) Fuzziness in Petri nets. In: Studies in fuzziness and soft computing, vol 22. Springer, New York."},{"key":"116_CR28","unstructured":"Cassandras CG (2007) Stochastic flow systems: modeling and sensitivity analysis. In: Cassandras CG, Lygeros J (eds) Stochastic hybrid systems, chapter 6, pp 139\u2013167"},{"key":"116_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems. Springer, New York"},{"issue":"3","key":"116_CR30","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1109\/9.911417","volume":"46","author":"CG Cassandras","year":"2001","unstructured":"Cassandras CG, Pepyne DL, Wardi Y (2001) Optimal control of a class of hybrid systems. IEEE Trans Automat Contr 46(3):398\u2013415","journal-title":"IEEE Trans Automat Contr"},{"key":"116_CR31","unstructured":"Champagnat R, Esteban P, Pingaud H, Valette R (1998) Modeling and simulation of a hybrid system through Pr\/Tr PN-DAE model. In: Proc. of ADPM\u201998, Reims, France, pp 131\u2013137"},{"key":"116_CR32","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1023\/A:1008391200673","volume":"11","author":"R Champagnat","year":"2001","unstructured":"Champagnat R, Valette R, Hochon JC, Pingaud H (2001) Modeling, simulation and analysis of batch production systems. Discrete Event Dyn Syst: Theory Appl 11:119\u2013136","journal-title":"Discrete Event Dyn Syst: Theory Appl"},{"key":"116_CR33","volume-title":"Linear system theory and design","author":"C Chen","year":"1984","unstructured":"Chen C (1984) Linear system theory and design. Oxford University Press, New York"},{"key":"116_CR34","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1287\/moor.16.2.408","volume":"16","author":"H Chen","year":"1991","unstructured":"Chen H, Mandelbaum A (1991) Discrete flow networks: bottleneck analysis and fluid approximations. Math Oper Res 16:408\u2013446","journal-title":"Math Oper Res"},{"key":"116_CR35","volume-title":"Fundamentals of queueing networks. Performance, asymptotics and optimization. Stochastic modelling and applied probability, vol 46","author":"H Chen","year":"2001","unstructured":"Chen H, Yao DD (2001) Fundamentals of queueing networks. Performance, asymptotics and optimization. Stochastic modelling and applied probability, vol 46. Springer, New York"},{"key":"116_CR36","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-642-79917-4_11","volume-title":"Quantitative methods in parallel systems","author":"G Chiola","year":"1995","unstructured":"Chiola G, Anglano C, Campos J, Colom JM, Silva M (1995) Operational analysis of timed Petri nets and application to the computation of performance bounds. In: Baccelli F, Jean-Marie A, Mitrani I (eds) Quantitative methods in parallel systems. Springer, New York, pp 161\u2013174"},{"issue":"33\u201334","key":"116_CR37","doi-asserted-by":"crossref","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F Ciocchetta","year":"2009","unstructured":"Ciocchetta F, Hillston J (2009) Bio-pepa: a framework for the modelling and analysis of biological systems. Theor Comp Sci 410(33\u201334):3065\u20133084","journal-title":"Theor Comp Sci"},{"issue":"11","key":"116_CR38","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/1592761.1592781","volume":"52","author":"EM Clarke","year":"2009","unstructured":"Clarke EM, Emerson EA, Sifakis J (2009) Model checking: algorithmic verification and debugging. Commun ACM 52(11):74\u201384","journal-title":"Commun ACM"},{"key":"116_CR39","doi-asserted-by":"crossref","unstructured":"Cohen G, Gaubert S, Quadrat JP (1998) Algebraic system analysis of timed Petri nets. In: Gunawardena J (ed) Idempotency, Cambridge University Press, pp 145\u2013170","DOI":"10.1017\/CBO9780511662508.010"},{"key":"116_CR40","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-540-53863-1_23","volume-title":"Advances in Petri nets 1990, Lecture notes in computer science, vol 483","author":"JM Colom","year":"1991","unstructured":"Colom JM, Silva M (1991) Improving the linearly based characterization of P\/T nets. In: Rozenberg G (ed) Advances in Petri nets 1990, Lecture notes in computer science, vol 483. Springer, New York, pp 113\u2013145"},{"key":"116_CR41","doi-asserted-by":"crossref","unstructured":"Commault C, Dion JM, Trinh DH (2005) Observability recovering by additional sensor implementation in linear structured systems. In: Procs. of the 44th IEEE conf. on decission and control, Seville, Spain, pp 7193\u20137197","DOI":"10.1109\/CDC.2005.1583321"},{"issue":"2","key":"116_CR42","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1109\/70.282534","volume":"10","author":"D Connors","year":"1994","unstructured":"Connors D, Feigin G, Yao D (1994) Scheduling semiconductor lines using a fluid network model. IEEE Trans Robot Autom 10(2):88\u201398","journal-title":"IEEE Trans Robot Autom"},{"issue":"1","key":"116_CR43","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1214\/aoap\/1177004828","volume":"5","author":"JG Dai","year":"1995","unstructured":"Dai JG (1995) On positive Harris recurrence of multiclass queuing networks: a unified approach via fluid limit models. Ann Appl Probab 5(1):49\u201377","journal-title":"Ann Appl Probab"},{"issue":"4","key":"116_CR44","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1109\/70.611303","volume":"13","author":"Y Dallery","year":"1997","unstructured":"Dallery Y, Liu Z, Towsley D (1997) Properties of Fork\/join queueing networks with blocking under various operating mechanisms. IEEE Trans Robot Autom 13(4):503\u2013518","journal-title":"IEEE Trans Robot Autom"},{"key":"116_CR45","unstructured":"David R, Alla H (1987) Continuous Petri nets. In: Proc. of the 8th European workshop on application and theory of Petri nets, Zaragoza, Spain, pp 275\u2013294"},{"key":"116_CR46","unstructured":"David R, Alla H (1990) Autonomous and timed continuous Petri nets. In: Proc. 11th int. conf. on application and theory of Petri nets, Paris, France, pp 367\u2013386"},{"key":"116_CR47","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-10669-9","volume-title":"Discrete, continuous and hybrid Petri nets","author":"R David","year":"2010","unstructured":"David R, Alla H (2010) Discrete, continuous and hybrid Petri nets. Springer, Berlin (revised 2nd edn, 2010)","edition":"2"},{"key":"116_CR48","unstructured":"Dennis JB (ed) (1970) Record of the project MAC. In: Conf. on concurrent systems and parallel computation. ACM conf. records, 2\u20135 June 1970. MIT"},{"issue":"7","key":"116_CR49","doi-asserted-by":"crossref","first-page":"1049","DOI":"10.1016\/S0005-1098(01)00054-1","volume":"37","author":"B Schutter De","year":"2001","unstructured":"De Schutter B, van den Boom T (2001) Model predictive control for max-plus-linear discrete event systems. Automatica 37(7):1049\u20131056","journal-title":"Automatica"},{"issue":"1\u20132","key":"116_CR50","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1023\/A:1008343317511","volume":"11","author":"I Demongodin","year":"2001","unstructured":"Demongodin I (2001) Generalised batches Petri net: hybrid model for high speed systems with variable delays. Discrete Event Dyn Syst 11(1\u20132):137\u2013162","journal-title":"Discrete Event Dyn Syst"},{"key":"116_CR51","doi-asserted-by":"crossref","unstructured":"Demongodin I, Giua A (2010) Linear programming techniques for analysis and control of batches Petri nets. In: Procs. of the int. workshop on discrete event systems, WODES\u201910, pp 4\u20139","DOI":"10.3182\/20100830-3-DE-4013.00003"},{"issue":"4","key":"116_CR52","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1109\/9.665073","volume":"43","author":"I Demongodin","year":"1998","unstructured":"Demongodin I, Koussoulas NT (1998) Differential Petri nets: representing continuous systems in a discrete-event world. IEEE Trans Automat Contr 43(4):573\u2013579","journal-title":"IEEE Trans Automat Contr"},{"issue":"5","key":"116_CR53","doi-asserted-by":"crossref","first-page":"1243","DOI":"10.1016\/j.automatica.2008.12.011","volume":"45","author":"S Cairano Di","year":"2009","unstructured":"Di Cairano S, Bemporad A, J\u00falvez J (2009) Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics. Automatica 45(5):1243\u20131251","journal-title":"Automatica"},{"key":"116_CR54","doi-asserted-by":"crossref","unstructured":"Di Febbraro A, Giua A, Menga G (eds) (2001) Special issue on hybrid Petri nets. Discrete Event Dyn Syst 11(1\u20132)","DOI":"10.1023\/A:1008378830715"},{"key":"116_CR55","unstructured":"Ding J (2010) Structural and fluid analysis for large scale PEPA models. With applications to content adaptation systems. PhD thesis, University of Edinburgh"},{"key":"116_CR56","unstructured":"Ding J, Hillston J (2010) Fundamental results on fluid approximations of stochastic process algebra models. Perform Eval (submitted)"},{"issue":"7","key":"116_CR57","doi-asserted-by":"crossref","first-page":"1125","DOI":"10.1016\/S0005-1098(03)00104-3","volume":"39","author":"JM Dion","year":"2003","unstructured":"Dion JM, Commault C, van\u00a0der Woude J (2003) Generic properties and control of linear structured systems: a survey. Automatica 39(7):1125\u20131144","journal-title":"Automatica"},{"key":"116_CR58","doi-asserted-by":"crossref","unstructured":"Donatelli S, Ribaudo M, Hillston J (1995) A comparison of performance evaluation process algebra and generalized stochastic Petri nets. In: IEEE Petri nets and performance models (PNPM\u201995), pp 158\u2013168","DOI":"10.1109\/PNPM.1995.524326"},{"key":"116_CR59","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1023\/A:1019166115653","volume":"27","author":"D Down","year":"1997","unstructured":"Down D, Meyn SP (1997) Piecewise linear test functions for stability and instability of queueing networks. Queueing Syst 27:205\u2013226","journal-title":"Queueing Syst"},{"key":"116_CR60","unstructured":"Dub M, Pipan G, Hanz\u00e1lek Z (2002) Stock optimization of a kanban-based assembly line. In: Proc. of the 12th int. conf. on flexible automation and intelligent manufacturing, Dresden, Germany, pp 1\u201310"},{"key":"116_CR61","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/3-540-56689-9_42","volume-title":"Advances in Petri nets 1993, Lecture notes in computer science, vol 674","author":"J Ezpeleta","year":"1993","unstructured":"Ezpeleta J, Couvreur JM, Silva M (1993) A new technique for finding a generating family of siphons, traps and st-components. application to coloured Petri nets. In: Rozenberg G (ed) Advances in Petri nets 1993, Lecture notes in computer science, vol 674. Springer, New York, pp 126\u2013147"},{"key":"116_CR62","doi-asserted-by":"crossref","DOI":"10.1002\/9781118033029.scard","volume-title":"Pure and applied mathematics","author":"L Farina","year":"2000","unstructured":"Farina L, Rinaldi S (2000) Positive linear systems. Theory and applications. In: Pure and applied mathematics. Wiley, New York"},{"key":"116_CR63","unstructured":"Fleming WH (1988) Future directions in control theory: a mathematical perspective. Report of the Panel on Future Directions in Control Theory, SIAM"},{"key":"116_CR64","volume-title":"Industrial dynamics","author":"JW Forrester","year":"1961","unstructured":"Forrester JW (1961) Industrial dynamics. MIT Press, Cambridge"},{"key":"116_CR65","volume-title":"Principles of systems","author":"JW Forrester","year":"1968","unstructured":"Forrester JW (1968) Principles of systems. Productivity Press, Cambridge"},{"issue":"4","key":"116_CR66","doi-asserted-by":"crossref","first-page":"275","DOI":"10.15807\/jorsj.47.275","volume":"47","author":"S Foss","year":"2004","unstructured":"Foss S, Konstantopoulos T (2004) An overview of some stochastic stability methods. J Oper Res Soc Jpn 47(4):275\u2013303","journal-title":"J Oper Res Soc Jpn"},{"issue":"4","key":"116_CR67","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1504\/IJCAET.2010.035389","volume":"2","author":"V Galpin","year":"2010","unstructured":"Galpin V (2010) Continuous approximation of PEPA models and Petri nets. Int J Comput Aided Eng Technol 2(4):324\u2013339","journal-title":"Int J Comput Aided Eng Technol"},{"issue":"9","key":"116_CR68","doi-asserted-by":"crossref","first-page":"1505","DOI":"10.1016\/j.automatica.2004.04.018","volume":"40","author":"B Gaujal","year":"2004","unstructured":"Gaujal B, Giua A (2004) Optimal stationary behavior for a class of timed continuous Petri nets. Automatica 40(9):1505\u20131516","journal-title":"Automatica"},{"issue":"2","key":"116_CR69","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/TASE.2006.879916","volume":"4","author":"S Genc","year":"2007","unstructured":"Genc S, Lafortune S (2007) Distributed diagnosis of place-bordered Petri nets. IEEE Trans Autom Sci Eng 4(2):206\u2013219","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"4","key":"116_CR70","doi-asserted-by":"crossref","first-page":"76","DOI":"10.4304\/jcp.2.4.76-86","volume":"2","author":"D Gianni","year":"2007","unstructured":"Gianni D, D\u2019Ambrogio A (2007) A language to enable distributed simulation of extended queueing networks. J Comput 2(4):76\u201386","journal-title":"J Comput"},{"key":"116_CR71","doi-asserted-by":"crossref","unstructured":"Giua A, DiCesare F, Silva M (1993) Petri Net supervisors for generalized mutual exclusion constraints. In: 12th IFAC world congress, vol 1, Sidney, Australia, pp 267\u2013270","DOI":"10.1016\/S1474-6670(17)48493-X"},{"key":"116_CR72","first-page":"57","volume-title":"Procs. of the 10th int. work. on discrete event systems","author":"A Giua","year":"2010","unstructured":"Giua A, Seatzu C, Wardi Y (2010) IPA for continuous Petri nets. In: Procs. of the 10th int. work. on discrete event systems, Berlin, Germany, pp 57\u201362"},{"issue":"1","key":"116_CR73","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.automatica.2003.08.001","volume":"40","author":"L Habets","year":"2004","unstructured":"Habets L, van Schuppen JH (2004) A control problem for affine dynamical systems on a full-dimensional polytope. Automatica 40(1):21\u201335","journal-title":"Automatica"},{"key":"116_CR74","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1016\/j.sysconle.2003.09.006","volume":"51","author":"WM Haddad","year":"2004","unstructured":"Haddad WM, Chellaboina V (2004) Stability theory for nonnegative and compartmental dynamical systems with time delay. Syst Control Lett 51:355\u2013361","journal-title":"Syst Control Lett"},{"key":"116_CR75","volume-title":"Analytic methods in applied probability, in memory of Fridrik Karpelevich","author":"JM Harrison","year":"2002","unstructured":"Harrison JM (2002) Stochastic processing networks and activity analysis. In: Suhov Y (ed) Analytic methods in applied probability, in memory of Fridrik Karpelevich. American Mathematical Society, Providence"},{"key":"116_CR76","unstructured":"Hayden RA (2010) Convergence of ODE approximations and bounds on performance models in steady-state. In: 9th workshop on process algebra and stochastically timed activities"},{"issue":"22\u201324","key":"116_CR77","doi-asserted-by":"crossref","first-page":"2260","DOI":"10.1016\/j.tcs.2010.02.001","volume":"411","author":"RA Hayden","year":"2010","unstructured":"Hayden RA, Bradley JT (2010) A fluid analysis framework for a Markovian process algebra. Theor Comp Sci 411(22\u201324):2260\u20132297","journal-title":"Theor Comp Sci"},{"key":"116_CR78","doi-asserted-by":"crossref","unstructured":"Heiner M, Gilbert D, Donaldson R (2008) Petri nets for systems and synthetic biology. In: Formal methods for computational systems biology, pp 215\u2013264","DOI":"10.1007\/978-3-540-68894-5_7"},{"key":"116_CR79","doi-asserted-by":"crossref","unstructured":"Hennequin S, Lefebvre D, El-Moudni A (1999) Fuzzy control of variable speed continuous Petri nets. In: Proc. of the 38th conf. on decisions and control (CDC99), Phoenix, USA, pp 1352\u20131356","DOI":"10.1109\/CDC.1999.830136"},{"issue":"1\u20132","key":"116_CR80","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H Hermanns","year":"2002","unstructured":"Hermanns H, Herzog U, Katoen J-P (2002) Process algebra for performance evaluation. Theor Comp Sci 274(1\u20132):43\u201387","journal-title":"Theor Comp Sci"},{"key":"116_CR81","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/QEST.2005.12","volume-title":"Procs. of the second int. conf. on the quantitative evaluation of systems (QEST)","author":"J Hillston","year":"2005","unstructured":"Hillston J (2005) Fluid flow approximation of PEPA models. In: Procs. of the second int. conf. on the quantitative evaluation of systems (QEST). IEEE Computer Society, Piscataway, pp 33\u201343"},{"key":"116_CR82","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1109\/PNPM.2001.953369","volume-title":"Procs. of the 9th int. workshop on Petri nets and performance models","author":"J Hillston","year":"2001","unstructured":"Hillston J, Recalde L, Ribaudo M, Silva M (2001) A comparison of the expressiveness of SPA and bounded SPN models. In: Procs. of the 9th int. workshop on Petri nets and performance models. IEEE Computer Society Press, Aachen, pp 197\u2013206"},{"issue":"11","key":"116_CR83","doi-asserted-by":"crossref","first-page":"3219","DOI":"10.1093\/ietfec\/e91-a.11.3219","volume":"91","author":"K Hiraishi","year":"2008","unstructured":"Hiraishi K (2008) Performance evaluation of workflows using continuous Petri nets with interval firing speeds. IEICE Trans Fundam Electron Commun Comput Sci 91(11):3219","journal-title":"IEICE Trans Fundam Electron Commun Comput Sci"},{"key":"116_CR84","volume-title":"Communicating sequential processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice Hall, Englewood Cliffs"},{"issue":"2","key":"116_CR85","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"LE Holloway","year":"1997","unstructured":"Holloway LE, Krogh BH, Giua A (1997) A survey of Petri nets methods for controlled discrete event systems. Discrete Event Dyn Syst 7(2):151\u2013190","journal-title":"Discrete Event Dyn Syst"},{"key":"116_CR86","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/S0377-2217(97)00028-3","volume":"105","author":"G Horton","year":"1998","unstructured":"Horton G, Kulkarni VG, Nicol DM, Trivedi KS (1998) Fluid stochastic Petri nets: theory, applications, and solution techniques. Eur J Oper Res 105:184\u2013201","journal-title":"Eur J Oper Res"},{"key":"116_CR87","volume-title":"Supervisory control of concurrent systems","author":"MV Iordache","year":"2006","unstructured":"Iordache MV, Antsaklis PJ (2006) Supervisory control of concurrent systems. Birkh\u00e4user, Boston"},{"issue":"1","key":"116_CR88","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1137\/1035003","volume":"35","author":"JA Jacquez","year":"1993","unstructured":"Jacquez JA, Simon CP (1993) Qualitative theory of compartmental systems. SIAM Rev 35(1):43\u201379","journal-title":"SIAM Rev"},{"key":"116_CR89","doi-asserted-by":"crossref","DOI":"10.1007\/b95112","volume-title":"Coloured Petri nets. Modelling and validation of concurrent systems","author":"K Jensen","year":"2009","unstructured":"Jensen K, Kristensen LM (2009) Coloured Petri nets. Modelling and validation of concurrent systems. Springer, Berlin"},{"key":"116_CR90","doi-asserted-by":"crossref","unstructured":"Jim\u00e9nez E, Recalde L, Silva M (2001) Forrester diagrams and continuous Petri nets: a comparative view. In: Proc. of the 8th IEEE int. conf. on emerging technologies and factory automation (ETFA 2001), pp 85\u201394","DOI":"10.1109\/ETFA.2001.997674"},{"key":"116_CR91","unstructured":"Jim\u00e9nez E, J\u00falvez J, Recalde L, Silva M (2004) Relaxed continuous views of discrete event systems: Petri nets, forrester diagrams and ODES. In: IEEE int. conf. on systems, man, and cybernetics (SMC). The Hague, The Netherlands"},{"key":"116_CR92","doi-asserted-by":"crossref","unstructured":"Jim\u00e9nez E, J\u00falvez J, Recalde L, Silva M (2005) On controllability of timed continuous Petri net systems: the join free case. In: Proc. of the 44th IEEE conf. on decision and control (Joint CDC-ECC), Seville, Spain, pp 7645\u20137650","DOI":"10.1109\/CDC.2005.1583396"},{"issue":"2","key":"116_CR93","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10626-007-0034-z","volume":"18","author":"X Jing","year":"2008","unstructured":"Jing X, Recalde L, Silva M (2008a) Tracking control of join-free timed continuous Petri net systems under infinite servers semantics. Discrete Event Dyn Syst 18(2):263\u2013283","journal-title":"Discrete Event Dyn Syst"},{"key":"116_CR94","doi-asserted-by":"crossref","unstructured":"Jing X, Recalde L, Silva M (2008b) Tracking control of timed continuous Petri net systems under infinite servers semantics. In: IFAC world congress, Seoul, Korea, pp 3192\u20133197","DOI":"10.3182\/20080706-5-KR-1001.00542"},{"issue":"15","key":"116_CR95","doi-asserted-by":"crossref","first-page":"1387","DOI":"10.1002\/rnc.1171","volume":"17","author":"Juloski ALj","year":"2007","unstructured":"Juloski ALj, Heemels WPMH, Weiland S (2007) Observer design for a class of piecewise linear systems. Int J Robust Nonlinear Control 17(15):1387\u20131404","journal-title":"Int J Robust Nonlinear Control"},{"issue":"4","key":"116_CR96","doi-asserted-by":"crossref","first-page":"686","DOI":"10.1109\/TSMCA.2010.2041448","volume":"40","author":"J J\u00falvez","year":"2010","unstructured":"J\u00falvez J, Boel RK (2010) A continuous Petri net approach for model predictive control of traffic systems. IEEE Trans Syst Man Cybern Part A: Syst Humans 40(4):686\u2013697","journal-title":"IEEE Trans Syst Man Cybern Part A: Syst Humans"},{"key":"116_CR97","first-page":"221","volume-title":"24th int. conf. on application and theory of Petri nets (ICATPN 2003), Lecture notes in computer science, vol 2679","author":"J J\u00falvez","year":"2003","unstructured":"J\u00falvez J, Recalde L, Silva M (2003) On reachability in autonomous continuous Petri net systems. In: van der Aalst W, Best E (eds) 24th int. conf. on application and theory of Petri nets (ICATPN 2003), Lecture notes in computer science, vol 2679. Springer, Dordrecht, pp 221\u2013240"},{"key":"116_CR98","doi-asserted-by":"crossref","unstructured":"J\u00falvez J, Bemporad A, Recalde L, Silva M (2004) Event-driven optimal control of continuous Petri nets. In: 43rd IEEE conf. on decision and control (CDC), Paradise Island, Bahamas, pp 69\u201374","DOI":"10.1109\/CDC.2004.1428608"},{"issue":"4","key":"116_CR99","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1016\/j.automatica.2004.11.007","volume":"41","author":"J J\u00falvez","year":"2005","unstructured":"J\u00falvez J, Recalde L, Silva M (2005) Steady state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica 41(4):605\u2013616","journal-title":"Automatica"},{"issue":"9","key":"116_CR100","doi-asserted-by":"crossref","first-page":"1472","DOI":"10.1109\/TAC.2006.880957","volume":"51","author":"J J\u00falvez","year":"2006","unstructured":"J\u00falvez J, Recalde L, Silva M (2006) Deadlock-freeness analysis of continuous mono-t-semiflow Petri nets. IEEE Trans Automat Contr 51(9):1472\u20131481","journal-title":"IEEE Trans Automat Contr"},{"issue":"3","key":"116_CR101","doi-asserted-by":"crossref","first-page":"532","DOI":"10.1109\/TASE.2008.917016","volume":"5","author":"J J\u00falvez","year":"2008","unstructured":"J\u00falvez J, Jimenez E, Recalde L, Silva M (2008) On observability and design of observers intimed continuous Petri net systems. IEEE Trans Autom Sci Eng 5(3):532\u2013537","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"116_CR102","doi-asserted-by":"crossref","unstructured":"Kara R, Djennoune S, Loiseau JJ (2006) State feedback control for the manufacturing systems modeled by continuous Petri nets. In: Proc. of information control problems in manufacturing (INCOM), Saint Etienne, France, vol 12, part 1","DOI":"10.1016\/B978-008044654-7\/50193-X"},{"issue":"4","key":"116_CR103","doi-asserted-by":"crossref","first-page":"738","DOI":"10.1016\/j.nahs.2009.06.011","volume":"3","author":"R Kara","year":"2009","unstructured":"Kara R, Ahmane M, Loiseau JJ, Djennoune S (2009) Constrained regulation of continuous Petri nets. Nonlinear Anal: Hybrid Syst 3(4):738\u2013748","journal-title":"Nonlinear Anal: Hybrid Syst"},{"key":"116_CR104","volume-title":"Stochastic networks: theory and applications. Royal Statistical Society LNS, 4","year":"1996","unstructured":"Kelly FP, Zachary S, Ziedins I (eds) (1996) Stochastic networks: theory and applications. Royal Statistical Society LNS, 4. Oxford University Press, Oxford (repr. 2002)"},{"key":"116_CR105","volume-title":"Queueing systems. vol I","author":"L Kleinrock","year":"1975","unstructured":"Kleinrock L (1975) Queueing systems. vol I. Wiley, New York"},{"key":"116_CR106","volume-title":"Queuing systems, vol II: computer applications","author":"L Kleinrock","year":"1976","unstructured":"Kleinrock L (1976) Queuing systems, vol II: computer applications. Wiley, New York"},{"issue":"1","key":"116_CR107","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/TAC.2007.914952","volume":"53","author":"M Kloetzer","year":"2008","unstructured":"Kloetzer M, Belta C (2008) A fully automated framework for control of linear systems from temporal logic specifications. IEEE Trans Automat Contr 53(1):287\u2013297","journal-title":"IEEE Trans Automat Contr"},{"issue":"3","key":"116_CR108","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1109\/TII.2010.2050001","volume":"6","author":"M Kloetzer","year":"2010","unstructured":"Kloetzer M, Mahulea C, Belta C, Silva M (2010) An automated framework for formal verification of timed continuous Petri nets. IEEE Trans Ind Inf 6(3):460\u2013471","journal-title":"IEEE Trans Ind Inf"},{"issue":"5","key":"116_CR109","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1109\/70.964657","volume":"17","author":"S Kumar","year":"2001","unstructured":"Kumar S, Kumar PR (2001) Queueing network models in the design and analysis of semiconductor wafer fabs. IEEE Trans Robot Autom 17(5):548\u2013561","journal-title":"IEEE Trans Robot Autom"},{"issue":"1","key":"116_CR110","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/3212147","volume":"7","author":"TG Kurtz","year":"1970","unstructured":"Kurtz TG (1970) Solutions of ordinary differential equations as limits of pure jump Markov processes. J Appl Probab 7(1):49\u201358","journal-title":"J Appl Probab"},{"issue":"6","key":"116_CR111","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1080\/002077299292100","volume":"30","author":"D Lefebvre","year":"1999","unstructured":"Lefebvre D (1999) Feedback control designs for manufacturing systems modelled by continuous Petri nets. Int J Syst Sci 30(6):591\u2013600","journal-title":"Int J Syst Sci"},{"issue":"11","key":"116_CR112","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1080\/00207720110051987","volume":"32","author":"D Lefebvre","year":"2001","unstructured":"Lefebvre D (2001) Estimation of the firing frequencies in discrete and continuous Petri nets models. Int J Syst Sci 32(11):1321\u20131332","journal-title":"Int J Syst Sci"},{"key":"116_CR113","unstructured":"Lefebvre D, Catherine D, Leclerq E, Druaux F (2007) Some contributions with Petri nets for the modelling, analysis and control of HDS. In: Nonlinear Analysis: Hybrid Systems, vol 1(4), pp 451\u2013465"},{"key":"116_CR114","doi-asserted-by":"crossref","unstructured":"Lefebvre D, Leclerq E, Khalij L, De Cursi E, El Akchioui N (2009) Approximation of MTS stochastic Petri nets steady state by means of continuous Petri nets: a numerical approach. In: Proc. of the 3rd IFAC conf. on analysis and design of hybrid systems, Zaragoza, Spain, pp 62\u201367","DOI":"10.3182\/20090916-3-ES-3003.00012"},{"key":"116_CR115","doi-asserted-by":"crossref","unstructured":"Lefebvre D, Leclerq E, El Akchioui N, Khalij L, De Cursi E (2010) A geometric approach for the homothetic approximation of stochastic Petri nets. In: Proc. of the 10th IFAC workshop on discrete event systems, Berlin, Germany, pp 245\u2013250","DOI":"10.3182\/20100830-3-DE-4013.00040"},{"issue":"4","key":"116_CR116","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1023\/A:1019707508130","volume":"12","author":"Y Liu","year":"2002","unstructured":"Liu Y, Gong W (2002) Perturbation analysis for stochastic fluid queueing systems. Discrete Event Dyn Syst 12(4):391\u2013416","journal-title":"Discrete Event Dyn Syst"},{"key":"116_CR117","unstructured":"Liu B, Guo Y, Kurose J, Towsley D, Gong W (1999) Fluid simulation of large scale networks: issues and tradeoffs. In: Procs. of the int. conf. on parallel and distributed processing techniques and applications, pp 2136\u20132142"},{"issue":"6","key":"116_CR118","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1109\/TAC.1971.1099826","volume":"16","author":"DG Luenberger","year":"1971","unstructured":"Luenberger DG (1971) An introduction to observers. IEEE Trans Autom Contr 16(6):596\u2013602","journal-title":"IEEE Trans Autom Contr"},{"key":"116_CR119","volume-title":"Introduction to dynamic systems. Theory, models, and applications","author":"DG Luenberger","year":"1979","unstructured":"Luenberger DG (1979) Introduction to dynamic systems. Theory, models, and applications. Wiley, New York"},{"key":"116_CR120","doi-asserted-by":"crossref","unstructured":"Mahulea C, Cabasino MP, Giua A, Seatzu C (2008a) A state estimation problem for timed continuous Petri nets. In: 2007 46th IEEE conf. on decision and control. IEEE, Piscataway, pp 1770\u20131775","DOI":"10.1109\/CDC.2007.4435036"},{"issue":"7","key":"116_CR121","doi-asserted-by":"crossref","first-page":"1731","DOI":"10.1109\/TAC.2008.929386","volume":"53","author":"C Mahulea","year":"2008","unstructured":"Mahulea C, Giua A, Recalde L, Seatzu C, Silva M (2008b) Optimal model predictive control of timed continuous Petri nets. IEEE Trans Automat Contr 53(7):1731\u20131735","journal-title":"IEEE Trans Automat Contr"},{"issue":"2","key":"116_CR122","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1109\/TASE.2007.893504","volume":"5","author":"C Mahulea","year":"2008","unstructured":"Mahulea C, Ramirez A, Recalde L, Silva M (2008c) Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Trans Autom Sci Eng 5(2):307\u2013320","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"2","key":"116_CR123","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/s10626-008-0049-0","volume":"19","author":"C Mahulea","year":"2009","unstructured":"Mahulea C, Recalde L, Silva M (2009a) Basic server semantics and performance monotonicity of continuous Petri nets. Discrete Event Dyn Syst 19(2):189\u2013212","journal-title":"Discrete Event Dyn Syst"},{"key":"116_CR124","doi-asserted-by":"crossref","unstructured":"Mahulea C, Seatzu C, Cabasino MP, Recalde L, Silva M (2009b) Observer design for untimed continuous Petri nets. In: American control conf., St. Louis, Missouri, USA, pp 4765\u20134770","DOI":"10.1109\/ACC.2009.5159893"},{"issue":"2","key":"116_CR125","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/j.nahs.2009.06.014","volume":"4","author":"C Mahulea","year":"2010","unstructured":"Mahulea C, Recalde L, Silva M (2010) Observability of continuous Petri nets with infinite server semantics. Nonlinear Anal: Hybrid Syst 4(2):219\u2013232","journal-title":"Nonlinear Anal: Hybrid Syst"},{"issue":"9","key":"116_CR126","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P Merlin","year":"1976","unstructured":"Merlin P, Faber DJ (1976) Recoverability of communication protocols. IEEE Trans commun 24(9):1036\u20131043","journal-title":"IEEE Trans commun"},{"key":"116_CR127","volume-title":"Lecture notes in computer science, vol 92","author":"R Milner","year":"1980","unstructured":"Milner R (1980) A calculus of communicating systems. In: Lecture notes in computer science, vol 92. Springer, Berlin"},{"key":"116_CR128","doi-asserted-by":"crossref","unstructured":"Misra V, Gong W, Towsley DF (2000) Fluid-based analysis of a network of AQM routers supporting TCP flows with an application to RED. In: Proc. SIGCOMM, pp 151\u2013160","DOI":"10.1145\/347059.347421"},{"key":"116_CR129","doi-asserted-by":"crossref","first-page":"646","DOI":"10.2307\/1427040","volume":"20","author":"D Mitra","year":"1988","unstructured":"Mitra D (1988) Stochastic theory of a fluid model of producers and consumers coupled by a buffer. Adv Appl Probab 20:646\u2013676","journal-title":"Adv Appl Probab"},{"issue":"9","key":"116_CR130","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"MK Molloy","year":"1982","unstructured":"Molloy MK (1982) Performance analysis using stochastic Petri nets. IEEE Trans Comput 31(9):913\u2013917","journal-title":"IEEE Trans Comput"},{"issue":"2","key":"116_CR131","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1109\/TAC.1982.1102915","volume":"27","author":"FH Moss","year":"1982","unstructured":"Moss FH, Segall A (1982) An optimal control approach to dynamic routing in networks. IEEE Trans Automat Contr 27(2):329\u2013339","journal-title":"IEEE Trans Automat Contr"},{"issue":"4","key":"116_CR132","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. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"key":"116_CR133","volume-title":"Applications of queuing theory","author":"GF Newell","year":"1971","unstructured":"Newell GF (1971) Applications of queuing theory. Chapman and Hall, London (2nd edn, 1982)","edition":"2"},{"key":"116_CR134","doi-asserted-by":"crossref","first-page":"2102","DOI":"10.1073\/pnas.68.9.2102","volume":"68","author":"G Nicolis","year":"1971","unstructured":"Nicolis G, Prigogine I (1971) Fluctuations in nonequilibrium systems. Proc Natl Acad Sci USA 68:2102\u20132107","journal-title":"Proc Natl Acad Sci USA"},{"key":"116_CR135","volume-title":"Modern control engineering","author":"K Ogata","year":"2001","unstructured":"Ogata K (2001) Modern control engineering, 4th edn. Prentice Hall, Englewood Cliffs","edition":"4"},{"key":"116_CR136","volume-title":"Petri net theory and the modeling of systems","author":"JL Peterson","year":"1981","unstructured":"Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs"},{"key":"116_CR137","doi-asserted-by":"crossref","unstructured":"Petri CA (1962) Communication with automata. Supplement 1 to Technical Report RADC-TR-65-377, vol 1, Griffiss Air Force Base, New York 1966. [Originally published in German: Kommunikation mit Automaten, University of Bonn]","DOI":"10.21236\/AD0630125"},{"issue":"4","key":"116_CR138","first-page":"435","volume":"35","author":"L Recalde","year":"2001","unstructured":"Recalde L, Silva M (2001) Petri nets fluidification revisited: semantics and steady state. APII-JESA 35(4):435\u2013449","journal-title":"APII-JESA"},{"issue":"1","key":"116_CR139","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1142\/S0218126698000092","volume":"8","author":"L Recalde","year":"1998","unstructured":"Recalde L, Teruel E, Silva M (1998) On linear algebraic techniques for liveness analysis of P\/T systems. J Circuits Syst Comput 8(1):223\u2013265","journal-title":"J Circuits Syst Comput"},{"key":"116_CR140","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/3-540-48745-X_8","volume-title":"Application and theory of Petri nets 1999, Lecture notes in computer science, vol 1639","author":"L Recalde","year":"1999","unstructured":"Recalde L, Teruel E, Silva M (1999) Autonomous continuous P\/T systems. In: Kleijn J, Donatelli S (eds) Application and theory of Petri nets 1999, Lecture notes in computer science, vol 1639. Springer, Berlin, pp 107\u2013126"},{"issue":"2","key":"116_CR141","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1142\/S0129054110007222","volume":"21","author":"L Recalde","year":"2010","unstructured":"Recalde L, Haddad S, Silva M (2010) Continuous Petri nets: expressive power and decidability issues. Int J Found Comput Sci 21(2):235\u2013256","journal-title":"Int J Found Comput Sci"},{"key":"116_CR142","doi-asserted-by":"crossref","unstructured":"Sauer C, MacNair E, Kurose J (1982) The research queueing package: past, present and future. In: Proc. of the national computer conf., Houston, USA, pp 273\u2013280","DOI":"10.1145\/1500774.1500807"},{"key":"116_CR143","first-page":"1598","volume-title":"Control applications (CCA) & intelligent control (ISIC), 2009","author":"C Seatzu","year":"2009","unstructured":"Seatzu C, Mahulea C, Cabasino MP, Silva M (2009a) Fault diagnoser design for untimed continuous Petri nets. In: Control applications (CCA) & intelligent control (ISIC), 2009. IEEE, Piscataway, pp 1598\u20131604"},{"key":"116_CR144","doi-asserted-by":"crossref","unstructured":"Seatzu C, Cabasino MP, Mahulea C, Silva M (2010b) New results for fault detection of untimed continuous Petri nets. In: Procs. of the 48th IEEE conf. on decision and control, 2009 held jointly with the 2009 28th Chinese control conf. CDC\/CCC 2009, pp 6952\u20136957","DOI":"10.1109\/CDC.2009.5400035"},{"key":"116_CR145","doi-asserted-by":"crossref","unstructured":"Silva M (1985) Las redes de Petri: en la autom\u00e1tica y la inform\u00e1tica. AC, Madrid (2nd edn AC\/Thomson 2002)","DOI":"10.26754\/uz.84-7288-045-1"},{"key":"116_CR146","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/978-3-642-72822-8_28","volume-title":"Concurrency and nets","author":"M Silva","year":"1987","unstructured":"Silva M (1987) Towards a synchrony theory for P\/T nets. In: Voss K et al (eds) Concurrency and nets. Springer, Berlin, pp 435\u2013460"},{"key":"116_CR147","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-011-6955-4_1","volume-title":"Practice of Petri nets in manufacturing","author":"M Silva","year":"1993","unstructured":"Silva M (1993) Introducing Petri nets. In: Practice of Petri nets in manufacturing. Chapman & Hall, London, pp 1\u201362"},{"key":"116_CR148","unstructured":"Silva M, Colom JM (1987) On the structural computation of synchronic invariants in P\/T nets. In: Proc. of the 8th European workshop on application and theory of Petri nets, Zaragoza, Spain, pp 237\u2013258"},{"key":"116_CR149","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1007\/3-540-50580-6_39","volume-title":"Lecture Notes in Computer Science. vol 340, Advances in Petri nets 1988","author":"M Silva","year":"1988","unstructured":"Silva M, Colom J (1988) On the computation of structural synchronic invariants in P\/T nets. In: Lecture Notes in Computer Science. vol 340, Advances in Petri nets 1988, Springer, Berlin, pp 386\u2013417"},{"issue":"4","key":"116_CR150","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/TSMCC.2002.806063","volume":"32","author":"M Silva","year":"2002","unstructured":"Silva M, Recalde L (2002) Petri nets and integrality relaxations: a view of continuous Petri net models. IEEE Trans Syst Man Cybern 32(4):314\u2013327","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"116_CR151","first-page":"55","volume-title":"Positive systems. Procs. of the first multidisciplinary int. symp. on positive systems: theory and applications (POSTA 2003), Rome, Italy, LNCIS, vol 294","author":"M Silva","year":"2003","unstructured":"Silva M, Recalde L (2003) Unforced continuous Petri nets and positive systems. In: Benvenuti L, De Santis A, Farina L (eds) Positive systems. Procs. of the first multidisciplinary int. symp. on positive systems: theory and applications (POSTA 2003), Rome, Italy, LNCIS, vol 294. Springer, Berlin, pp 55\u201362"},{"key":"116_CR152","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/j.arcontrol.2004.05.002","volume":"28","author":"M Silva","year":"2004","unstructured":"Silva M, Recalde L (2004) On fluidification of Petri net models: from discrete to hybrid and continuous models. Annu Rev Control 28:253\u2013266","journal-title":"Annu Rev Control"},{"key":"116_CR153","unstructured":"Silva M, Teruel E (1996) A systems theory perspective of discrete event dynamic systems: the Petri net paradigm. In: Borne P, Gentina JC, Craye E, El Khattabi S (eds) Symp. on discrete events and manufacturing systems. CESA \u201996 IMACS multiconference, Lille, France, pp 1\u201312"},{"key":"116_CR154","unstructured":"Silva M, Teruel E (1998) DEDS along their life cycle. Interpreted extensions of Petri nets. In: IEEE int. conf. on systems, man and cybernetics, La Jolla, San Diego, CA, USA ( http:\/\/webdiis.unizar.es\/GISED\/sites\/default\/files\/2.Syst-Theor_San_Diego98.pdf )"},{"key":"116_CR155","first-page":"309","volume-title":"Lectures in Petri nets. I: Basic models, Lecture notes in computer science, vol 1491","author":"M Silva","year":"1998","unstructured":"Silva M, Teruel E, Colom JM (1998) Linear algebraic and linear programming techniques for the analysis of net systems. In: Rozenberg G, Reisig E (eds) Lectures in Petri nets. I: Basic models, Lecture notes in computer science, vol 1491. Springer, Berlin, pp 309\u2013373"},{"issue":"3","key":"116_CR156","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1023\/B:DISC.0000028198.41139.20","volume":"14","author":"G Sun","year":"2004","unstructured":"Sun G, Cassandras CG, Panayiotou CG (2004) Perturbation analysis of multiclass stochastic fluid models. Discrete Event Dyn Syst 14(3):267\u2013307","journal-title":"Discrete Event Dyn Syst"},{"issue":"3","key":"116_CR157","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/37.588098","volume":"17","author":"HJ Sussmann","year":"1997","unstructured":"Sussmann HJ, Willems JC (1997) 300 years of optimal control: from the brachystochrone to the maximum principle. IEEE Control Syst Mag 17(3):32\u201344","journal-title":"IEEE Control Syst Mag"},{"issue":"1\u20132","key":"116_CR158","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0304-3975(95)00124-7","volume":"153","author":"E Teruel","year":"1996","unstructured":"Teruel E, Silva M (1996) Structure theory of equal conflict systems. Theor Comp Sci 153(1\u20132):271\u2013300","journal-title":"Theor Comp Sci"},{"key":"116_CR159","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-56863-8_38","volume-title":"Application and theory of Petri nets 1993, Lecture notes in computer science, vol 691","author":"K Trivedi","year":"1993","unstructured":"Trivedi K, Kulkarni VG (1993) FSPNs: fluid stochastic Petri nets. In: Ajmone Marsan M (ed) Application and theory of Petri nets 1993, Lecture notes in computer science, vol 691. Springer, Berlin, pp 24\u201331"},{"key":"116_CR160","volume-title":"Petri nets for systems engineering. A guide to modeling, verification, and applications","year":"2003","unstructured":"Valk R, Girault C (eds) (2003) Petri nets for systems engineering. A guide to modeling, verification, and applications. Springer, Berlin"},{"key":"116_CR161","doi-asserted-by":"crossref","unstructured":"V\u00e1zquez CR, Silva M (2009a) Performance control of Markovian Petri nets via fluid models: a stock-level control example. In: 5th IEEE conf. on automation science and engineering (IEEE CASE), Bangalore, India, pp 30\u201336","DOI":"10.1109\/COASE.2009.5234183"},{"key":"116_CR162","doi-asserted-by":"crossref","unstructured":"V\u00e1zquez CR, Silva M (2009b) Piecewise-linear constrained control for timed continuous Petri nets. In: Proc. of the 48th IEEE conf. on decision and control (CDC), Shanghai, China, pp 5714\u20135720","DOI":"10.1109\/CDC.2009.5400772"},{"key":"116_CR163","doi-asserted-by":"crossref","unstructured":"V\u00e1zquez CR, Silva M (2010) Timing-dependent boundedness and liveness in continuous Petri nets. In: 10th int. workshop on discrete event systems (WODES), Berlin, Germany, pp 10\u201317","DOI":"10.3182\/20100830-3-DE-4013.00004"},{"key":"116_CR164","doi-asserted-by":"crossref","unstructured":"V\u00e1zquez CR, Ram\u00edrez A, Recalde L, Silva M (2008a) On controllability of timed continuous Petri nets. In: Egerstedt M, Mishra B (eds) Proc. of the 11th int. workshop hybrid systems: computational and control (HSCC08), LNCS, vol 4981, pp 528\u2013541","DOI":"10.1007\/978-3-540-78929-1_38"},{"key":"116_CR165","doi-asserted-by":"crossref","unstructured":"V\u00e1zquez CR, Recalde L, Silva M (2008b) Stochastic\u2013continuous state approximation of Markovian Petri net systems. In: Proc. of the 47th ieee conf. on decision and control (CDC), Canc\u00fan, M\u00e9xico, pp 901\u2013906","DOI":"10.1109\/CDC.2008.4739075"},{"key":"116_CR166","doi-asserted-by":"crossref","unstructured":"V\u00e1zquez CR, Sutarto HY, Boel R, Silva M (2010a) Hybrid Petri net model of a traffic intersection in an urban network. In: IEEE multiconf. on systems and control, Yokohama, Japan, pp 658\u2013664","DOI":"10.1109\/CCA.2010.5611322"},{"key":"116_CR167","unstructured":"V\u00e1zquez CR, van Schuppen JH, Silva M (2010b) A modular-coordinated control for continuous Petri nets. Technical report, Universidad de Zaragoza"},{"key":"116_CR168","unstructured":"Vernon M, Zahorjan J, Lazowska ED (1987) A comparison of performance Petri nets and queueing network models. In: 3rd int. workshop on modelling techniques and performance evaluation. Paris, France"},{"key":"116_CR169","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1590-5","volume-title":"Compartmental modeling with networks","author":"G Walter","year":"1999","unstructured":"Walter G, Contreras M (1999) Compartmental modeling with networks. Birkhauser, Boston"},{"key":"116_CR170","doi-asserted-by":"crossref","unstructured":"Wang L, Mahulea C, J\u00falvez J, Silva M (2010) Minimum-time control for structurally persistent continuous Petri nets. In: Conf. on decision and control CDC, Atlanta, USA, pp 2771\u20132776","DOI":"10.1109\/CDC.2010.5717999"},{"key":"116_CR171","volume-title":"Series in operations research and financial engineering","author":"W Whitt","year":"2002","unstructured":"Whitt W (2002) Stochastic process limits. An introduction to stochastic-process limits and their application to queues. In: Series in operations research and financial engineering. Springer, New York"},{"issue":"3","key":"116_CR172","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1109\/TRA.2002.1019465","volume":"18","author":"X Xie","year":"2002","unstructured":"Xie X (2002) Fluid-stochastic-event graphs for evaluation and optimization of discrete-event systems with failures. IEEE Trans Robot Autom 18(3):360\u2013367","journal-title":"IEEE Trans Robot Autom"},{"key":"116_CR173","doi-asserted-by":"crossref","first-page":"540","DOI":"10.1007\/3-540-36580-X_39","volume-title":"Hybrid systems: computation and control","author":"X Xu","year":"2003","unstructured":"Xu X, Antsaklis PJ (2003) Results and perspectives on computational methods for optimal control of switched systems. In: Hybrid systems: computation and control. Springer, New York, pp 540\u2013555"},{"key":"116_CR174","doi-asserted-by":"crossref","unstructured":"Yao C, Cassandras CG (2009) Perturbation analysis and optimization of multiclass multiobjective stochastic flow models. In IEEE int. conf. on decision and control, CDC, Shanghai, China, pp 914\u2013919","DOI":"10.1109\/CDC.2009.5400732"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0116-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-011-0116-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0116-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T17:00:39Z","timestamp":1741712439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-011-0116-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,20]]},"references-count":174,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["116"],"URL":"https:\/\/doi.org\/10.1007\/s10626-011-0116-9","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,20]]}}}