{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:57:16Z","timestamp":1725559036388},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540263012"},{"type":"electronic","value":"9783540315599"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494744_6","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T02:31:09Z","timestamp":1279074669000},"page":"70-89","source":"Crossref","is-referenced-by-count":3,"title":["The (True) Concurrent Markov Property and Some Applications to Markov Nets"],"prefix":"10.1007","author":[{"given":"Samy","family":"Abbes","sequence":"first","affiliation":[]}],"member":"297","reference":[{"unstructured":"Proc. of the 16th Conference on Mathematical Theory of Networks and Systems (MTNS 2004), Leuven, Belgium (2004), ISBN 90-5682-517-8","key":"6_CR1"},{"unstructured":"Abbes, S.: Probabilistic model of distributed and concurrent systems. Limit theorems and Applications. PhD thesis, Universit\u00e9 de Rennes\u00a01, IRISA, Available from \n                    \n                      ftp:\/\/ftp.irisa.fr\/techreports\/theses\/2004\/abbes.pdf","key":"6_CR2"},{"doi-asserted-by":"crossref","unstructured":"Abbes, S., Benveniste, A.: Branching cells as local states for event structures and nets: probabilistic applications. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.??3441, pp. 95???109. Springer, Heidelberg (2005);","key":"#cr-split#-6_CR3.1","DOI":"10.1007\/978-3-540-31982-5_6"},{"unstructured":"Extended version available as Research Report INRIA RR-5347,                                           http:\/\/www.inria.fr\/rrrt\/rr-5347.html","key":"#cr-split#-6_CR3.2"},{"issue":"11","key":"6_CR4","doi-asserted-by":"publisher","first-page":"1936","DOI":"10.1109\/TAC.2003.819076","volume":"48","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Haar, S., Fabre, E.: Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. on Aut. Control\u00a048(11), 1936\u20131950 (2003)","journal-title":"IEEE Trans. on Aut. Control"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-45187-7_1","volume-title":"CONCUR 2003 - Concurrency Theory","author":"A. Benvensite","year":"2003","unstructured":"Benvensite, A., Fabre, E., Haar, S., Jard, C.: Distributed monitoring of concurrent and asynchronous systems. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 1\u201326. Springer, Heidelberg (2003)"},{"key":"6_CR6","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611971286","volume-title":"Probability","author":"L. Breiman","year":"1992","unstructured":"Breiman, L.: Probability. SIAM, Philadelphia (1992)"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J. Engelfriet","year":"1991","unstructured":"Engelfriet, J.: Branching processes of Petri nets. Acta Informatica\u00a028, 575\u2013591 (1991)","journal-title":"Acta Informatica"},{"key":"6_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05324-9","volume-title":"Petri nets for systems engeneering","author":"C. Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri nets for systems engeneering. Springer, Heidelberg (2003)"},{"key":"6_CR9","first-page":"86","volume":"13","author":"M. Nielsen","year":"1980","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part 1. T.C.S.\u00a013, 86\u2013108 (1980)","journal-title":"T.C.S."},{"issue":"3","key":"6_CR10","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","volume":"6","author":"M.O. Rabin","year":"1963","unstructured":"Rabin, M.O.: Probabilistic automata. Inf. and Control\u00a06(3), 230\u2013245 (1963)","journal-title":"Inf. and Control"},{"key":"6_CR11","series-title":"N.-H. Math. Library","volume-title":"Markov chains","author":"D. Revuz","year":"1975","unstructured":"Revuz, D.: Markov chains. N.-H. Math. Library, vol.\u00a011. North-Holland, Amsterdam (1975)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/978-3-540-28644-8_31","volume-title":"CONCUR 2004 - Concurrency Theory","author":"D. Varacca","year":"2004","unstructured":"Varacca, D., V\u00f6lzer, H., Winskel, G.: Probabilistic event structures and domains. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 481\u2013496. Springer, Heidelberg (2004)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-44685-0_13","volume-title":"CONCUR 2001 - Concurrency Theory","author":"H. V\u00f6lzer","year":"2001","unstructured":"V\u00f6lzer, H.: Randomized non-sequential processes. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 184\u2013201. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494744_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:39:15Z","timestamp":1619505555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494744_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540263012","9783540315599"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11494744_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}