{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,30]],"date-time":"2026-08-30T01:07:18Z","timestamp":1788052038590,"version":"build-2784847793"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642386961","type":"print"},{"value":"9783642386978","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38697-8_6","type":"book-chapter","created":{"date-parts":[[2013,6,19]],"date-time":"2013-06-19T01:48:46Z","timestamp":1371606526000},"page":"90-109","source":"Crossref","is-referenced-by-count":42,"title":["A Semantics for Every GSPN"],"prefix":"10.1007","author":[{"given":"Christian","family":"Eisentraut","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lijun","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Ajmone Marsan, M., Balbo, G., Chiola, G., Conte, G.: Generalized stochastic Petri nets revisited: Random switches and priorities. In: Petri Nets and Performance Models (PNPM), pp. 44\u201353. IEEE CS Press (1987)"},{"issue":"4","key":"6_CR2","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1016\/0026-2714(91)90010-5","volume":"31","author":"M. Ajmone Marsan","year":"1991","unstructured":"Ajmone Marsan, M., Balbo, G., Chiola, G., Conte, G., Donatelli, S., Franceschinis, G.: An introduction to Generalized Stochastic Petri Nets. Microel. and Rel.\u00a031(4), 699\u2013725 (1991)","journal-title":"Microel. and Rel."},{"key":"6_CR3","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons (1995)"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM TOCS\u00a02(2), 93\u2013122 (1984)","journal-title":"ACM TOCS"},{"key":"6_CR5","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)"},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.ic.2005.03.001","volume":"200","author":"C. Baier","year":"2005","unstructured":"Baier, C., Katoen, J.-P., Hermanns, H., Wolf, V.: Comparative branching-time semantics for Markov chains. Inf. Comput\u00a0200(2), 149\u2013214 (2005)","journal-title":"Inf. Comput"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Balbo, G.: Introduction to stochastic Petri nets. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) FMPA 2000, LNCS, vol.\u00a02090, pp. 84\u2013155. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-44667-2_3"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-72522-0_3","volume-title":"Formal Methods for Performance Evaluation","author":"G. Balbo","year":"2007","unstructured":"Balbo, G.: Introduction to Generalized Stochastic Petri Nets. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 83\u2013131. Springer, Heidelberg (2007)"},{"key":"6_CR9","first-page":"4","volume":"37","author":"F. Bause","year":"1990","unstructured":"Bause, F.: No way out \u221e The timeless trap. Petri Net Newsletter\u00a037, 4\u20138 (1990)","journal-title":"Petri Net Newsletter"},{"issue":"3","key":"6_CR10","doi-asserted-by":"publisher","first-page":"580","DOI":"10.1287\/moor.16.3.580","volume":"16","author":"D.P. Bertsekas","year":"1991","unstructured":"Bertsekas, D.P., Tsitsiklis, J.N.: An analysis of stochastic shortest path problems. Mathematics of Operations Research\u00a016(3), 580\u2013595 (1991)","journal-title":"Mathematics of Operations Research"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"59","DOI":"10.2307\/3215235","volume":"31","author":"P. Buchholz","year":"1994","unstructured":"Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. J. Applied Probability\u00a031, 59\u201375 (1994)","journal-title":"J. Applied Probability"},{"key":"6_CR12","unstructured":"Chiola, G., Donatelli, S., Franceschinis, G.: GSPNs versus SPNs: What is the actual role of immediate transitions? In: Petri Nets and Performance Models (PNPM), pp. 20\u201331. IEEE CS Press (1991)"},{"issue":"2","key":"6_CR13","first-page":"89","volume":"19","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Ajmone Marsan, M., Balbo, G., Conte, G.: Generalized stochastic Petri nets: A definition at the net level and its implications. IEEE TSE\u00a019(2), 89\u2013107 (1993)","journal-title":"IEEE TSE"},{"key":"6_CR14","unstructured":"Ciardo, G., Zijal, R.: Well-defined stochastic Petri nets. In: MASCOTS, pp. 278\u2013284 (1996)"},{"key":"6_CR15","unstructured":"Deavours, D.D., Sanders, W.H.: An efficient well-specified check. In: Petri Nets and Performance Models (PNPM), pp. 124\u2013133. IEEE CS Press (1999)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-642-04081-8_19","volume-title":"CONCUR 2009 - Concurrency Theory","author":"Y. Deng","year":"2009","unstructured":"Deng, Y., van Glabbeek, R., Hennessy, M., Morgan, C.: Testing finitary probabilistic processes. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 274\u2013288. Springer, Heidelberg (2009)"},{"issue":"2","key":"6_CR17","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.ic.2009.11.002","volume":"208","author":"J. Desharnais","year":"2010","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Weak bisimulation is sound and complete for PCTL*. Inf. Comput.\u00a0208(2), 203\u2013219 (2010)","journal-title":"Inf. Comput."},{"key":"6_CR18","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh (1994)"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-15375-4_3","volume-title":"CONCUR 2010 - Concurrency Theory","author":"C. Eisentraut","year":"2010","unstructured":"Eisentraut, C., Hermanns, H., Zhang, L.: Concurrency and composition in a stochastic world. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 21\u201339. Springer, Heidelberg (2010)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Eisentraut, C., Hermanns, H., Zhang, L.: On probabilistic automata in continuous time. In: LICS, pp. 342\u2013351. IEEE (2010)","DOI":"10.1109\/LICS.2010.41"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-28891-3_4","volume-title":"NASA Formal Methods","author":"D. Guck","year":"2012","unstructured":"Guck, D., Han, T., Katoen, J.-P., Neuh\u00e4u\u00dfer, M.R.: Quantitative timed analysis of interactive markov chains. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol.\u00a07226, pp. 8\u201323. Springer, Heidelberg (2012)"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Interactive Markov Chains","year":"2002","unstructured":"Hermanns, H. (ed.): Interactive Markov Chains. LNCS, vol.\u00a02428. Springer, Heidelberg (2002)"},{"key":"6_CR23","first-page":"1","volume":"53","author":"H. Hatefi","year":"2012","unstructured":"Hatefi, H., Hermanns, H.: Model Checking Algorithms for Markov Automata. ECEASST\u00a053, 1\u201315 (2012)","journal-title":"ECEASST"},{"key":"6_CR24","unstructured":"Hermanns, H., Herzog, U., Mertsiotakis, V., Rettelbach, M.: Exploiting stochastic process algebra achievements for Generalized Stochastic Petri Nets. In: Petri Nets and Performance Models (PNPM), pp. 183\u2013192. IEEE CS Press (1997)"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Katoen, J.-P.: GSPNs revisited: Simple semantics and new analysis algorithms. In: ACSD, pp. 6\u201311. IEEE (2012)","DOI":"10.1109\/ACSD.2012.30"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Kemeny, J.G., Snell, J.L., Knapp, A.W.: Denumerable Markov Chains, 2nd edn. Springer (1976)","DOI":"10.1007\/978-1-4684-9455-6"},{"issue":"2","key":"6_CR27","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.ic.2005.05.007","volume":"203","author":"M. Lohrey","year":"2005","unstructured":"Lohrey, M., D\u2019Argenio, P.R., Hermanns, H.: Axiomatising divergence. Inf. Comput.\u00a0203(2), 115\u2013144 (2005)","journal-title":"Inf. Comput."},{"key":"6_CR28","unstructured":"Meyer, J.F., Movaghar, A., Sanders, W.H.: Stochastic activity networks: Structure, behavior, and application. In: Petri Nets and Performance Models (PNPM), pp. 106\u2013115. IEEE CS Press (1985)"},{"key":"6_CR29","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1989)"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic Activity Networks: Formal definitions and concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) FMPA 2000, LNCS, vol.\u00a02090, pp. 315\u2013343. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-44667-2_9"},{"key":"6_CR31","unstructured":"Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Laboratory for Computer Science, Massachusetts Institute of Technology (1995)"},{"issue":"11","key":"6_CR32","first-page":"962","volume":"29","author":"E. Teruel","year":"2003","unstructured":"Teruel, E., Franceschinis, G., De Pierro, M.: Well-defined Generalized Stochastic Petri Nets: A net-level method to specify priorities. IEEE TSE\u00a029(11), 962\u2013973 (2003)","journal-title":"IEEE TSE"},{"key":"6_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-642-32940-1_26","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"M. Timmer","year":"2012","unstructured":"Timmer, M., Katoen, J.-P., van de Pol, J., Stoelinga, M.I.A.: Efficient modelling and generation of markov automata. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol.\u00a07454, pp. 364\u2013379. Springer, Heidelberg (2012)"},{"key":"6_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-12002-2_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Zhang","year":"2010","unstructured":"Zhang, L., Neuh\u00e4u\u00dfer, M.R.: Model checking interactive Markov chains. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol.\u00a06015, pp. 53\u201368. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38697-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:11:38Z","timestamp":1675955498000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-38697-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386961","9783642386978"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38697-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}