{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:44:31Z","timestamp":1760597071218,"version":"3.41.2"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[2001,1]]},"DOI":"10.1023\/a:1008387132533","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T09:41:38Z","timestamp":1040550098000},"page":"77-95","source":"Crossref","is-referenced-by-count":19,"title":["Comparison of Hybrid Systems and Fluid Stochastic Petri Nets"],"prefix":"10.1007","volume":"11","author":[{"given":"Bruno","family":"Tuffin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong S.","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kishor S.","family":"Trivedi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"280792_CR1","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., and Franceschinis, G. 1995. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons."},{"key":"280792_CR2","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0166-5316(98)00016-9","volume":"33","author":"H. Alla","year":"1998","unstructured":"Alla, H., and David, R. 1998. A modelling and analysis tool for discrete event systems: continuous Petri net. Performance Evaluation. 33, 175\u2013199.","journal-title":"Performance Evaluation"},{"key":"280792_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T., and Ho, P. 1991. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. A. P. R. Robert L. Grossman, Anil Nerode and H. Rischel, eds., vol. 736 Lecture Notes in Computer Science. Springer-Verlag, pp. 209\u2013229","DOI":"10.1007\/3-540-57318-6_30"},{"key":"280792_CR4","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., and Dill, D. 1994. A theory of timed automata. Theoretical Computer Science. 126: 183\u2013235.","journal-title":"Theoretical Computer Science"},{"key":"280792_CR5","doi-asserted-by":"crossref","unstructured":"Bushnell, L., Beldiman, O., and Walsh, G. 1998. An equivalence between a control network and a switched hybrid system. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science. T. A. Henzinger and S. Sastry, eds., vol. 1386, pp. 64\u201379, Springer-Verlag.","DOI":"10.1007\/3-540-64358-3_32"},{"key":"280792_CR6","unstructured":"Cassandras, C. 1993. Discrete Event Systems: Modeling and Performance Analysis. Aksen Associates Incorporated Publishers and Irwin."},{"key":"280792_CR7","first-page":"145","volume-title":"Linear Algebra, Markov Chains and Queuing Models","author":"G. Ciardo","year":"1993","unstructured":"Ciardo, G., Blakemore, A., Chimento, P., Muppala, J., and Trivedi, K. 1993. Automated generation and analysis of markov reward models using stochatic eeward nets. Linear Algebra, Markov Chains and Queuing Models, C. Meyer and R. Plemmons, eds., IMA Volumes in Mathematics and its Applications. Heidelberg: Springer-Verlag, vol. 48, pp. 145\u2013191."},{"key":"280792_CR8","doi-asserted-by":"crossref","unstructured":"Ciardo, G., Muppala, J., and Trivedi, K. 1989. SPNP: Stochastic Petri net package. Proc. Third International Workshop on Petri Nets and Performance Models, PNPM'89. pp. 142\u2013151.","DOI":"10.1109\/PNPM.1989.68548"},{"issue":"2","key":"280792_CR9","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1109\/32.761446","volume":"25","author":"G. Ciardo","year":"1999","unstructured":"Ciardo, G., Nicol, D., and Trivedi, K. 1999. Discrete-event simulation of fluid stochastic Petri-nets. IEEE Transactions on Software Engineering 25(2): 207\u2013217.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"280792_CR10","unstructured":"David, R. 1997. Modeling hybrid systems using continuous and hybrid Petri nets. Proc. Seventh International Workshop on Petri Nets and Performance Models, PNPM'97. pp. 142\u2013151."},{"key":"280792_CR11","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1111\/j.2517-6161.1962.tb00438.x","volume":"B24","author":"D. Gaver","year":"1962","unstructured":"Gaver, D. 1962. A waiting line with interrupted service, including priorities. Journal of Royal Statistical Society. B24: 73\u201390.","journal-title":"Journal of Royal Statistical Society"},{"key":"280792_CR12","first-page":"74","volume-title":"Proc. 8th Intern. Workshop on Petri Nets and Performance Models","author":"M. Gribaudo","year":"1999","unstructured":"Gribaudo, M., Sereno, M., and Bobbio, A. 1999. Fluid stochastic Petri nets: An extended formalism to include non-Markovian models. Proc. 8th Intern. Workshop on Petri Nets and Performance Models. Zaragoza, Spain: IEEE-CS Press, pp. 74\u201381B."},{"key":"280792_CR13","doi-asserted-by":"crossref","unstructured":"Henzinger, T., and Ho, P. 1995. HYTECH: The Cornell HYbrid TECHnology Tool. Hybrid Systems II. Lecture Notes in Computer Science. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, eds., Springer-Verlag, vol. 999, pp. 265\u2013293.","DOI":"10.1007\/3-540-60472-3_14"},{"key":"280792_CR14","doi-asserted-by":"crossref","unstructured":"Henzinger, T., Kopke, P., and Varaiya, P. 1995. What' decidable about hybrid automata? Proc. 27th Symposium on the Theory of Computing. pp. 373\u2013382.","DOI":"10.1145\/225058.225162"},{"key":"280792_CR15","first-page":"354","volume-title":"Computer performance evaluation: Modelling tools and techniques; 11th International Conference; TOOLS 2000","author":"C. Hirel","year":"2000","unstructured":"Hirel, C., Tuffin, B., and Trivedi, K. 2000, SPNP Version 6.0. Computer performance evaluation: Modelling tools and techniques; 11th International Conference; TOOLS 2000. B. Haverkort, H. Bohnenkamp, and C. Smith, eds., Schaumburg, IL: Springer-Verlag, pp. 354\u2013357."},{"key":"280792_CR16","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, V., Nicol, D., and Trivedi, K. 1998. Fluid stochastic Petri nets: Theory, application and solution. European Journal of Operational Research. 105: 184\u2013201.","journal-title":"European Journal of Operational Research"},{"key":"280792_CR17","volume-title":"Stochastic Stability and Control","author":"H. Kushner","year":"1967","unstructured":"Kushner, H. 1967. Stochastic Stability and Control. New York\/London: Academic Press."},{"key":"280792_CR18","doi-asserted-by":"crossref","unstructured":"Lynch, N., Saias, I., and Segala, R. 1994. Proving time bounds for randomized distributed algorithms. Proc. 13th Annual ACM PODC.","DOI":"10.1145\/197917.198117"},{"issue":"6","key":"280792_CR19","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/0020-0190(87)90117-7","volume":"24","author":"R. Marie","year":"1987","unstructured":"Marie, R., and Trivedi, K. 1987. A note on the effect of preemptive policies on the stability of a priority queue. Information Processing Letters. 24(6): 397\u2013401.","journal-title":"Information Processing Letters"},{"key":"280792_CR20","unstructured":"Mariton, M. 1990. Jump Linear Systems in Automatic Control. Marcel Dekker, Inc."},{"key":"280792_CR21","volume-title":"Petri Nets and the Modeling of Systems","author":"J. Peterson","year":"1981","unstructured":"Peterson, J. 1981. Petri Nets and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"280792_CR22","doi-asserted-by":"crossref","unstructured":"Puri, A., and Varaiya, P. 1994. Decidability of hybrid systems with rectangular inclusions. Computer Aided Verification, CAV'94, Lecture Notes in Computer Science, D. Dill, ed., Springer-Verlag, vol. 818, pp. 95\u2013104.","DOI":"10.1007\/3-540-58179-0_46"},{"key":"280792_CR23","doi-asserted-by":"crossref","unstructured":"Reising, W. 1985. Petri Nets: An Introduction. Springer-Verlag.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"280792_CR24","unstructured":"Trivedi, K. 1998. Probability and Statistics with Reliability, Queuing and Computer Science Applications. Prentice Hall."},{"key":"280792_CR25","doi-asserted-by":"crossref","unstructured":"Trivedi, K. S., and Kulkarni, V. G. 1993. FSPNs: Fluid stochistic Petri nets. 14th International Conference on Applacations and Theory of Petri Nets. pp. 24\u201331.","DOI":"10.1007\/3-540-56863-8_38"},{"key":"280792_CR26","doi-asserted-by":"crossref","unstructured":"Varaiya, P. 1999. Design, simulation and implementation of hybrid systems. Application and Theory of Petri Nets 1999, Lecture Notes in Computer Science, S. Donatelli and J. Kleijn, eds., Springer-Verlag, vol. 1639, pp. 1\u20135.","DOI":"10.1007\/3-540-48745-X_1"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008387132533.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008387132533\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008387132533.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:09:16Z","timestamp":1753762156000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008387132533"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,1]]},"references-count":26,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,1]]}},"alternative-id":["280792"],"URL":"https:\/\/doi.org\/10.1023\/a:1008387132533","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2001,1]]}}}