{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:31:24Z","timestamp":1725564684193},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153891"},{"type":"electronic","value":"9783642153907"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15390-7_40","type":"book-chapter","created":{"date-parts":[[2010,9,3]],"date-time":"2010-09-03T08:14:41Z","timestamp":1283501681000},"page":"389-398","source":"Crossref","is-referenced-by-count":1,"title":["Coloured Petri Net Diagnosers for Lumped Process Systems"],"prefix":"10.1007","author":[{"given":"Attila","family":"T\u00f3th","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erzs\u00e9bet","family":"N\u00e9meth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katalin M.","family":"Hangos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"Alves de Medeiros, A.K., Gunther, C.W.: Process mining: Using CPN Tools to create test logs for mining algorithms. In: Proceedings of the 6th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 177\u2013190 (2005)"},{"key":"40_CR2","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0951-8320(00)00042-9","volume":"70","author":"V. Bartolozzi","year":"2000","unstructured":"Bartolozzi, V., Castiglione, L., Piciotto, A., Galuzzo, M.: Qualitative models of equipment units and their use in automatic HAZOP analysis. Reliability Engineering and Systems Safety\u00a070, 49\u201357 (2000)","journal-title":"Reliability Engineering and Systems Safety"},{"key":"40_CR3","unstructured":"CPN Group, University of Aarhus, Denmark: CPNTools 2.2.0, http:\/\/wiki.daimi.au.dk\/cpntools\/"},{"key":"40_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/3-540-44919-1_21","volume-title":"Applications and Theory of Petri Nets 2003","author":"S. Genc","year":"2003","unstructured":"Genc, S., Lafortune, S.: Distributed diagnosis of discrete-event systems using Petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 316\u2013336. Springer, Heidelberg (2003)"},{"issue":"2","key":"40_CR5","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1109\/TASE.2006.879916","volume":"4","author":"S. Genc","year":"2007","unstructured":"Genc, S., Lafortune, S.: Distributed diagnosis of place-bordered Petri nets. IEEE Transactions on Automation Science and Engineering\u00a04(2), 206\u2013219 (2007)","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"40_CR6","volume-title":"Process Modelling and Model Analysis","author":"K.M. Hangos","year":"2001","unstructured":"Hangos, K.M., Cameron, I.T.: Process Modelling and Model Analysis. Academic Press, London (2001)"},{"key":"40_CR7","volume-title":"Intelligent Control Systems: An Introduction with Examples","author":"K.M. Hangos","year":"2001","unstructured":"Hangos, K.M., Lakner, R., Gerzson, M.: Intelligent Control Systems: An Introduction with Examples. Kluwer Academic Publisher, New York (2001)"},{"key":"40_CR8","first-page":"1447","volume-title":"20th European Symposium on Computer Aided Process Engineering - ESCAPE20","author":"K.M. Hangos","year":"2010","unstructured":"Hangos, K.M., N\u00e9meth, E., Lakner, R., T\u00f3th, A.: Detectability and diagnosability of faults in lumped process systems. In: Pierucci, S., Buzzi Ferraris, G. (eds.) 20th European Symposium on Computer Aided Process Engineering - ESCAPE20, pp. 1447\u20131452. Elsevier, B.V (2010)"},{"key":"40_CR9","volume-title":"Basic Concepts. Monographs in Theoretical Computer Science","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Basic Concepts. Monographs in Theoretical Computer Science, vol.\u00a01. Springer, Heidelberg (1997)"},{"key":"40_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11779568_10","volume-title":"Advances in Applied Artificial Intelligence","author":"R. Lakner","year":"2006","unstructured":"Lakner, R., N\u00e9meth, E., Hangos, K.M., Cameron, I.T.: Multiagent realization of prediction-based diagnosis and loss prevention. In: Ali, M., Dapoigny, R. (eds.) IEA\/AIE 2006. LNCS (LNAI), vol.\u00a04031, pp. 70\u201380. Springer, Heidelberg (2006)"},{"key":"40_CR11","doi-asserted-by":"crossref","unstructured":"Lunze, J.: Diagnosability of deterministic I\/O automata. In: Prep. 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp. 1378\u20131383 (2009)","DOI":"10.3182\/20090630-4-ES-2003.00224"},{"key":"40_CR12","doi-asserted-by":"publisher","first-page":"1095","DOI":"10.1016\/j.ress.2009.01.001","volume":"94","author":"C. Palmer","year":"2009","unstructured":"Palmer, C., Chung, P.W.H.: An automated system for batch hazard and operability studies. Reliability Engineering and Systems Safety\u00a094, 1095\u20131106 (2009)","journal-title":"Reliability Engineering and Systems Safety"},{"key":"40_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-73094-1_28","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"W.M.P. Aalst van der","year":"2007","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., Gunther, C.W., Mans, R.S., Alves de Medeiros, A.K., Rozinat, A., Rubin, V., Song, M., Verbeek, H.M.W., Weijters, A.J.M.M.: ProM 4.0: Comprehensive support for real process analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 484\u2013494. Springer, Heidelberg (2007)"},{"key":"40_CR14","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/S0098-1354(02)00161-8","volume":"27","author":"V. Venkatasubramanian","year":"2003","unstructured":"Venkatasubramanian, V., Rengaswamy, R., Kavuri, S.N.: A review of process fault detection and diagnosis Part II: Qualitative models and search strategies. Computers & Chemical Engineering\u00a027, 313\u2013326 (2003)","journal-title":"Computers & Chemical Engineering"},{"key":"40_CR15","unstructured":"Wen, Y.L., Jeng, M.D.: Diagnosability of Petri nets. In: 2004 IEEE International Conference on Systems, Man and Cybernetics, pp. 4891\u20134896 (2004)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based and Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15390-7_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:06:39Z","timestamp":1606187199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15390-7_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153891","9783642153907"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15390-7_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}