{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T15:15:23Z","timestamp":1723475723492},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T00:00:00Z","timestamp":1358812800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1007\/s10458-013-9221-5","type":"journal-article","created":{"date-parts":[[2013,1,21]],"date-time":"2013-01-21T13:21:41Z","timestamp":1358774501000},"page":"155-181","source":"Crossref","is-referenced-by-count":3,"title":["Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis"],"prefix":"10.1007","volume":"28","author":[{"given":"Hammadi","family":"Bennoui","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,1,22]]},"reference":[{"key":"9221_CR1","unstructured":"Anglano, C., & Portinale, L. (1994). B-W Analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation. LNCS: Application and Theory of Petri Nets (pp. 39\u201358)."},{"key":"9221_CR2","unstructured":"Baldan, P., Corradini, A., Ehrig, H., & Heckel, R. (2001). Compositional modeling of reactive systems using open nets. In K. Larsen & M. Nielsen (Eds.), Proceedings of CONCUR 2001 (Vol. 2154, pp. 502\u2013518)., of LNCS New York: Springer."},{"issue":"2","key":"9221_CR3","first-page":"350","volume":"4","author":"H Bennoui","year":"2007","unstructured":"Bennoui, H., & Chaoui, A. (2007). Backward reachability analysis based on BPNs to model-based diagnosis with relationships among symptoms. International Review on Computers and Software, 4(2), 350\u2013356.","journal-title":"International Review on Computers and Software"},{"key":"9221_CR4","doi-asserted-by":"crossref","unstructured":"Bennoui, H., Chaoui, A., & Barkaoui, K. (2009). Distributed causal model-based diagnosis based on interacting behavioral Petri nets. In Proceedings of the 8th international symposium on parallel and distributed computing (ISPDC\u201909) (pp. 99\u2013106).","DOI":"10.1109\/ISPDC.2009.11"},{"key":"9221_CR5","unstructured":"Bennoui, H., Maouche, M., & Bettaz, M. (1999). Une approche pour le diagnostic des pannes dans les r\u00e9seaux. In Actes du CFIP\u201999 (Herm\u00e8s Edition, pp. 433\u2013445)."},{"key":"9221_CR6","doi-asserted-by":"crossref","first-page":"714","DOI":"10.1109\/TAC.2003.811249","volume":"5","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Fabre, E., Haar, S., & Jard, C. (2003). Diagnosis of asynchronous discrete event systems: a net unfolding appraoch. IEEE Transactions on Automatic Control, 5, 714\u2013727.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"9221_CR7","unstructured":"Bocaniala, C., & da Costa, J. S. (2004). Novel framework for using causal models in distributed fault diagnosis. In The workshop on advances in control and diagnosis, Karlsruhe, Germany (pp. 142\u2013147)."},{"issue":"9","key":"9221_CR8","doi-asserted-by":"crossref","first-page":"989","DOI":"10.1016\/j.conengprac.2010.12.010","volume":"19","author":"M Cabasino","year":"2011","unstructured":"Cabasino, M., Giua, A., Pocci, M., & Seatzu, C. (2011). Discrete event diagnosis using labeled petri nets. An application to manufacturing systems. Control Engineering Practice, 19(9), 989\u20131001.","journal-title":"Control Engineering Practice"},{"issue":"9","key":"9221_CR9","doi-asserted-by":"crossref","first-page":"1531","DOI":"10.1016\/j.automatica.2010.06.013","volume":"46","author":"MP Cabasino","year":"2010","unstructured":"Cabasino, M. P., Giua, A., & Seatzu, C. (2010). Fault detection for discrete event systems using petri nets with unobservable transitions. Automatica, 46(9), 1531\u20131539.","journal-title":"Automatica"},{"key":"9221_CR10","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1002\/int.1990.5.1.83","volume":"5","author":"L Console","year":"1990","unstructured":"Console, L., & Torasso, P. (1990). Hypothetical reasoning in causal models. International Journal of Intelligent Systems, 5, 83\u2013124.","journal-title":"International Journal of Intelligent Systems"},{"issue":"3","key":"9221_CR11","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L Console","year":"1991","unstructured":"Console, L., & Torasso, P. (1991). A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3), 133\u2013141.","journal-title":"Computational Intelligence"},{"key":"9221_CR12","unstructured":"ElAyeb, B., Marquis, P., & Rusinowitch, M. (1990). A new diagnosis approach by deduction and abduction. In International workshop on expert systems in engineering, LNAI (pp. 32\u201346)."},{"key":"9221_CR13","doi-asserted-by":"crossref","unstructured":"Gen\u00e7, S., & Lafortune, S. (2005). A distributed algorithm for on-line diagnosis of place-bordered Petri nets. In IFAC world congress (pp. 04\u201308).","DOI":"10.3182\/20050703-6-CZ-1902.01436"},{"issue":"1","key":"9221_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/s10626-005-5239-4","volume":"15","author":"A Giua","year":"2005","unstructured":"Giua, A., Corona, D., & Seatzu, C. (2005). State estimation of $$\\lambda $$ -free labeled petri nets with contact-free nondeterministic transitions. Discrete Event Dynamic Systems: Theory and Applications, 15(1), 85\u2013108.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"9221_CR15","first-page":"270","volume":"6","author":"A Giua","year":"2004","unstructured":"Giua, A., J\u00f9lvez, J., & Seatzu, C. (2004). Marking estimation of petri nets with pairs of nondeterministic transitions. Asian Journal of Control (Special Issue on the Control of Discrete Event Systems), 6, 270\u2013280.","journal-title":"Asian Journal of Control (Special Issue on the Control of Discrete Event Systems)"},{"key":"9221_CR16","unstructured":"Giua, A., & Seatzu, C. (2005). Fault detection for discrete event systems using petri nets with unobservale transitions. In Proceedings of CDC-ECC\u201905: 44th international conference on decision and control and European control conference (pp. 6323\u20136328)."},{"key":"9221_CR17","unstructured":"Jiroveanu, G., & Boel, R. K. (2005). Multi-agent distributed contextual diagnosis for large Petri net models. In Proceedings of the workshop on control of hybrid and discrete event systems (pp. 185\u2013214)."},{"key":"9221_CR18","unstructured":"Jiroveanu, G., & Boel, R. K. (2005) Petri net model-based distributed diagnosis for large interacting systems. In Proceedings of DX\u201905 (pp. 25\u201330)."},{"key":"9221_CR19","unstructured":"Kalech, M., & Kaminka, G. (2005). Towards model-based diagnosis of coordination failures. In Proceedings of American association for, artificial intelligence (AAAI05) (pp. 102\u2013107)."},{"key":"9221_CR20","doi-asserted-by":"crossref","unstructured":"Lafortune, S., Teneketzis, D., Sampath, M., Sengupta, R., & Sinnamohideen, K. (2001). Failure diagnosis of dynamic systems: An approach based on discrete event systems. In The American control conference (pp. 2058\u20132071).","DOI":"10.1109\/ACC.2001.946047"},{"key":"9221_CR21","volume-title":"Entwurf komplexer Autimatisierungssysteme, EKA 9","author":"K Lautenbach","year":"2006","unstructured":"Lautenbach, K., Philippi, S., & Pinl, A. (2006). Bayesian networks and Petri nets. In In E. Schnieder (Ed.), Entwurf komplexer Autimatisierungssysteme, EKA 9. Braunschweig: Fachtagung."},{"key":"9221_CR22","unstructured":"Micalizio, R., & Torasso, P. (2008). Supervision and diagnosis of joint actions in multi-agent plans. In Proceedings of of 7th interenational conference on autonomous agents and multiagent systems (AAMAS 2008) (pp. 1375\u20131378)."},{"issue":"4","key":"9221_CR23","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"9221_CR24","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1109\/32.21746","volume":"15","author":"G Peterka","year":"1989","unstructured":"Peterka, G., & Murata, T. (1989). Proof procedure and answer extraction in Petri net model of logic programs. IEEE Transactions on Software Engineering, 15(2), 209\u2013217.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9221_CR25","unstructured":"Poole, D. (1989). Normality and faults in logic-based diagnosis. In The 11th international joint conference on, artificial intelligence (pp. 1304\u20131310)."},{"issue":"1","key":"9221_CR26","first-page":"339","volume":"691","author":"L Portinale","year":"1993","unstructured":"Portinale, L. (1993). Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model. Application and Theory of Petri Nets, LNCS, 691(1), 339\u2013356.","journal-title":"Application and Theory of Petri Nets, LNCS"},{"key":"9221_CR27","unstructured":"Portinale, L. (1996). Improving model-based diagnosis through algebraic analysis: The Petri net challenge. In The 13th national conference on artificial intelligence-AAAI\u201996 (pp. 952\u2013958)."},{"key":"9221_CR28","doi-asserted-by":"crossref","unstructured":"Portinale, L. (1997). Behavioral Petri nets: A model for diagnostic knowledge representation and reasoning. IEEE Transactions on Systems, Man and Cybernetics. Part B: Cybernetics, 27(2), 184\u2013195.","DOI":"10.1109\/3477.558794"},{"key":"9221_CR29","unstructured":"Roos, N., Teije, A., Bos, A., & Witteveen, C. (2002). Multi-agent diagnosis with spatially distributed knowledge. In BNAIC\u201902 (pp. 275\u2013282)."},{"key":"9221_CR30","doi-asserted-by":"crossref","unstructured":"Roos, N., ten Teije, A., & Witteveen, C. (2003). A protocol for multi-agent diagnosis with spatially distributed knowledge. In Proceedings of international conference on, autonomous agents and multi-agent systems (AAMAS03) (pp. 655\u2013661).","DOI":"10.1145\/860575.860681"},{"key":"9221_CR31","unstructured":"Roos, N., ten Teije, A., & Witteveen, C. (2004). Reaching diagnostic agreement in multi-agent diagnosis. In Proceedings of the third international joint conference on autonomous agents and multiagent systems-volume 3, AAMAS \u201904."},{"key":"9221_CR32","first-page":"357","volume":"3698","author":"N Roos","year":"2005","unstructured":"Roos, N., & Witteveen, C. (2005). Diagnosis of plan execution and the executing agent. Lecture Notes in Artificial Intelligence (LNAI), 3698, 357\u2013366.","journal-title":"Lecture Notes in Artificial Intelligence (LNAI)"},{"key":"9221_CR33","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1613\/jair.2408","volume":"31","author":"M Ryan","year":"2008","unstructured":"Ryan, M. (2008). Exploiting subgraph structure in multi-robot path planning. Journal of Artificial Intelligence Research, 31, 497\u2013542.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9221_CR34","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1016\/j.amc.2006.05.090","volume":"183","author":"MA Salido","year":"2006","unstructured":"Salido, M. A., & Barber, F. (2006). Distributed csps by graph partitioning. Applied Mathematics and Computation, 183, 491\u2013498.","journal-title":"Applied Mathematics and Computation"},{"issue":"9","key":"9221_CR35","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., & Teneketzis, D. (1995). Diagnosibility of discrete event systems. IEEE Transactions on Automatic Control, 40(9), 1555\u20131575.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"9221_CR36","doi-asserted-by":"crossref","unstructured":"Su, R., & Wonham, W. M. (2004). A model of component consistency in distributed diagnosis. In IFAC workshop on discrete event systems (WODES\u201904) (pp. 427\u2013432).","DOI":"10.1016\/S1474-6670(17)30782-6"},{"key":"9221_CR37","unstructured":"Wittenven, C., Roos, N., van der Krogt, R., & de Weerdt, M. (2005). Diagnosis of single and multi-agent plans. In Proceedings of international conference on, autonomous agents and multi-agent systems (AAMAS05) (pp. 805\u2013812)."}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-013-9221-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-013-9221-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-013-9221-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T15:42:51Z","timestamp":1562600571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-013-9221-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,22]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["9221"],"URL":"https:\/\/doi.org\/10.1007\/s10458-013-9221-5","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,22]]}}}