{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:15:08Z","timestamp":1740122108851,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T00:00:00Z","timestamp":1482364800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100005783","name":"University of Kashan","doi-asserted-by":"publisher","award":["10234"],"award-info":[{"award-number":["10234"]}],"id":[{"id":"10.13039\/501100005783","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Med Syst"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1007\/s10916-016-0664-5","type":"journal-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T09:03:33Z","timestamp":1482397413000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets"],"prefix":"10.1007","volume":"41","author":[{"given":"Negar","family":"Majma","sequence":"first","affiliation":[]},{"given":"Seyed Morteza","family":"Babamir","sequence":"additional","affiliation":[]},{"given":"Amirhassan","family":"Monadjemi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,22]]},"reference":[{"key":"664_CR1","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/MSP.2013.49","volume":"11","author":"H Alemzadeh","year":"2013","unstructured":"Alemzadeh, H., Iyer, R.K., Kalbarczyk, Z., and Raman, J., Analysis of safety-critical computer failures in medical devices. IEEE Secur. Priv. 11:14\u201326, 2013.","journal-title":"IEEE Secur. Priv."},{"key":"664_CR2","unstructured":"Alemzadeh, H., Raman, J., Leveson, N., and Iyer, R. K., Safety implications of robotoc surgery: a study of 13\u00a0years of FDA data on DA VINCI surgical systems. Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 2016."},{"key":"664_CR3","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/j.asoc.2004.03.005","volume":"4","author":"A Wojtasik","year":"2004","unstructured":"Wojtasik, A., Jaworski, Z., Ku\u017amicz, W., Wielgus, A., Wa\u0142kanis, A., and Sarna, D., Fuzzy logic controller for rate-adaptive heart pacemaker. Appl. Soft Comput. J. 4:259\u2013270, 2004.","journal-title":"Appl. Soft Comput. J."},{"key":"664_CR4","doi-asserted-by":"crossref","unstructured":"Sandro, W. A. S., and Haddad, A. P., The Evolution of Pacemakers: An Electronics Perspective. Ultra Low-Power Biomed. Signal Process., pp 13\u201331, 2009.","DOI":"10.1007\/978-1-4020-9073-8_2"},{"issue":"6","key":"664_CR5","doi-asserted-by":"crossref","first-page":"1399","DOI":"10.1109\/TSMC.2013.2256125","volume":"43","author":"H-C Liu","year":"2013","unstructured":"Liu, H.-C., Lin, Q.-L., Mao, L.-X., and Zhang, Z.-Y., Dynamic adaptive fuzzy petri nets for knowledge representation and reasoning. IEEE Trans. Syst. Man, Cybern. Syst. 43(6):1399\u20131410, 2013.","journal-title":"IEEE Trans. Syst. Man, Cybern. Syst."},{"issue":"6","key":"664_CR6","doi-asserted-by":"crossref","first-page":"1220","DOI":"10.1109\/TSMCA.2006.878968","volume":"36","author":"VRL Shen","year":"2006","unstructured":"Shen, V.R.L., Knowledge representation using high-level fuzzy petri nets. IEEE Transactions on Systems, Man, and Cybernetics-part A Systems and Humans. 36(6):1220\u20131227, 2006.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics-part A Systems and Humans"},{"issue":"3","key":"664_CR7","doi-asserted-by":"crossref","first-page":"181","DOI":"10.4103\/2228-7477.137769","volume":"4","author":"N Majma","year":"2014","unstructured":"Majma, N., and Babamir, S.M., Specification and verification of medical monitoring system using petri-nets. J. Med. Signals Sensors. 4(3):181\u2013193, Jul. 2014.","journal-title":"J. Med. Signals Sensors"},{"key":"664_CR8","doi-asserted-by":"crossref","unstructured":"Majma, N., and Babamir, S. M., Medical software runtime checking using petri-nets & software agents. 4th International Conference on Computer and Knowledge Engineering, pp. 449\u2013454, 2014.","DOI":"10.1109\/ICCKE.2014.6993410"},{"key":"664_CR9","doi-asserted-by":"crossref","unstructured":"Majma, N., Babamir, S. M., and Monadjemi, A., Runtime verification of pacemaker using fuzzy logic and colored petri-nets. 4th Iranian Joint Congress on Fuzzy and Intelligent Systems, pp. 1\u20135, 2015.","DOI":"10.1109\/CFIS.2015.7391705"},{"key":"664_CR10","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/978-1-4419-7046-6_65","volume":"696","author":"SM Babamir","year":"2011","unstructured":"Babamir, S.M., A framework for specifying safe behavior of the CIIP medical system. Adv. Exp. Med. Biol. 696:637\u2013644, 2011.","journal-title":"Adv. Exp. Med. Biol."},{"key":"664_CR11","doi-asserted-by":"crossref","unstructured":"Barbosa, P. E. S., Morais, M., Galdino, K., Andrade, M. A., Gomes, L., Moutinho, F., and de Figueiredo, J. C. A., Towards medical device behavioural validation using petri nets. 26th International Symposium on Computer-Based Medical System, pp. 4\u201310, 2013.","DOI":"10.1109\/CBMS.2013.6627756"},{"key":"664_CR12","doi-asserted-by":"crossref","first-page":"1131","DOI":"10.1177\/193229681200600518","volume":"6","author":"P Herrero","year":"2012","unstructured":"Herrero, P., Calm, R., Veh\u00ed, J., Armengol, J., Georgiou, P., Oliver, N., and Tomazou, C., Robust fault detection system for insulin pump therapy using continuous glucose monitoring. J. Diabetes Sci. Technol. 6:1131\u20131141, 2012.","journal-title":"J. Diabetes Sci. Technol."},{"issue":"11\u201312","key":"664_CR13","doi-asserted-by":"crossref","first-page":"960","DOI":"10.1016\/j.actaastro.2011.07.012","volume":"69","author":"J Wu","year":"2011","unstructured":"Wu, J., Yan, S., and Xie, L., Reliability analysis method of a solar array by using fault tree analysis and fuzzy reasoning petri net. Acta Astronaut. 69(11\u201312):960\u2013968, 2011.","journal-title":"Acta Astronaut."},{"issue":"4","key":"664_CR14","doi-asserted-by":"crossref","first-page":"2053","DOI":"10.1109\/TPWRS.2004.836256","volume":"19","author":"J Sun","year":"2004","unstructured":"Sun, J., Qin, S.-Y., and Song, Y.H., Fault diagnosis of electric power systems based on fuzzy petri nets. IEEE Trans. Power Syst. 19(4):2053\u20132059, 2004.","journal-title":"IEEE Trans. Power Syst."},{"issue":"4","key":"664_CR15","doi-asserted-by":"crossref","first-page":"1073","DOI":"10.1109\/TPWRS.2002.804947","volume":"17","author":"C Chen","year":"2002","unstructured":"Chen, C., Lin, C., and Tsai, H., A rule-based expert system with colored petri net models for distribution system service restoration. IEEE Trans. Power Syst. 17(4):1073\u20131080, 2002.","journal-title":"IEEE Trans. Power Syst."},{"issue":"2","key":"664_CR16","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/JBHI.2013.2279595","volume":"18","author":"WL Chen","year":"2014","unstructured":"Chen, W.L., Kan, C.D., Lin, C.H., and Chen, T., A rule-based decision-making diagnosis system to evaluate arteriovenous shunt stenosis for hemodialysis treatment of patients using fuzzy petri nets. IEEE J. Biomed. Health Inform. 18(2):703\u2013713, 2014.","journal-title":"IEEE J. Biomed. Health Inform."},{"issue":"8","key":"664_CR17","doi-asserted-by":"crossref","first-page":"849","DOI":"10.1016\/j.anucene.2003.12.002","volume":"31","author":"SJ Lee","year":"2004","unstructured":"Lee, S.J., and Seong, P.H., Development of automated operating procedure system using fuzzy colored petri nets for nuclear power plants. Ann. Nucl. Energy. 31(8):849\u2013869, 2004.","journal-title":"Ann. Nucl. Energy"},{"key":"664_CR18","unstructured":"Yu, Z., Fu, X., Cai, Y., and Vuran, M. C., A reliable energy-efficient multi-level routing algorithm for wireless sensor networks using fuzzy petri nets. Sens. J. 3381\u20133400, 2011."},{"key":"664_CR19","doi-asserted-by":"crossref","unstructured":"Jantzen, J., Foundations of fuzzy control: a practical approach. John Wiley & Sons, 2013.","DOI":"10.1002\/9781118535608"},{"key":"664_CR20","doi-asserted-by":"crossref","unstructured":"Li, X., Wen, Y., and Sergio, P., Adaptive fuzzy petri nets for supervisory hybrid systems modeling. 15th Triennial World Congress, 2002.","DOI":"10.3182\/20020721-6-ES-1901.01032"},{"issue":"8","key":"664_CR21","doi-asserted-by":"crossref","first-page":"3980","DOI":"10.1016\/j.eswa.2014.12.048","volume":"42","author":"K-Q Zhou","year":"2015","unstructured":"Zhou, K.-Q., Zain, A.M., and Mo, L.-P., A decomposition algorithm of fuzzy petri net using an index function and incidence matrix. Expert Syst. Appl. 42(8):3980\u20133990, 2015.","journal-title":"Expert Syst. Appl."},{"issue":"3","key":"664_CR22","doi-asserted-by":"crossref","first-page":"554","DOI":"10.1016\/j.scient.2011.04.007","volume":"18","author":"S Barzegar","year":"2011","unstructured":"Barzegar, S., Davoudpour, M., Meybodi, M.R., Sadeghian, A., and Tirandazian, M., Formalized learning automata with adaptive fuzzy coloured petri net; an application specific to managing traffic signals. Scientia Iranica. 18(3):554\u2013565, 2011.","journal-title":"Scientia Iranica"},{"issue":"2","key":"664_CR23","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1109\/TKDE.2003.1185845","volume":"15","author":"SJH Yang","year":"2003","unstructured":"Yang, S.J.H., Tsai, J.J.P., and Chen, C.C., Fuzzy rule base systems verification using high-level petri nets. IEEE Trans. Knowl. Data Eng. 15(2):457\u2013473, 2003.","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"3","key":"664_CR24","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0957-4174(00)00036-1","volume":"19","author":"X Li","year":"2000","unstructured":"Li, X., and Lara-Rosano, F., Adaptive fuzzy petri nets for dynamic knowledge representation and inference. Expert Syst. Appl. 19(3):235\u2013241, 2000.","journal-title":"Expert Syst. Appl."},{"issue":"4","key":"664_CR25","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1109\/5326.897071","volume":"30","author":"XLX Li","year":"2000","unstructured":"Li, X.L.X., Yu, W.Y.W., and Lara-Rosano, F., Dynamic knowledge inference and learning under adaptive fuzzy petri net framework. IEEE Transactions on Systems, Man, Cybernetics, Part C. 30(4):442\u2013450, 2000.","journal-title":"IEEE Transactions on Systems, Man, Cybernetics, Part C"},{"key":"664_CR26","unstructured":"Zhang, Z., Wang, S., and Yuan, X., Advanced self-adaptation learning and inference techniques for fuzzy petri net expert system units. Lecture Notes in Computet Science, vol. 5855 LNAI, pp. 487\u2013496, 2009."},{"issue":"4","key":"664_CR27","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1109\/69.706063","volume":"10","author":"T Manoj","year":"1998","unstructured":"Manoj, T., and Leena, J., Knowledge representation using fuzzy petri nets-revisited. IEEE Trans. Knowl. Data Eng. 10(4):666\u2013667, 1998.","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"664_CR28","unstructured":"Singh, N. K., Lawford, M., Maibaum, T. S. E., and Wassyng, A., Centre for software certification mcmaster centre for software certification. MCSCert report 19, no. October, 2014."},{"key":"664_CR29","doi-asserted-by":"crossref","unstructured":"Jayaraj, N., Cherian, C. M., and Vaidyanathan, S. G., Intelligent insulin infuser. In: Third UKSim European Symposium on Computer Modeling and Simulation, pp. 74\u201378, 2009.","DOI":"10.1109\/EMS.2009.64"},{"issue":"6","key":"664_CR30","doi-asserted-by":"crossref","first-page":"1817","DOI":"10.1109\/JSEN.2011.2177256","volume":"12","author":"WV Shi","year":"2012","unstructured":"Shi, W.V., and Zhou, M., Body sensors applied in pacemakers: a survey. IEEE Sensors J. 12(6):1817\u20131827, 2012.","journal-title":"IEEE Sensors J."},{"issue":"3","key":"664_CR31","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1109\/69.60794","volume":"2","author":"S-MCS-M Chen","year":"1998","unstructured":"Chen, S.-M.C.S.-M., KE, J.-S., and CHANG, J.-F., Knowledge representation using fuzzy petri nets-revisited. IEEE Trans. Knowl. Data Eng. 2(3):311\u2013319, 1998.","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"3","key":"664_CR32","doi-asserted-by":"crossref","first-page":"1315","DOI":"10.1109\/TSMCB.2003.822956","volume":"34","author":"L Gniewek","year":"2004","unstructured":"Gniewek, L., and Kluska, J., Hardware implementation of fuzzy petri net as a controller. IEEE Trans. Syst. Man Cybern. B. 34(3):1315\u20131324, 2004.","journal-title":"IEEE Trans. Syst. Man Cybern. B"},{"issue":"2","key":"664_CR33","doi-asserted-by":"crossref","first-page":"829","DOI":"10.1007\/s10916-010-9547-3","volume":"36","author":"SM Babamir","year":"2012","unstructured":"Babamir, S.M., Constructing a model-based software monitor for the insulin pump behavior. J. Med. Syst. 36(2):829\u2013840, 2012.","journal-title":"J. Med. Syst."}],"container-title":["Journal of Medical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10916-016-0664-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10916-016-0664-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10916-016-0664-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,28]],"date-time":"2020-09-28T04:54:22Z","timestamp":1601268862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10916-016-0664-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,22]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,2]]}},"alternative-id":["664"],"URL":"https:\/\/doi.org\/10.1007\/s10916-016-0664-5","relation":{},"ISSN":["0148-5598","1573-689X"],"issn-type":[{"type":"print","value":"0148-5598"},{"type":"electronic","value":"1573-689X"}],"subject":[],"published":{"date-parts":[[2016,12,22]]},"article-number":"27"}}