×

On fluidization of discrete event models: Observation and control of continuous Petri nets. (English) Zbl 1235.93154

Summary: As a preliminary overview, this work provides first a broad tutorial on the fluidization of discrete event dynamic models, an efficient technique for dealing with the classical state explosion problem. Even if named as continuous or fluid, the relaxed models obtained are frequently hybrid in a technical sense. Thus, there is plenty of room for using discrete, hybrid and continuous model techniques for logical verification, performance evaluation and control studies. Moreover, the possibilities for transferring concepts and techniques from one modeling paradigm to others are very significant, so there is much space for synergy. As a central modeling paradigm for parallel and synchronized discrete event systems, Petri nets (PNs) are then considered in much more detail. In this sense, this paper is somewhat complementary to R. David and H. Alla [Discrete, continuous, and hybrid Petri nets. Berlin: Springer (revised 2nd edition), 2010]. Our presentation of fluid views or approximations of PNs has sometimes a flavor of a survey, but also introduces some new ideas or techniques. Among the aspects that distinguish the adopted approach are: the focus on the relationships between discrete and continuous PN models, both for untimed, i.e., fully non-deterministic abstractions, and timed versions; the use of structure theory of (discrete) PNs, algebraic and graph based concepts and results; and the bridge to Automatic Control Theory. After discussing observability and controllability issues, the most technical part in this work, the paper concludes with some remarks and possible directions for future research.

MSC:

93C65 Discrete event control/observation systems
93B05 Controllability
93-02 Research exposition (monographs, survey articles) pertaining to systems and control theory

Software:

DYNAMO; Bio-PEPA; UMDES
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] 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–846 · Zbl 05114088 · doi:10.1109/32.29483
[2] Alla H, David R (1998) Continuous and hybrid Petri nets. J Circuits Syst Comput 8(1):159–188 · doi:10.1142/S0218126698000079
[3] Altman E, Jiménez T, Koole G (2001) On the comparison of queueing systems with their fluid limits. Probab Eng Inf Sci 15:165–178 · Zbl 0985.60085 · doi:10.1017/S0269964801152022
[4] 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–34 · Zbl 0874.68206 · doi:10.1016/0304-3975(94)00202-T
[5] 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–71
[6] 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–137 · doi:10.1080/00207729808929505
[7] Apaydin-Ozkan H, Júlvez 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–49 · Zbl 1225.93076
[8] Apaydin-Ozkan H, Júlvez 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–2600 · Zbl 1317.93173
[9] 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–37 · Zbl 0894.60095
[10] 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
[11] 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–399 · doi:10.1109/70.864231
[12] 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–89 · Zbl 1050.93040
[13] Bemporad A, Morari M (1999) Control of systems integrating logic, dynamics, and constraints. Automatica 35(3):407–427 · Zbl 1049.93514 · doi:10.1016/S0005-1098(98)00178-2
[14] Bemporad A, Ferrari-Trecate G, Morari M (2002a) Observability and controllability of piecewise affine and hybrid systems. IEEE Trans Automat Contr 45(10):1864–1876 · Zbl 0990.93010 · doi:10.1109/TAC.2000.880987
[15] Bemporad A, Morari M, Dua V, Pistikopoulos EN (2002b) The explicit linear quadratic regulator for constrained systems. Automatica 38(1):3–20 · Zbl 0999.93018 · doi:10.1016/S0005-1098(01)00174-1
[16] Benevenuti L, Farina L (2002) Positive and compartmental systems. IEEE Trans Automat Contr 47(2):370–373 · Zbl 1364.93133 · doi:10.1109/9.983382
[17] Bergstra JA, Klop JW (1982) Fixed point semantics in process algebra. Technical report IW 206/82 208, Mathematical Centre, Amsterdam
[18] Bertsimas D, Gamarnik D, Tsitsiklis JN (1996) Stability conditions for multiclass fluid queueing networks. IEEE Trans Automat Contr 41(11):1618–1631 · Zbl 0870.90061 · doi:10.1109/9.543999
[19] Bolch G, Greiner S, de Meer H, Trivedi K (1998) Queueing networks and Markov chains. Wiley, New York · Zbl 0917.60008
[20] Brammer R (1972) Controllability in linear autonomous systems with positive controllers. SIAM J Control 10(2):329–353 · Zbl 0242.93007 · doi:10.1137/0310026
[21] Brams GW (1983) Réseaux de Petri: Théorie et Pratique. Masson, Paris
[22] Bramson M (2008) Stability of queueing networks. In: Lecture notes in mathematics, vol 1950. Springer, New York (also published in: Probability Surveys 5:169–345, 2008)
[23] Cabasino MP, Giua A, Seatzu C (2010) Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica 46(9):1531–1539 · Zbl 1201.93074 · doi:10.1016/j.automatica.2010.06.013
[24] 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–391
[25] 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–294
[26] Cardelli L (2008) On process rate semantics. Theor Comp Sci 391(3):190–215 · Zbl 1133.68054 · doi:10.1016/j.tcs.2007.11.012
[27] Cardoso J, Camargo H (eds) (1999) Fuzziness in Petri nets. In: Studies in fuzziness and soft computing, vol 22. Springer, New York. · Zbl 0910.00027
[28] Cassandras CG (2007) Stochastic flow systems: modeling and sensitivity analysis. In: Cassandras CG, Lygeros J (eds) Stochastic hybrid systems, chapter 6, pp 139–167
[29] Cassandras CG, Lafortune S (2008) Introduction to discrete event systems. Springer, New York · Zbl 1165.93001
[30] Cassandras CG, Pepyne DL, Wardi Y (2001) Optimal control of a class of hybrid systems. IEEE Trans Automat Contr 46(3):398–415 · Zbl 0992.93052 · doi:10.1109/9.911417
[31] 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’98, Reims, France, pp 131–137
[32] 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–136 · Zbl 0976.90032 · doi:10.1023/A:1008391200673
[33] Chen C (1984) Linear system theory and design. Oxford University Press, New York
[34] Chen H, Mandelbaum A (1991) Discrete flow networks: bottleneck analysis and fluid approximations. Math Oper Res 16:408–446 · Zbl 0735.60095 · doi:10.1287/moor.16.2.408
[35] Chen H, Yao DD (2001) Fundamentals of queueing networks. Performance, asymptotics and optimization. Stochastic modelling and applied probability, vol 46. Springer, New York · Zbl 0992.60003
[36] 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–174 · Zbl 0845.68077
[37] Ciocchetta F, Hillston J (2009) Bio-pepa: a framework for the modelling and analysis of biological systems. Theor Comp Sci 410(33–34):3065–3084 · Zbl 1173.68041 · doi:10.1016/j.tcs.2009.02.037
[38] Clarke EM, Emerson EA, Sifakis J (2009) Model checking: algorithmic verification and debugging. Commun ACM 52(11):74–84 · Zbl 05748004 · doi:10.1145/1592761.1592781
[39] Cohen G, Gaubert S, Quadrat JP (1998) Algebraic system analysis of timed Petri nets. In: Gunawardena J (ed) Idempotency, Cambridge University Press, pp 145–170 · Zbl 0897.68069
[40] 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–145
[41] 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–7197
[42] Connors D, Feigin G, Yao D (1994) Scheduling semiconductor lines using a fluid network model. IEEE Trans Robot Autom 10(2):88–98 · doi:10.1109/70.282534
[43] Dai JG (1995) On positive Harris recurrence of multiclass queuing networks: a unified approach via fluid limit models. Ann Appl Probab 5(1):49–77 · Zbl 0822.60083 · doi:10.1214/aoap/1177004828
[44] 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–518 · doi:10.1109/70.611303
[45] 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–294
[46] 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–386
[47] David R, Alla H (2010) Discrete, continuous and hybrid Petri nets. Springer, Berlin (revised 2nd edn, 2010)
[48] Dennis JB (ed) (1970) Record of the project MAC. In: Conf. on concurrent systems and parallel computation. ACM conf. records, 2–5 June 1970. MIT
[49] De Schutter B, van den Boom T (2001) Model predictive control for max-plus-linear discrete event systems. Automatica 37(7):1049–1056 · Zbl 0991.93042 · doi:10.1016/S0005-1098(01)00054-1
[50] Demongodin I (2001) Generalised batches Petri net: hybrid model for high speed systems with variable delays. Discrete Event Dyn Syst 11(1–2):137–162 · Zbl 0969.93023 · doi:10.1023/A:1008343317511
[51] 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’10, pp 4–9 · Zbl 1305.93139
[52] Demongodin I, Koussoulas NT (1998) Differential Petri nets: representing continuous systems in a discrete-event world. IEEE Trans Automat Contr 43(4):573–579 · Zbl 0959.93038 · doi:10.1109/9.665073
[53] Di Cairano S, Bemporad A, Júlvez J (2009) Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics. Automatica 45(5):1243–1251 · Zbl 1162.93022 · doi:10.1016/j.automatica.2008.12.011
[54] Di Febbraro A, Giua A, Menga G (eds) (2001) Special issue on hybrid Petri nets. Discrete Event Dyn Syst 11(1–2) · Zbl 0967.00049
[55] Ding J (2010) Structural and fluid analysis for large scale PEPA models. With applications to content adaptation systems. PhD thesis, University of Edinburgh
[56] Ding J, Hillston J (2010) Fundamental results on fluid approximations of stochastic process algebra models. Perform Eval (submitted)
[57] Dion JM, Commault C, van der Woude J (2003) Generic properties and control of linear structured systems: a survey. Automatica 39(7):1125–1144 · Zbl 1023.93002 · doi:10.1016/S0005-1098(03)00104-3
[58] 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’95), pp 158–168
[59] Down D, Meyn SP (1997) Piecewise linear test functions for stability and instability of queueing networks. Queueing Syst 27:205–226 · Zbl 0905.90075 · doi:10.1023/A:1019166115653
[60] Dub M, Pipan G, Hanzálek 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–10
[61] 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–147
[62] Farina L, Rinaldi S (2000) Positive linear systems. Theory and applications. In: Pure and applied mathematics. Wiley, New York · Zbl 0988.93002
[63] Fleming WH (1988) Future directions in control theory: a mathematical perspective. Report of the Panel on Future Directions in Control Theory, SIAM
[64] Forrester JW (1961) Industrial dynamics. MIT Press, Cambridge
[65] Forrester JW (1968) Principles of systems. Productivity Press, Cambridge
[66] Foss S, Konstantopoulos T (2004) An overview of some stochastic stability methods. J Oper Res Soc Jpn 47(4):275–303 · Zbl 1134.93412
[67] Galpin V (2010) Continuous approximation of PEPA models and Petri nets. Int J Comput Aided Eng Technol 2(4):324–339 · doi:10.1504/IJCAET.2010.035389
[68] Gaujal B, Giua A (2004) Optimal stationary behavior for a class of timed continuous Petri nets. Automatica 40(9):1505–1516 · Zbl 1055.93055 · doi:10.1016/j.automatica.2004.04.018
[69] Genc S, Lafortune S (2007) Distributed diagnosis of place-bordered Petri nets. IEEE Trans Autom Sci Eng 4(2):206–219 · doi:10.1109/TASE.2006.879916
[70] Gianni D, D’Ambrogio A (2007) A language to enable distributed simulation of extended queueing networks. J Comput 2(4):76–86
[71] 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–270
[72] 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–62
[73] Habets L, van Schuppen JH (2004) A control problem for affine dynamical systems on a full-dimensional polytope. Automatica 40(1):21–35 · Zbl 1035.93008 · doi:10.1016/j.automatica.2003.08.001
[74] Haddad WM, Chellaboina V (2004) Stability theory for nonnegative and compartmental dynamical systems with time delay. Syst Control Lett 51:355–361 · Zbl 1157.34352 · doi:10.1016/j.sysconle.2003.09.006
[75] 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
[76] 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
[77] Hayden RA, Bradley JT (2010) A fluid analysis framework for a Markovian process algebra. Theor Comp Sci 411(22–24):2260–2297 · Zbl 1334.68151 · doi:10.1016/j.tcs.2010.02.001
[78] Heiner M, Gilbert D, Donaldson R (2008) Petri nets for systems and synthetic biology. In: Formal methods for computational systems biology, pp 215–264
[79] 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–1356
[80] Hermanns H, Herzog U, Katoen J-P (2002) Process algebra for performance evaluation. Theor Comp Sci 274(1–2):43–87 · Zbl 0992.68149 · doi:10.1016/S0304-3975(00)00305-4
[81] 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–43
[82] 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–206
[83] 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 · Zbl 1143.68485 · doi:10.1093/ietfec/e91-a.11.3219
[84] Hoare CAR (1985) Communicating sequential processes. Prentice Hall, Englewood Cliffs · Zbl 0637.68007
[85] 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–190 · Zbl 0968.93053 · doi:10.1023/A:1008271916548
[86] Horton G, Kulkarni VG, Nicol DM, Trivedi KS (1998) Fluid stochastic Petri nets: theory, applications, and solution techniques. Eur J Oper Res 105:184–201 · Zbl 0957.90011 · doi:10.1016/S0377-2217(97)00028-3
[87] Iordache MV, Antsaklis PJ (2006) Supervisory control of concurrent systems. Birkhäuser, Boston
[88] Jacquez JA, Simon CP (1993) Qualitative theory of compartmental systems. SIAM Rev 35(1):43–79 · Zbl 0776.92001 · doi:10.1137/1035003
[89] Jensen K, Kristensen LM (2009) Coloured Petri nets. Modelling and validation of concurrent systems. Springer, Berlin · Zbl 1215.68153
[90] Jiménez 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–94
[91] Jiménez E, Júlvez 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
[92] Jiménez E, Júlvez 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–7650
[93] 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–283 · Zbl 1395.93408 · doi:10.1007/s10626-007-0034-z
[94] 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–3197 · Zbl 1395.93408
[95] Juloski ALj, Heemels WPMH, Weiland S (2007) Observer design for a class of piecewise linear systems. Int J Robust Nonlinear Control 17(15):1387–1404 · Zbl 1127.93312 · doi:10.1002/rnc.1171
[96] Júlvez 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–697 · doi:10.1109/TSMCA.2010.2041448
[97] Júlvez 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–240
[98] Júlvez 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–74
[99] Júlvez J, Recalde L, Silva M (2005) Steady state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica 41(4):605–616 · Zbl 1061.93066 · doi:10.1016/j.automatica.2004.11.007
[100] Júlvez J, Recalde L, Silva M (2006) Deadlock-freeness analysis of continuous mono-t-semiflow Petri nets. IEEE Trans Automat Contr 51(9):1472–1481 · Zbl 1366.93350 · doi:10.1109/TAC.2006.880957
[101] Júlvez 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–537 · doi:10.1109/TASE.2008.917016
[102] 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
[103] Kara R, Ahmane M, Loiseau JJ, Djennoune S (2009) Constrained regulation of continuous Petri nets. Nonlinear Anal: Hybrid Syst 3(4):738–748 · Zbl 1175.93150 · doi:10.1016/j.nahs.2009.06.011
[104] Kelly FP, Zachary S, Ziedins I (eds) (1996) Stochastic networks: theory and applications. Royal Statistical Society LNS, 4. Oxford University Press, Oxford (repr. 2002) · Zbl 0845.00046
[105] Kleinrock L (1975) Queueing systems. vol I. Wiley, New York · Zbl 0334.60045
[106] Kleinrock L (1976) Queuing systems, vol II: computer applications. Wiley, New York · Zbl 0361.60082
[107] 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–297 · Zbl 1143.68488 · doi:10.1109/TAC.2007.914952
[108] 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–471 · doi:10.1109/TII.2010.2050001
[109] Kumar S, Kumar PR (2001) Queueing network models in the design and analysis of semiconductor wafer fabs. IEEE Trans Robot Autom 17(5):548–561 · doi:10.1109/70.964657
[110] Kurtz TG (1970) Solutions of ordinary differential equations as limits of pure jump Markov processes. J Appl Probab 7(1):49–58 · Zbl 0191.47301 · doi:10.2307/3212147
[111] Lefebvre D (1999) Feedback control designs for manufacturing systems modelled by continuous Petri nets. Int J Syst Sci 30(6):591–600 · Zbl 1092.93534 · doi:10.1080/002077299292100
[112] Lefebvre D (2001) Estimation of the firing frequencies in discrete and continuous Petri nets models. Int J Syst Sci 32(11):1321–1332 · Zbl 1172.93375 · doi:10.1080/00207720110051987
[113] 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–465 · Zbl 1131.93353
[114] 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–67
[115] 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–250
[116] Liu Y, Gong W (2002) Perturbation analysis for stochastic fluid queueing systems. Discrete Event Dyn Syst 12(4):391–416 · Zbl 1035.90022 · doi:10.1023/A:1019707508130
[117] 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–2142
[118] Luenberger DG (1971) An introduction to observers. IEEE Trans Autom Contr 16(6):596–602 · doi:10.1109/TAC.1971.1099826
[119] Luenberger DG (1979) Introduction to dynamic systems. Theory, models, and applications. Wiley, New York
[120] 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–1775
[121] 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–1735 · Zbl 1132.93031 · doi:10.1109/TAC.2008.929386
[122] 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–320 · doi:10.1109/TASE.2007.893504
[123] Mahulea C, Recalde L, Silva M (2009a) Basic server semantics and performance monotonicity of continuous Petri nets. Discrete Event Dyn Syst 19(2):189–212 · Zbl 1169.93367 · doi:10.1007/s10626-008-0049-0
[124] 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–4770
[125] Mahulea C, Recalde L, Silva M (2010) Observability of continuous Petri nets with infinite server semantics. Nonlinear Anal: Hybrid Syst 4(2):219–232 · Zbl 1201.93024 · doi:10.1016/j.nahs.2009.06.014
[126] Merlin P, Faber DJ (1976) Recoverability of communication protocols. IEEE Trans commun 24(9):1036–1043 · Zbl 0362.68096 · doi:10.1109/TCOM.1976.1093424
[127] Milner R (1980) A calculus of communicating systems. In: Lecture notes in computer science, vol 92. Springer, Berlin · Zbl 0452.68027
[128] 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–160
[129] Mitra D (1988) Stochastic theory of a fluid model of producers and consumers coupled by a buffer. Adv Appl Probab 20:646–676 · Zbl 0656.60079 · doi:10.2307/1427040
[130] Molloy MK (1982) Performance analysis using stochastic Petri nets. IEEE Trans Comput 31(9):913–917 · doi:10.1109/TC.1982.1676110
[131] Moss FH, Segall A (1982) An optimal control approach to dynamic routing in networks. IEEE Trans Automat Contr 27(2):329–339 · Zbl 0484.49016 · doi:10.1109/TAC.1982.1102915
[132] Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580 · doi:10.1109/5.24143
[133] Newell GF (1971) Applications of queuing theory. Chapman and Hall, London (2nd edn, 1982)
[134] Nicolis G, Prigogine I (1971) Fluctuations in nonequilibrium systems. Proc Natl Acad Sci USA 68:2102–2107 · Zbl 0316.60057 · doi:10.1073/pnas.68.9.2102
[135] Ogata K (2001) Modern control engineering, 4th edn. Prentice Hall, Englewood Cliffs · Zbl 0756.93060
[136] Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs
[137] 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]
[138] Recalde L, Silva M (2001) Petri nets fluidification revisited: semantics and steady state. APII-JESA 35(4):435–449
[139] 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–265 · doi:10.1142/S0218126698000092
[140] 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–126 · Zbl 0934.93037
[141] Recalde L, Haddad S, Silva M (2010) Continuous Petri nets: expressive power and decidability issues. Int J Found Comput Sci 21(2):235–256 · Zbl 1200.68164 · doi:10.1142/S0129054110007222
[142] 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–280
[143] 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–1604
[144] 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–6957
[145] Silva M (1985) Las redes de Petri: en la automática y la informática. AC, Madrid (2nd edn AC/Thomson 2002)
[146] Silva M (1987) Towards a synchrony theory for P/T nets. In: Voss K et al (eds) Concurrency and nets. Springer, Berlin, pp 435–460 · Zbl 0635.68060
[147] Silva M (1993) Introducing Petri nets. In: Practice of Petri nets in manufacturing. Chapman & Hall, London, pp 1–62
[148] 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–258
[149] 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–417 · Zbl 0668.68070
[150] 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–327 · doi:10.1109/TSMCC.2002.806063
[151] 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–62 · Zbl 1060.93068
[152] Silva M, Recalde L (2004) On fluidification of Petri net models: from discrete to hybrid and continuous models. Annu Rev Control 28:253–266 · doi:10.1016/j.arcontrol.2004.05.002
[153] 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 ’96 IMACS multiconference, Lille, France, pp 1–12
[154] 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 )
[155] 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–373 · Zbl 0926.68086
[156] Sun G, Cassandras CG, Panayiotou CG (2004) Perturbation analysis of multiclass stochastic fluid models. Discrete Event Dyn Syst 14(3):267–307 · Zbl 1061.90036 · doi:10.1023/B:DISC.0000028198.41139.20
[157] Sussmann HJ, Willems JC (1997) 300 years of optimal control: from the brachystochrone to the maximum principle. IEEE Control Syst Mag 17(3):32–44 · doi:10.1109/37.588098
[158] Teruel E, Silva M (1996) Structure theory of equal conflict systems. Theor Comp Sci 153(1–2):271–300 · Zbl 0872.68132 · doi:10.1016/0304-3975(95)00124-7
[159] 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–31
[160] Valk R, Girault C (eds) (2003) Petri nets for systems engineering. A guide to modeling, verification, and applications. Springer, Berlin · Zbl 1024.68072
[161] Vázquez 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–36
[162] Vázquez 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–5720
[163] Vázquez 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–17
[164] Vázquez CR, Ramírez 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–541 · Zbl 1143.68495
[165] Vázquez CR, Recalde L, Silva M (2008b) Stochastic–continuous state approximation of Markovian Petri net systems. In: Proc. of the 47th ieee conf. on decision and control (CDC), Cancún, México, pp 901–906
[166] Vázquez 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–664
[167] Vázquez CR, van Schuppen JH, Silva M (2010b) A modular-coordinated control for continuous Petri nets. Technical report, Universidad de Zaragoza
[168] 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
[169] Walter G, Contreras M (1999) Compartmental modeling with networks. Birkhauser, Boston · Zbl 0929.92001
[170] Wang L, Mahulea C, Júlvez J, Silva M (2010) Minimum-time control for structurally persistent continuous Petri nets. In: Conf. on decision and control CDC, Atlanta, USA, pp 2771–2776
[171] 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 · Zbl 0993.60001
[172] Xie X (2002) Fluid-stochastic-event graphs for evaluation and optimization of discrete-event systems with failures. IEEE Trans Robot Autom 18(3):360–367 · doi:10.1109/TRA.2002.1019465
[173] 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–555 · Zbl 1038.49034
[174] 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–919
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.