{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:22:44Z","timestamp":1725794564242},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319068794"},{"type":"electronic","value":"9783319068800"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06880-0_14","type":"book-chapter","created":{"date-parts":[[2014,5,23]],"date-time":"2014-05-23T00:26:34Z","timestamp":1400804794000},"page":"268-289","source":"Crossref","is-referenced-by-count":0,"title":["Free Energy of Petri Nets"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Danos","sequence":"first","affiliation":[]},{"given":"Ilias","family":"Garnier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Baldan, P., Bruni, R., Montanari, U.: Pre-nets, read arcs and unfolding: a functorial presentation (2002)","key":"14_CR1","DOI":"10.1007\/978-3-540-40020-2_8"},{"doi-asserted-by":"crossref","unstructured":"Blute, R., Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled markov processes. In: 12th Annual IEEE Symposium on Logic in Computer Science, LICS 1997 Proceedings, pp. 149\u2013158 (1997)","key":"14_CR2","DOI":"10.7146\/brics.v4i4.18783"},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1017\/S0021900200107338","volume":"31","author":"P. Buchholz","year":"1994","unstructured":"Buchholz, P.: Exact and ordinary lumpability in finite markov chains. Journal of Applied Probability\u00a031(1), 59\u201375 (1994)","journal-title":"Journal of Applied Probability"},{"issue":"1-3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2007.11.018","volume":"393","author":"P. Buchholz","year":"2008","unstructured":"Buchholz, P.: Bisimulation relations for weighted automata. Theoretical Computer Science\u00a0393(1-3), 109\u2013123 (2008)","journal-title":"Theoretical Computer Science"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1017\/S0960129512000126","volume":"23","author":"V. Danos","year":"2013","unstructured":"Danos, V., Oury, N.: Equilibrium and termination ii: the case of petri nets. Mathematical Structures in Computer Science\u00a023, 290\u2013307 (2013)","journal-title":"Mathematical Structures in Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: An algebraic approach. In: SWAT (FOCS), pp. 167\u2013180 (1973)","key":"14_CR6","DOI":"10.1109\/SWAT.1973.11"},{"issue":"0","key":"14_CR7","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.tcs.2011.12.059","volume":"431","author":"J. Feret","year":"2012","unstructured":"Feret, J., Henzinger, T., Koeppl, H., Petrov, T.: Lumpability abstractions of rule-based systems. Theoretical Computer Science\u00a0431(0), 137\u2013164 (2012)","journal-title":"Theoretical Computer Science"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","first-page":"68","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"M. Giry","year":"1995","unstructured":"Giry, M.: A categorical approach to probability theory. In: Mosses, P.D., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915, pp. 68\u201385. Springer, Heidelberg (1995)"},{"unstructured":"Heindel, T.: A category theoretical approach to the concurrent semantics of rewriting: adhesive categories and related concepts. PhD thesis (2009)","key":"14_CR9"},{"doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. In: Conference Record of the 16th ACM Symposium on Principles of Programming Languages (POPL), pp. 344\u2013352 (1989)","key":"14_CR10","DOI":"10.1145\/75277.75307"},{"unstructured":"Lawvere, F.W.: The category of probabilistic mappings - with applications to stochastic processes, statistics, and pattern recognition. Seminar Handout Notes (1962)","key":"14_CR11"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077, 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"unstructured":"Norris, J.R.: Markov chains. Cambridge series in statistical and probabilistic mathematics. Cambridge University Press (1998)","key":"14_CR13"},{"unstructured":"Panangaden, P.: Probabilistic relations. In: School of Computer Science, McGill University, Montreal, pp. 59\u201374 (1998)","key":"14_CR14"},{"doi-asserted-by":"crossref","unstructured":"Panangaden, P.: Labelled Markov Processes. Imperial College Press (2009)","key":"14_CR15","DOI":"10.1142\/9781848162891"},{"doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a01. World Scientific (1997)","key":"14_CR16","DOI":"10.1142\/9789812384720"}],"container-title":["Lecture Notes in Computer Science","Horizons of the Mind. A Tribute to Prakash Panangaden"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06880-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T18:22:45Z","timestamp":1558894965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06880-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319068794","9783319068800"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06880-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}