{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:21:06Z","timestamp":1761488466280,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540407539"},{"type":"electronic","value":"9783540451877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45187-7_1","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T22:38:49Z","timestamp":1277505529000},"page":"1-26","source":"Crossref","is-referenced-by-count":13,"title":["Distributed Monitoring of Concurrent and Asynchronous Systems"],"prefix":"10.1007","author":[{"given":"Albert","family":"Benveniste","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Fabre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Jard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"extended version, available as IRISA report No 1540, http:\/\/www.irisa.fr\/bibli\/publi\/pi\/2003\/1540\/1540.html"},{"key":"1_CR2","unstructured":"Aghasaryan, A., Dousson, C., Fabre, E., Pencol\u00e9, Y., Osmani, A.: Modeling Fault Propagation in Telecommunications Networks for Diagnosis Purposes. XVIII World Telecommunications Congress September 22\u201327, 2002 \u2013 Paris, France (2002), Available: http:\/\/www.irisa.fr\/sigma2\/benveniste\/pub\/topic_distribdiag.html"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Fabre, E., Jard, C., Haar, S.: Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans. on Automatic Control, 48(5) (May 2003), Preliminary version available from http:\/\/www.irisa.fr\/sigma2\/benveniste\/pub\/IEEE_TAC_AsDiag_2003.html","DOI":"10.1109\/TAC.2003.811249"},{"key":"1_CR4","unstructured":"Benveniste, A., Haar, S., Fabre, E.: Markov Nets: probabilistic Models for Distributed and Concurrent Systems. INRIA Report\u00a04235 (2001), available electronically at http:\/\/www.inria.fr\/rrrt\/rr-4754.html"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s001650200022","volume":"13","author":"B. Caillaud","year":"2002","unstructured":"Caillaud, B., Badouel, E., Darondeau, P.: Distributing Finite Automata through Petri Net Synthesis. Journal on Formal Aspects of Computing\u00a013, 447\u2013470 (2002)","journal-title":"Journal on Formal Aspects of Computing"},{"key":"1_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to discrete event systems","author":"C. Cassandras","year":"1999","unstructured":"Cassandras, C., Lafortune, S.: Introduction to discrete event systems. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-45740-2_9","volume-title":"Applications and Theory of Petri Nets 2001","author":"J.-M. Couvreur","year":"2001","unstructured":"Couvreur, J.-M., Grivet, S., Poitrenaud, D.: Unfolding of Products of Symmetrical Petri Nets. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 121\u2013143. Springer, Heidelberg (2001)"},{"key":"1_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)"},{"key":"1_CR9","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":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-48320-9_2","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Esparza","year":"1999","unstructured":"Esparza, J., R\u00f6mer, S.: An unfolding algorithm for synchronous products of transition systems. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, p. 2. Springer, Heidelberg (1999)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Fabre, E., Benveniste, A., Jard, C.: Distributed diagnosis for large discrete event dynamic systems. In: Proc of the IFAC congress (July 2002)","DOI":"10.3182\/20020721-6-ES-1901.00731"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Fabre, E.: Compositional models of distributed and asynchronous dynamical systems. In: Proc of the 2002 IEEE Conf. on Decision and Control, Las Vegas, December 1-6 (2002)","DOI":"10.1109\/CDC.2002.1184457"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Fabre, E.: Monitoring distributed systems with distributed algorithms. In: Proc of the 2002 IEEE Conf. on Decision and Control, Las Vegas, December 2002, pp. 411\u2013416 (2002)","DOI":"10.1109\/CDC.2002.1184529"},{"key":"1_CR14","unstructured":"Fabre, E.: Distributed diagnosis for large discrete event dynamic systems (in preparation)"},{"key":"1_CR15","unstructured":"Fabre, E.: Convergence of the turbo algorithm for systems defined by local constraints. IRISA Res. Rep. 1510 (2003)"},{"key":"1_CR16","volume-title":"Adaptive Filtrering, Prediction, and Control","author":"G.C. Goodwin","year":"1984","unstructured":"Goodwin, G.C., Sin, K.S.: Adaptive Filtrering, Prediction, and Control. Prentice-Hall, Upper Sadle River (1984)"},{"issue":"3-4","key":"1_CR17","doi-asserted-by":"crossref","first-page":"281","DOI":"10.3233\/FUN-2002-533-404","volume":"53","author":"S. Haar","year":"2002","unstructured":"Haar, S.: Probabilistic Cluster Unfoldings. Fundamenta Informaticae\u00a053(3-4), 281\u2013314 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR18","series-title":"Formal Models and Semantics","first-page":"1157","volume-title":"Handbook of Theoretical Computer Science","author":"L. Lamport","year":"1990","unstructured":"Lamport, L., Lynch, N.: Distributed Computing: Models and Methods. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.\u00a0B, pp. 1157\u20131199. Elsevier, Amsterdam (1990)"},{"key":"1_CR19","series-title":"Oxford Statistical Science Series","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198522195.001.0001","volume-title":"Graphical Models","author":"S.L. Lauritzen","year":"1996","unstructured":"Lauritzen, S.L.: Graphical Models. Oxford Statistical Science Series, vol.\u00a017. Oxford University Press, Oxford (1996)"},{"issue":"2","key":"1_CR20","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.2517-6161.1988.tb01721.x","volume":"50","author":"S.L. Lauritzen","year":"1988","unstructured":"Lauritzen, S.L., Spiegelhalter, D.J.: Local computations with probabilities on graphical structures and their application to expert systems. J. Royal Statistical Society, Series B\u00a050(2), 157\u2013224 (1988)","journal-title":"J. Royal Statistical Society, Series B"},{"issue":"2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1109\/49.661103","volume":"16","author":"R.J. McEliece","year":"1998","unstructured":"McEliece, R.J., MacKay, D.J.C., Cheng, J.-F.: Turbo Decoding as an Instance of Pearl\u2019s Belief Propagation Algorithm. IEEE Transactions on Selected Areas in Communication\u00a016(2), 140\u2013152 (1998)","journal-title":"IEEE Transactions on Selected Areas in Communication"},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures, and domains. Part I. Theoretical Computer Science\u00a013, 85\u2013108 (1981)","journal-title":"Theoretical Computer Science"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0004-3702(86)90072-X","volume":"29","author":"J. Pearl","year":"1986","unstructured":"Pearl, J.: Fusion, Propagation, and Structuring in Belief Networks. Artificial Intelligence\u00a029, 241\u2013288 (1986)","journal-title":"Artificial Intelligence"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/MASSP.1986.1165342","volume":"3","author":"L.R. Rabiner","year":"1986","unstructured":"Rabiner, L.R., Juang, B.H.: An introduction to Hidden Markov Models. IEEE ASSP magazine\u00a03, 4\u201316 (1986)","journal-title":"IEEE ASSP magazine"},{"key":"1_CR25","volume-title":"Distributed Algorithms and Protocols","author":"M. Raynal","year":"1988","unstructured":"Raynal, M.: Distributed Algorithms and Protocols. Wiley & Sons, Chichester (1988)"},{"key":"1_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri nets. Springer, Heidelberg (1985)"},{"issue":"2","key":"1_CR27","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M. Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Sinnamohideen, K., Lafortune, S., Teneketzis, D.: Failure diagnosis using discrete event models. IEEE Trans. on Systems Technology\u00a04(2), 105\u2013124 (1996)","journal-title":"IEEE Trans. on Systems Technology"},{"issue":"2","key":"1_CR28","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1109\/18.910585","volume":"47","author":"Y. Weiss","year":"2001","unstructured":"Weiss, Y., Freeman, W.T.: On the Optimality of Solutions of the Max-Product Belief-Propagation Algorithm in Arbitrary Graphs. IEEE Trans. on Information Theory\u00a047(2), 723\u2013735 (2001)","journal-title":"IEEE Trans. on Information Theory"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2003 - Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45187-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T07:57:40Z","timestamp":1740211060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45187-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407539","9783540451877"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45187-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}