{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T21:58:00Z","timestamp":1648591080181},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,5,1]],"date-time":"2018-05-01T00:00:00Z","timestamp":1525132800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Vietnam J Comput Sci"],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1007\/s40595-018-0110-3","type":"journal-article","created":{"date-parts":[[2018,5,19]],"date-time":"2018-05-19T13:36:09Z","timestamp":1526736969000},"page":"143-155","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Failures in discrete-event systems and dealing with them by means of Petri nets"],"prefix":"10.1007","volume":"5","author":[{"given":"Franti\u0161ek","family":"\u010capkovi\u010d","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,19]]},"reference":[{"key":"110_CR1","doi-asserted-by":"crossref","unstructured":"Bernardi, S. et al.: Model-driven availability evaluation of railway control systems. In: Proceedings of 30th International Conference on Computer Safety, Reliability and Security\u2014SAFECOMP 2011, Naples, Italy. LNCS vol. 6894, pp. 15\u201328, Springer (2011)","DOI":"10.1007\/978-3-642-24270-0_2"},{"issue":"9","key":"110_CR2","doi-asserted-by":"crossref","first-page":"989","DOI":"10.1016\/j.conengprac.2010.12.010","volume":"19","author":"MP Cabasino","year":"2011","unstructured":"Cabasino, M.P., Giua, A., Pocci, M., Seatzu, C.: Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems. Control Eng. Pract. 19(9), 989\u20131001 (2011)","journal-title":"Control Eng. Pract."},{"issue":"12","key":"110_CR3","doi-asserted-by":"crossref","first-page":"3104","DOI":"10.1109\/TAC.2012.2200372","volume":"57","author":"MP Cabasino","year":"2012","unstructured":"Cabasino, M.P., Giua, A., Lafortune, S., Seatzu, C.: New approach for diagnosability analysis of Petri nets using verifier nets. IEEE Trans. Autom. Control 57(12), 3104\u20133117 (2012)","journal-title":"IEEE Trans. Autom. Control"},{"key":"110_CR4","first-page":"429","volume-title":"Complex Systems. Relationships Between Control, Communications and Computing, Chapter 20, Springer Series: Studies in Systems, Decision and Control","author":"F \u010capkovi\u010d","year":"2016","unstructured":"\u010capkovi\u010d, F.: Petri net-based synthesis of agent cooperation by means of modularity and supervision principles. In: Dimirovski, G.M. (ed.) Complex Systems. Relationships Between Control, Communications and Computing, Chapter 20, Springer Series: Studies in Systems, Decision and Control, pp. 429\u2013450. Springer, Cham (2016)"},{"key":"110_CR5","first-page":"379","volume-title":"ACIIDS 2017, Part I, LNAI 10191","author":"F \u010capkovi\u010d","year":"2017","unstructured":"\u010capkovi\u010d, F.: Failures in discrete event systems and dealing with them by means of Petri nets. In: Nguyen, N.T., et al. (eds.) ACIIDS 2017, Part I, LNAI 10191, pp. 379\u2013391. Springer, Cham (2017)"},{"issue":"4","key":"110_CR6","first-page":"767","volume":"21","author":"SJ Chang","year":"1991","unstructured":"Chang, S.J., DiCesare, F., Goldbogen, G.: Failure propagation trees for diagnosis in manufacturing systems. IEEE Trans. SMC 21(4), 767\u2013776 (1991)","journal-title":"IEEE Trans. SMC"},{"key":"110_CR7","unstructured":"Chung, S., Wu, C., Jeng, M.: Failure diagnosis: a case study on modeling and analysis by Petri nets. In: Proceedings of IEEE International Conference on Systems, Man & Cybernetics, Washington, DC, 5\u20138 October 2003, pp. 2727\u20132732 (2003)"},{"key":"110_CR8","series-title":"Advances in Petri Nets, LNCS","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J Desel","year":"1998","unstructured":"Desel, J., Reisig, W.: Place\/transition Petri nets. In: Reisig, W., Rozenberg, G. (eds.) Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, LNCS, vol. 1491, pp. 122\u2013173. Springer, Heidelberg (1998)"},{"key":"110_CR9","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","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 Tracts in Theoretical Computer Science, vol. 40. Cambridge University Press, Cambridge (1995)"},{"key":"110_CR10","unstructured":"Fanni, A., Giua, A., Sanna, N.: Control and error recovery of Petri net models with event observers. In: Proceeding of Second International Workshop on Manufacturing and Petri Nets, Toulouse, France, pp. 53\u201368 (1997)"},{"key":"110_CR11","doi-asserted-by":"crossref","unstructured":"Giua, A.: State estimation and fault detection using Petri nets. In: Kristensen, L.M. and Petrucci, L. (Eds.): Proceedings of 32nd International Conference on Applications and Theory of Petri Nets 2011, Newcastle, UK, June 20\u201324, 2011. Lecture Notes in Computer Science, vol. 6709, pp. 419\u2013428, Springer, New York (2011)","DOI":"10.1007\/978-3-642-21834-7_3"},{"key":"110_CR12","unstructured":"Guo, Z. et al: Failure recovery: when the cure is worse than the disease. In: Proceedings of 14th Workshop on Hot Topics in Operating Systems, Santa Ana Pueblo, New Mexico, USA, May 13\u201315 2013, USENIX, Berkeley. https:\/\/www.usenix.org\/conference\/hotos13\/failure-recovery-when-cure-worse-disease (2013)"},{"key":"110_CR13","unstructured":"Haar, S.: Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets. Research Report RR-6902. INRIA, Rennes (2009)"},{"issue":"3","key":"110_CR14","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1076\/mcmd.9.3.233.24147","volume":"9","author":"Z Huang","year":"2003","unstructured":"Huang, Z., Chandra, V., Jiang, S., Kumar, R.: Modeling discrete event systems with faults using a rules based modeling formalism. Math. Comput. Model. Dyn. Syst. 9(3), 233\u2013254 (2003)","journal-title":"Math. Comput. Model. Dyn. Syst."},{"issue":"3","key":"110_CR15","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"SE\u201313","author":"NG Leveson","year":"1987","unstructured":"Leveson, N.G., Stolzy, J.L.: Safety analysis using Petri nets. IEEE Trans. Softw. Eng. SE\u201313(3), 386\u2013397 (1987)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"110_CR16","series-title":"IFAC-Papers OnLine 48-7","first-page":"064","volume-title":"On-the-Fly Diagnosability Analysis of Labeled Petri Nets Using T-invariants","author":"B Li","year":"2015","unstructured":"Li, B., Khlif-Bouassida, M., Toguy\u00e9ni, A.: On-the-Fly Diagnosability Analysis of Labeled Petri Nets Using T-invariants. IFAC-Papers OnLine 48-7, pp. 064\u2013070. Elsevier, Amsterdam (2015)"},{"key":"110_CR17","doi-asserted-by":"crossref","unstructured":"Liu, B.: An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets\u2014Untimed and Timed Contexts. Ph.D. Thesis, Laboratoire d\u2019 Automatique, G\u00e9nie Informatique et Signal, \u00c9cole Centrale de Lille, Lille (2014)","DOI":"10.1109\/ECC.2014.6862505"},{"key":"110_CR18","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77, 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"110_CR19","first-page":"302","volume-title":"Petri Net,Theory and Applications","author":"NG Odrey","year":"2008","unstructured":"Odrey, N.G.: Error recovery in production systems: a Petri net based intelligent system approach. In: Kordic, V. (ed.) Petri Net,Theory and Applications, pp. 302\u2013336. I-Tech Education and Publishing, Vienna (2008)"},{"key":"110_CR20","volume-title":"Petri Net Theory and the Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall Inc., Englewood Cliffs (1981)"},{"issue":"9","key":"110_CR21","doi-asserted-by":"crossref","first-page":"1358","DOI":"10.1109\/21.310512","volume":"24","author":"S Ramaswamy","year":"1994","unstructured":"Ramaswamy, S., Valavanis, K.P.: Modeling, analysis and simulation of failures in a materials handling system with extended Petri nets. IEEE Trans. Syst. Man Cybern. 24(9), 1358\u20131373 (1994)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"issue":"1","key":"110_CR22","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/TASE.2006.872120","volume":"4","author":"A Ram\u00edrez-Trevi\u00f1o","year":"2007","unstructured":"Ram\u00edrez-Trevi\u00f1o, A., Ruiz-Beltr\u00e1n, A.E., Rivera-Rangel, I., L\u00f3pez-Mellado, E.: Online fault diagnosis of discrete event systems. A Petri net-based approach. IEEE Trans. Autom. Sci. Eng. 4(1), 31\u201339 (2007)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"2","key":"110_CR23","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1109\/TSMCA.2011.2169950","volume":"42","author":"A Ram\u00edrez-Trevi\u00f1o","year":"2012","unstructured":"Ram\u00edrez-Trevi\u00f1o, A., Ruiz-Beltr\u00e1n, A.E., Ar\u00e1mburo-Liz\u00e1rraga, J., L\u00f3pez-Mellado, E.: Structural diagnosability of DES and design of reduced Petri net diagnosers. IEEE Trans. Syst. Man Cybern. A 42(2), 416\u2013429 (2012)","journal-title":"IEEE Trans. Syst. Man Cybern. A"},{"key":"110_CR24","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/978-3-540-68746-7_28","volume-title":"Applications and Theory of Petri Nets, LNCS","author":"F Sessego","year":"2008","unstructured":"Sessego, F., Giua, A., Seatzu, C.: HYPENS: a matlab tool for timed discrete, continuous and hybrid petri nets. In: van Hee, K.M., Valk, R. (eds.) Applications and Theory of Petri Nets, LNCS, vol. 5062, pp. 419\u2013428. Springer, New York (2008)"},{"key":"110_CR25","doi-asserted-by":"crossref","unstructured":"Urban, S.D. et al.: The assurance point model for consistency and recovery in service composition. In: Innovations, Standards and Practices of Web Services: Emerging Research Topics, Chapter 12, pp. 250\u2013287, IGI Global (2012)","DOI":"10.4018\/978-1-61350-104-7.ch012"},{"key":"110_CR26","unstructured":"Wen, Y., Jeng, M.: Diagnosability analysis based on T-invariants of Petri nets. In: Proceedings of 2005 IEEE International Conference on Networking, Sensing and Control, March 2005, pp. 371\u2013376 (2005)"},{"key":"110_CR27","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1016\/j.arcontrol.2013.09.009","volume":"37","author":"J Zaytoon","year":"2013","unstructured":"Zaytoon, J., Lafortune, S.: Overview of fault diagnosis methods for discrete event systems. Annu. Rev. Control 37, 308\u2013320 (2013)","journal-title":"Annu. Rev. Control"}],"container-title":["Vietnam Journal of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s40595-018-0110-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40595-018-0110-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40595-018-0110-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,18]],"date-time":"2019-10-18T07:07:06Z","timestamp":1571382426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s40595-018-0110-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["110"],"URL":"https:\/\/doi.org\/10.1007\/s40595-018-0110-3","relation":{},"ISSN":["2196-8888","2196-8896"],"issn-type":[{"value":"2196-8888","type":"print"},{"value":"2196-8896","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5]]}}}