{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T12:48:40Z","timestamp":1784206120012,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642370359","type":"print"},{"value":"9783642370366","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37036-6_23","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T14:35:55Z","timestamp":1361198155000},"page":"411-430","source":"Crossref","is-referenced-by-count":8,"title":["Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Joost-Peter","family":"Katoen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11494744_6","volume-title":"Applications and Theory of Petri Nets 2005","author":"S. Abbes","year":"2005","unstructured":"Abbes, S.: The (True) Concurrent Markov Property and Some Applications to Markov Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 70\u201389. Springer, Heidelberg (2005)"},{"issue":"6","key":"23_CR2","doi-asserted-by":"publisher","first-page":"982","DOI":"10.1109\/TMM.2008.2001369","volume":"10","author":"M. Albanese","year":"2008","unstructured":"Albanese, M.: A constrained probabilistic Petri net framework for human activity detection in video. IEEE Trans. on Multimedia\u00a010(6), 982\u2013996 (2008)","journal-title":"IEEE Trans. on Multimedia"},{"issue":"28","key":"23_CR3","doi-asserted-by":"publisher","first-page":"3072","DOI":"10.1016\/j.tcs.2011.02.045","volume":"412","author":"M.E. Andr\u00e9s","year":"2011","unstructured":"Andr\u00e9s, M.E., Palamidessi, C., van Rossum, P., Sokolova, A.: Information hiding in probabilistic concurrent systems. TCS\u00a0412(28), 3072\u20133089 (2011)","journal-title":"TCS"},{"key":"23_CR4","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)"},{"key":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-73094-1_6","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"M. Beccuti","year":"2007","unstructured":"Beccuti, M., Franceschinis, G., Haddad, S.: Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 43\u201362. Springer, Heidelberg (2007)"},{"issue":"10","key":"23_CR6","doi-asserted-by":"publisher","first-page":"1315","DOI":"10.1109\/TC.2008.26","volume":"57","author":"S. Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors - structuring interaction in BIP. IEEE Trans. Computers\u00a057(10), 1315\u20131330 (2008)","journal-title":"IEEE Trans. Computers"},{"issue":"1-2","key":"23_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.tcs.2006.07.033","volume":"365","author":"L. Cheung","year":"2006","unstructured":"Cheung, L., Lynch, N.A., Segala, R., Vaandrager, F.W.: Switched PIOA: Parallel composition via distributed scheduling. TCS\u00a0365(1-2), 83\u2013108 (2006)","journal-title":"TCS"},{"key":"23_CR8","unstructured":"de Alfaro, L.: The verification of probabilistic systems under memoryless partial-information policies is hard. In: PROBMIV, pp. 19\u201332 (1999)"},{"key":"23_CR9","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)"},{"issue":"4-6","key":"23_CR10","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/s00165-012-0236-5","volume":"24","author":"S. Georgievska","year":"2012","unstructured":"Georgievska, S., Andova, S.: Probabilistic may\/must testing: retaining probabilities by restricted schedulers. Formal Asp. Comput.\u00a024(4-6), 727\u2013748 (2012)","journal-title":"Formal Asp. Comput."},{"issue":"3","key":"23_CR11","first-page":"45","volume":"253","author":"S. Giro","year":"2009","unstructured":"Giro, S., D\u2019Argenio, P.R.: On the expressive power of schedulers in distributed probabilistic systems. ENTCS\u00a0253(3), 45\u201371 (2009)","journal-title":"ENTCS"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Katoen, J.-P.: GSPNs revisited: Simple semantics and new analysis algorithms. In: Application of Concurrency to System Design, pp. 6\u201311 (2012)","DOI":"10.1109\/ACSD.2012.30"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/978-3-642-12002-2_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Katz","year":"2010","unstructured":"Katz, G., Peled, D.: Code Mutation in Verification and Automatic Code Correction. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol.\u00a06015, pp. 435\u2013450. Springer, Heidelberg (2010)"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1007\/978-3-642-22110-1_41","volume-title":"Computer Aided Verification","author":"G. Katz","year":"2011","unstructured":"Katz, G., Peled, D., Schewe, S.: Synthesis of Distributed Control through Knowledge Accumulation. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 510\u2013525. Springer, Heidelberg (2011)"},{"issue":"1-3","key":"23_CR15","first-page":"121","volume":"67","author":"M. Kudlek","year":"2005","unstructured":"Kudlek, M.: Probability in Petri nets. Fund. Inf.\u00a067(1-3), 121\u2013130 (2005)","journal-title":"Fund. Inf."},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Lehmann, D.J., Rabin, M.O.: On the advantages of free choice: A symmetric and fully distributed solution to the dining philosophers problem. In: POPL, pp. 133\u2013138 (1981)","DOI":"10.1145\/567532.567547"},{"issue":"4","key":"23_CR17","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1137\/S0097539704446487","volume":"37","author":"N.A. Lynch","year":"2007","unstructured":"Lynch, N.A., Segala, R., Vaandrager, F.W.: Observing branching structure through probabilistic contexts. SIAM J. Comp.\u00a037(4), 977\u20131013 (2007)","journal-title":"SIAM J. Comp."},{"key":"23_CR18","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley (1995)"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Introduction to trace theory. In: Diekert, V., Rozenberg, G. (eds.) The Book of Traces. World Scientific (1995)","DOI":"10.1142\/9789814261456_0001"},{"issue":"12","key":"23_CR20","doi-asserted-by":"publisher","first-page":"1173","DOI":"10.1002\/cpe.903","volume":"16","author":"J.A. P\u00e9rez","year":"2004","unstructured":"P\u00e9rez, J.A., Corchuelo, R., Toro, M.: An order-based algorithm for multiparty synchronization. Concurrency - Practice and Experience\u00a016(12), 1173\u20131206 (2004)","journal-title":"Concurrency - Practice and Experience"},{"key":"23_CR21","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley (2005)"},{"key":"23_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/BFb0027048","volume-title":"Current Trends in Concurrency","author":"G. Rozenberg","year":"1986","unstructured":"Rozenberg, G., Thiagarajan, P.S.: Petri Nets: Basic Notions, Structure, Behaviour. In: Rozenberg, G., de Bakker, J.W., de Roever, W.-P. (eds.) Current Trends in Concurrency. LNCS, vol.\u00a0224, pp. 585\u2013668. Springer, Heidelberg (1986)"},{"issue":"2","key":"23_CR23","first-page":"250","volume":"2","author":"R. Segala","year":"1995","unstructured":"Segala, R., Lynch, N.A.: Probabilistic simulations for probabilistic processes. Nord. J. Comput.\u00a02(2), 250\u2013273 (1995)","journal-title":"Nord. J. Comput."},{"key":"23_CR24","unstructured":"Taubenfeld, G.: Synchronization Algorithms for Concurrent Programming. Prentice Hall (2006)"},{"key":"23_CR25","unstructured":"Varacca, D., Nielsen, M.: Probabilistic Petri nets and Mazurkiewicz equivalence (2003) (unpublished manuscript)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37036-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T04:17:45Z","timestamp":1557548265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37036-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370359","9783642370366"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37036-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}