{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T09:52:16Z","timestamp":1768643536908,"version":"3.49.0"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2021]]},"DOI":"10.1109\/access.2021.3121092","type":"journal-article","created":{"date-parts":[[2021,10,27]],"date-time":"2021-10-27T19:57:46Z","timestamp":1635364666000},"page":"143434-143447","source":"Crossref","is-referenced-by-count":10,"title":["Improving the Correctness of Medical Diagnostics Based on Machine Learning With Coloured Petri Nets"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3173-2549","authenticated-orcid":false,"given":"Muhammad","family":"Nauman","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2475-5590","authenticated-orcid":false,"given":"Nadeem","family":"Akhtar","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6158-1801","authenticated-orcid":false,"given":"Omar H.","family":"Alhazmi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4354-6073","authenticated-orcid":false,"given":"Mustafa","family":"Hameed","sequence":"additional","affiliation":[]},{"given":"Habib","family":"Ullah","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2215-5877","authenticated-orcid":false,"given":"Nadia","family":"Khan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/0893-6080(88)90021-4"},{"key":"ref38","author":"salzberg","year":"1994","journal-title":"C4 5 Programs for Machine Learning"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2012.12.002"},{"key":"ref32","article-title":"Symmetry reduction and heuristic search for error detection in model checking","author":"lluch-lafuente","year":"2003","journal-title":"Proc Workshop Model Checking Artif Intell (MoChArt)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0104-3"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6_3"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/BF00993349"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009887311454"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.38094\/jastt20165"},{"key":"ref34","year":"2021","journal-title":"A tool for editing simulating and analyzing Colored Petri nets"},{"key":"ref60","first-page":"1","article-title":"The multi-purpose incremental learning system aq15 and its testing application to three medical domains","volume":"1986","author":"michalski","year":"1986","journal-title":"Proc AAAI"},{"key":"ref62","article-title":"The WEKA workbench","author":"frank","year":"2016","journal-title":"Data Mining Practical Machine Learning Tools and Techniques"},{"key":"ref61","author":"quinlan","year":"2014","journal-title":"C4 5 Programs for Machine Learning"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-019-00448-9"},{"key":"ref28","author":"clarke","year":"2018","journal-title":"Model checking"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/s10044-014-0375-9"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60029-9_41"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3322\/caac.21492"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3322\/caac.21551"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3088901"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2008.09.002"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2005.1556388"},{"key":"ref24","article-title":"Kommunikation mit automaten","author":"petri","year":"1962"},{"key":"ref23","volume":"1","author":"jensen","year":"2013","journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3241403.3241445"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-019-03856-0"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2007.895334"},{"key":"ref59","first-page":"702","article-title":"Identifying and correcting label bias in machine learning","volume":"108","author":"jiang","year":"2020","journal-title":"Proc 23rd Int Conf Artif Intell Statist"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/98894.99114"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2017.01.007"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2016.11.017"},{"key":"ref55","first-page":"304","article-title":"Generating production rules from decision trees","volume":"87","author":"quinlan","year":"1987","journal-title":"Proc IJCAI"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ICSSIT46314.2019.8987766"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2019.02.012"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-017-3130-5"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-020-05394-5"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2018.1700571"},{"key":"ref40","author":"domingos","year":"2015","journal-title":"The Master Algorithm How the Quest for the Ultimate Learning Machine Will Remake Our World"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2470644"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1155\/2020\/8857346"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2019.1800344"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICMEW46912.2020.9106026"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2015.2463226"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1155\/2020\/3685614"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IWSM-MENSURA.2011.44"},{"key":"ref19","first-page":"182","article-title":"Fairness, correctness, and automation","author":"drews","year":"2020"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3322\/caac.21456"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1155\/2021\/5528622"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1155\/2021\/6679512"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.cmpb.2016.07.020"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3322\/caac.21601"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13498-2_46"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.5120\/17219-7456"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-40850-3_14"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2019.105941"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0026666"},{"key":"ref48","article-title":"An automated breast cancer diagnosis using feature selection and parameter optimization in ANN","volume":"90","year":"2021","journal-title":"Comput Electr Eng"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.32604\/cmc.2021.015326"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/5254.708428"},{"key":"ref41","article-title":"On layer-wise representations in deep neural networks","author":"gr\u00e9goire","year":"2013"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010933404324"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1985.6313426"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9312710\/09583925.pdf?arnumber=9583925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,21]],"date-time":"2022-02-21T22:24:38Z","timestamp":1645482278000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9583925\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"references-count":64,"URL":"https:\/\/doi.org\/10.1109\/access.2021.3121092","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]}}}