{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":455,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":455,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"query_hash":"1cb54a6040a9","filters":{"topic":"Petri Nets in System Modeling"}},"results":[{"id":"W2154148696","doi":"10.1007/978-3-319-77452-7_9","title":"Supervisory Control of Timed Discrete-Event Systems","year":2018,"lang":"en","type":"book-chapter","venue":"Communications and control engineering/Communications and control engineering series","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":366,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Event (particle physics); Computer science; Control (management); Discrete event dynamic system; Discrete system; Programming language; Physics; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.01704960051631926,"gpt":0.2102516715236114,"spread":0.1932020710072921,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000944264,0.0008782605,0.001561962,0.0006011802,0.0004636432,0.0004011689,0.004590131,0.0005061611,0.00001272695],"category_scores_gemma":[0.0001220913,0.0009181384,0.0002906166,0.0002154225,0.0005171003,0.0006863591,0.001352913,0.0008962402,0.00001252099],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001268781,"about_ca_system_score_gemma":0.0001483137,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005539553,"about_ca_topic_score_gemma":0.00001808273,"domain_scores_codex":[0.9966539,0.000135867,0.001547587,0.0006728303,0.0004185837,0.0005713006],"domain_scores_gemma":[0.9893566,0.001184796,0.0006027973,0.007952045,0.0005963992,0.0003073193],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006185011,0.000115558,0.0000401077,0.0007494188,0.001879476,0.000005236966,0.0009188839,0.02413986,0.002625149,0.9623546,0.0001300082,0.006979832],"study_design_scores_gemma":[0.00190288,0.0002096607,0.0000671739,0.0008261481,0.0003134,0.00008293439,0.0000484493,0.8571674,0.000006407487,0.0004638957,0.1381001,0.0008115217],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00004771081,0.1244663,0.867707,0.001683371,0.0003901852,0.001287588,0.0004021713,0.0005380313,0.00347768],"genre_scores_gemma":[0.9622203,0.01537727,0.01719655,0.00007843407,0.000153836,0.0005727542,0.00007472972,0.0001592771,0.004166817],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9621726,"threshold_uncertainty_score":0.9993269,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2115425820","doi":"10.1109/tac.2006.875030","title":"Nonblocking Supervisory Control of State Tree Structures","year":2006,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":214,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Computer science; State (computer science); Tree (set theory); State space; Tree structure; Control (management); Theoretical computer science; Control system; Adaptation (eye); Control theory (sociology); Algorithm; Mathematics; Engineering; Binary tree; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.01462028552831373,"gpt":0.2257360555745237,"spread":0.2111157700462099,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004245675,0.0002873382,0.0005677199,0.0003952542,0.0001774532,0.0001137545,0.0007971553,0.00009689615,0.00004572318],"category_scores_gemma":[0.00001008027,0.0002642824,0.0002436391,0.0004489688,0.00006783157,0.0003459282,0.000002222378,0.0001789526,0.0000261246],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009798553,"about_ca_system_score_gemma":0.0001165359,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001860887,"about_ca_topic_score_gemma":0.0001176648,"domain_scores_codex":[0.9974608,0.0002176315,0.0008549769,0.0004260606,0.0006116106,0.0004289213],"domain_scores_gemma":[0.9980639,0.0005939231,0.0002612677,0.0008470717,0.0001471469,0.00008664586],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005060739,0.0003089991,0.00008469724,0.0001434266,0.0002458876,0.00002674279,0.0006577959,0.6767803,0.02842094,0.001760462,0.00008420591,0.2914359],"study_design_scores_gemma":[0.003292376,0.0001049021,0.0007546301,0.0000936506,0.00005945648,0.00002896687,0.00001771627,0.9839262,0.009470046,0.001950494,0.00004586383,0.0002557207],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05626664,0.0001603148,0.9412529,0.0002193281,0.0007215172,0.0004912039,0.00004487656,0.0004555098,0.0003877376],"genre_scores_gemma":[0.989802,0.00000307771,0.009751909,0.0001796026,0.00004474222,0.00006703392,4.795784e-7,0.00002524258,0.0001259383],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9335353,"threshold_uncertainty_score":0.9999809,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2016380948","doi":"10.1023/b:disc.0000005009.40749.b6","title":"Supervisor Reduction for Discrete-Event Systems","year":2003,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":172,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Sublanguage; Supervisor; Supervisory control; Supervisory control theory; Automaton; Reduction (mathematics); Event (particle physics); Controllability; State (computer science); Computer science; Product (mathematics); Observability; Mathematics; Control theory (sociology); Control (management); Algorithm; Theoretical computer science; Programming language; Artificial intelligence; Physics; Applied mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.01828708053069561,"gpt":0.277910279274752,"spread":0.2596231987440564,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002405716,0.000592309,0.0008401648,0.0003615555,0.00044203,0.0006962602,0.001493679,0.0002735016,0.00000471134],"category_scores_gemma":[0.0001715852,0.0005351235,0.0004288771,0.0007481046,0.00006229142,0.0009207524,0.0001807457,0.0002428854,0.00008137436],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000764799,"about_ca_system_score_gemma":0.000216111,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002660902,"about_ca_topic_score_gemma":0.00001271863,"domain_scores_codex":[0.9942957,0.0007298083,0.001512544,0.001364026,0.001026319,0.001071667],"domain_scores_gemma":[0.9967177,0.0001940377,0.0005949515,0.001872122,0.0002999509,0.0003212372],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007573957,0.0002923933,0.0006148604,0.002699109,0.0006165209,0.0000488719,0.003560816,0.4521903,0.007394471,0.5255723,0.004249715,0.002684959],"study_design_scores_gemma":[0.0009604737,0.0001826359,0.00003269199,0.0007131331,0.00004572736,0.0004519274,0.001658235,0.9815032,0.0001187351,0.0006604638,0.01290397,0.0007687487],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01954826,0.004771663,0.9566953,0.0002165914,0.01427565,0.002730626,0.000100436,0.0004915818,0.001169924],"genre_scores_gemma":[0.9907442,0.00005458797,0.003713364,0.00001673978,0.0003409933,0.001123941,0.00008141365,0.00009140448,0.003833356],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9711959,"threshold_uncertainty_score":0.99971,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2100969324","doi":"10.1109/tac.2003.812780","title":"Minimal communication in a distributed discrete-event system","year":2003,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":126,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Automaton; Computer science; Event (particle physics); Distributed computing; Finite-state machine; Multi-agent system; State (computer science); Theoretical computer science; Artificial intelligence; Algorithm","retraction":null,"screen_n_in":null,"score":{"opus":0.01382798760733907,"gpt":0.249565564335675,"spread":0.2357375767283359,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000857181,0.0002065604,0.0003627517,0.000256476,0.0001861475,0.0001348928,0.0007256789,0.00009667748,0.00001678677],"category_scores_gemma":[0.00002575003,0.0001985759,0.0001316335,0.0006651186,0.00003345292,0.0003272842,0.000002317784,0.0001975124,0.00007599217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004254548,"about_ca_system_score_gemma":0.0001089064,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004266914,"about_ca_topic_score_gemma":0.00005906885,"domain_scores_codex":[0.9976235,0.0006185591,0.0006870308,0.000348842,0.000377665,0.0003443899],"domain_scores_gemma":[0.9980828,0.0004510913,0.0001706631,0.001131013,0.00006219505,0.0001022636],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009523424,0.001713012,0.0002626129,0.0006827458,0.0004126432,0.0001229191,0.005027012,0.8386136,0.002550507,0.05452358,0.0002613443,0.0957348],"study_design_scores_gemma":[0.001853134,0.00005676009,0.0001888299,0.0003132592,0.00002179662,0.00005228392,0.0001866235,0.9963212,0.0005893461,0.0001126449,0.0001030656,0.0002010389],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01608424,0.00009463725,0.9815279,0.0003373126,0.000418031,0.0005866687,0.0000266947,0.0004618294,0.000462727],"genre_scores_gemma":[0.9881158,0.000003682719,0.01148002,0.00006198884,0.000005876969,0.0002773773,0.000001462315,0.00001446173,0.00003926713],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9720317,"threshold_uncertainty_score":0.8097688,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2119106833","doi":"10.1109/tac.2009.2039237","title":"Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems","year":2010,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":125,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisor; Modular design; Supervisory control; Event (particle physics); Supervisory control theory; Control (management); Computer science; Controller (irrigation); Control theory (sociology); Decomposition; Scale (ratio); Distributed computing; Control engineering; Engineering; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.01184339030742768,"gpt":0.235719830213922,"spread":0.2238764399064943,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007517335,0.000327299,0.0007047263,0.0003323462,0.000221787,0.0002079258,0.001091373,0.0001754136,0.00002494828],"category_scores_gemma":[0.00004831315,0.000288826,0.0002364717,0.0009027058,0.00006274623,0.0003283135,0.000005144157,0.0002686872,0.00005354835],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00010228,"about_ca_system_score_gemma":0.0001509016,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009598795,"about_ca_topic_score_gemma":0.000019847,"domain_scores_codex":[0.9969535,0.0002508367,0.001005613,0.0005826557,0.0007445756,0.0004627705],"domain_scores_gemma":[0.9974808,0.0003910504,0.0002388306,0.001321916,0.0002794751,0.0002879442],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004364532,0.0005163484,0.00003279167,0.0002036331,0.000189527,0.000004393126,0.0007086235,0.9804808,0.003731738,0.003972522,0.0001274337,0.009988578],"study_design_scores_gemma":[0.002339444,0.0001656024,0.00005187255,0.0001116103,0.00007530383,0.0000470676,0.00009023237,0.9954174,0.001033018,0.00004612436,0.0003306039,0.0002916755],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005504193,0.00004302535,0.9896123,0.0005178588,0.001820051,0.001627738,0.0002134274,0.0004688552,0.0001925157],"genre_scores_gemma":[0.9911011,0.000001225747,0.007985352,0.0002097004,0.00006695681,0.0005372578,0.00000457669,0.00002732763,0.00006646077],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.985597,"threshold_uncertainty_score":0.9999564,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2121468570","doi":"10.1109/3477.875441","title":"On the complexity of supervisory control design in the RW framework","year":2000,"lang":"en","type":"article","venue":"IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":113,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"TD Bank Group; University of Toronto","funders":"","keywords":"Supervisory control; Intersection (aeronautics); Class (philosophy); Subject (documents); Set (abstract data type); Control (management); Field (mathematics); Point (geometry); Computer science; State space; Theoretical computer science; State (computer science); Time complexity; Space (punctuation); Work (physics); Polynomial; Algebra over a field; Algorithm; Mathematics; Engineering; Pure mathematics; Artificial intelligence; Programming language","retraction":null,"screen_n_in":null,"score":{"opus":0.0766427817339873,"gpt":0.2525667720792886,"spread":0.1759239903453013,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001803842,0.0004049089,0.0005430171,0.0001868566,0.0003109564,0.0003056117,0.001532176,0.0002423078,0.0000938649],"category_scores_gemma":[0.00002187221,0.0002747311,0.0001575061,0.0006381613,0.0004785465,0.0001214187,0.000007037935,0.0007301765,0.0001205251],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006765977,"about_ca_system_score_gemma":0.0000598428,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002632601,"about_ca_topic_score_gemma":0.00006604136,"domain_scores_codex":[0.9955314,0.001497162,0.0009057816,0.000637756,0.0008869921,0.0005408524],"domain_scores_gemma":[0.9958219,0.002214198,0.0001894588,0.001545238,0.0001011666,0.0001280592],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002987631,0.001393886,0.0001248267,0.0002184941,0.0002904694,0.00005612328,0.01701928,0.6242033,0.0002441222,0.3296736,0.002662133,0.02381489],"study_design_scores_gemma":[0.00272753,0.001315222,0.001012521,0.001640021,0.0001491643,0.0002067428,0.001486888,0.9557256,0.001397559,0.0262861,0.006844779,0.001207866],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06817847,0.0006635017,0.9237947,0.001263122,0.0008073101,0.00135835,0.00003782717,0.00009954943,0.003797173],"genre_scores_gemma":[0.9967378,0.0002734702,0.001309255,0.0007448346,0.00008743143,0.0001721579,7.176557e-7,0.00003255892,0.0006417811],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9285593,"threshold_uncertainty_score":0.9999705,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2132568449","doi":"10.1080/00207540600620955","title":"Modelling and optimization of multiple-aspect RMS configurations","year":2006,"lang":"en","type":"article","venue":"International Journal of Production Research","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":101,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Windsor","funders":"Korea Institute of Machinery and Materials","keywords":"Computer science; Mathematical optimization; Mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.1062565267222342,"gpt":0.3701480521767214,"spread":0.2638915254544871,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002023584,0.0000621557,0.0001200956,0.0007698018,0.00008836791,0.0001453495,0.000592967,0.00003831059,0.000009512059],"category_scores_gemma":[0.0004271168,0.00005657044,0.00004337386,0.0003992209,0.00008294141,0.0006066554,0.0001010382,0.0002317395,0.000001848414],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001111747,"about_ca_system_score_gemma":0.0001439235,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001057023,"about_ca_topic_score_gemma":0.000004527716,"domain_scores_codex":[0.9977312,0.0001576725,0.000562838,0.0001878306,0.001231765,0.0001286773],"domain_scores_gemma":[0.9955966,0.0001816183,0.000313796,0.0001744162,0.003693434,0.00004016852],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002174857,0.00005909073,0.0003424049,0.000006622707,0.000024112,0.000006682813,0.0001787479,0.9859198,0.004520717,0.007148412,0.0002879686,0.001483653],"study_design_scores_gemma":[0.0002927784,0.00005136585,0.000120795,0.00007919519,0.000002365603,0.0002338972,0.00007119218,0.9845302,0.01061093,0.003607494,0.0003475673,0.0000522981],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08309868,0.000283132,0.9127679,0.002353211,0.0009098426,0.00009399546,0.000001609267,0.00001223788,0.0004793782],"genre_scores_gemma":[0.8833231,0.00008332127,0.1158584,0.000004420797,0.0005765217,0.000002376845,0.000001418135,0.000005363426,0.0001451096],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8002244,"threshold_uncertainty_score":0.2306875,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4254050426","doi":"10.1007/bfb0006306","title":"Supervisory control of a class of discrete event processes","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in control and information sciences","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":99,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisor; Asynchronous communication; Supervisory control; Computer science; Class (philosophy); Event (particle physics); Controller (irrigation); Formal language; Grammar; Generator (circuit theory); Process (computing); Control (management); Supervisory control theory; Programming language; Discrete event dynamic system; Theoretical computer science; Control theory (sociology); Control engineering; Artificial intelligence; Discrete system; Engineering; Linguistics","retraction":null,"screen_n_in":null,"score":{"opus":0.01812401699355516,"gpt":0.2411339933187881,"spread":0.2230099763252329,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001038787,0.0002581941,0.0006173568,0.0005981844,0.00008636463,0.0001264208,0.0009003617,0.0002261256,0.00001204895],"category_scores_gemma":[0.0004206155,0.0001922917,0.00008830641,0.0002844167,0.0003467898,0.002393299,0.0001036009,0.0002147456,0.0000036504],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003786257,"about_ca_system_score_gemma":0.000403509,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002713248,"about_ca_topic_score_gemma":0.00005558147,"domain_scores_codex":[0.9975837,0.0000369703,0.001103028,0.0002691557,0.0007684528,0.0002386883],"domain_scores_gemma":[0.9976659,0.0007274067,0.0008619994,0.0003060496,0.0003832865,0.00005532507],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001346642,0.00003654679,0.0009989038,0.001807058,0.0001252823,0.000002253532,0.007448239,0.2024138,0.0002824494,0.2109202,0.00002882419,0.5758017],"study_design_scores_gemma":[0.002686141,0.0004730054,0.0001940691,0.001407786,0.00004483127,0.00003174386,0.00003472514,0.9442235,0.0004782296,0.0263893,0.02338691,0.0006497435],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001820512,0.00430022,0.9696112,0.0009486272,0.000187079,0.0004364813,0.00005283026,0.00003032198,0.02425115],"genre_scores_gemma":[0.9960015,0.0003331758,0.002820411,0.0006691322,0.00005960251,0.00001380452,0.000003159937,0.000004859123,0.00009436577],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9958194,"threshold_uncertainty_score":0.7841429,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1507306347","doi":"10.1023/a:1013339920783","title":"Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":98,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Supervisor; Abstraction; Supervisory control; State space; Hybrid system; Existential quantification; State (computer science); Approximation theory; Control (management); Space (punctuation); Mathematics; Control system; Point (geometry); Computer science; Discrete mathematics; Applied mathematics; Algorithm; Mathematical analysis; Artificial intelligence; Engineering","retraction":null,"screen_n_in":null,"score":{"opus":0.02825970214907624,"gpt":0.2387633250202957,"spread":0.2105036228712195,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001243393,0.0005420216,0.001021661,0.0005482115,0.0002624861,0.0003336728,0.00196992,0.0001173355,0.00001675123],"category_scores_gemma":[0.0001100431,0.0004810521,0.0003865664,0.0006879893,0.0001043411,0.0005492037,0.0001528308,0.0002860107,0.0001588463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003517674,"about_ca_system_score_gemma":0.00006605681,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002089217,"about_ca_topic_score_gemma":0.000004335109,"domain_scores_codex":[0.9943362,0.0008321758,0.001622279,0.001004045,0.001431167,0.0007740785],"domain_scores_gemma":[0.9959188,0.000517261,0.0007581293,0.002305773,0.0002456392,0.0002544081],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002363217,0.0001773289,0.0005693185,0.0008849525,0.0001712227,0.0000536128,0.000495703,0.9685553,0.001006707,0.02688516,0.0005470069,0.0006300657],"study_design_scores_gemma":[0.001331062,0.0001721226,0.00008673088,0.0009991594,0.0000367392,0.00007964727,0.0001846027,0.9956156,0.00001751428,0.00007376794,0.0008891365,0.0005139099],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008183829,0.002033374,0.9810448,0.0003220384,0.002768099,0.001642791,0.0004956814,0.0003797375,0.003129677],"genre_scores_gemma":[0.9974483,0.00001655117,0.001218292,0.00007225944,0.0001304681,0.0003645681,0.000062834,0.00006370617,0.0006229773],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9892645,"threshold_uncertainty_score":0.9997641,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2139931873","doi":"10.1109/cdc.1988.194296","title":"Controllability and observability in the state-feedback control of discrete-event systems","year":2003,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":91,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Observability; Controllability; Predicate (mathematical logic); Observable; Control theory (sociology); Computer science; Discrete event dynamic system; Sublanguage; State (computer science); State variable; Mathematics; Discrete system; Algorithm; Control (management); Artificial intelligence; Applied mathematics; Programming language; Physics","retraction":null,"screen_n_in":null,"score":{"opus":0.02030990511220271,"gpt":0.2520595597740076,"spread":0.2317496546618049,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00472732,0.0001462502,0.0004032858,0.00004707433,0.0000485252,0.0001152325,0.0006878369,0.00005090795,0.000003209549],"category_scores_gemma":[0.0004073962,0.00008912169,0.00005898012,0.0003669798,0.00009968661,0.0002741736,0.00006905016,0.0001216978,0.000002357169],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006707315,"about_ca_system_score_gemma":0.00008261049,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004452574,"about_ca_topic_score_gemma":0.00009463605,"domain_scores_codex":[0.99703,0.001182728,0.0006834221,0.0004161195,0.0004036783,0.0002840369],"domain_scores_gemma":[0.9976801,0.0009741723,0.000159404,0.001001586,0.0001240664,0.0000606537],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001279642,0.0006467647,0.3897574,0.0006858375,0.0001091968,0.00002125757,0.008346962,0.09017678,0.00170482,0.5038459,0.0001569057,0.004420282],"study_design_scores_gemma":[0.003639024,0.0001833188,0.04044366,0.00007729234,0.00001260092,0.00003401842,0.0009930751,0.9396985,0.000255602,0.01365714,0.0006841699,0.0003216581],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.383801,0.0007231868,0.6131186,0.0002591436,0.0001922656,0.0006992646,0.000006322552,0.00002910603,0.001171084],"genre_scores_gemma":[0.9977769,0.000006874026,0.002015047,0.0001026026,0.000007827773,0.00004474157,2.128251e-7,0.000004139867,0.00004164191],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8495216,"threshold_uncertainty_score":0.3634277,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2153113788","doi":"10.1109/wodes.2006.382399","title":"TCT: A Computation Tool for Supervisory Control Synthesis","year":2006,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":90,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Computer science; Computation; Control (management); Programming language; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.02707418376481781,"gpt":0.2383186887042866,"spread":0.2112445049394688,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004213937,0.0001045878,0.000168314,0.00009547226,0.0001020685,0.0001575519,0.0004286567,0.00005053158,0.000006753611],"category_scores_gemma":[0.00006549827,0.0000941523,0.00008101902,0.0001731727,0.00001262934,0.0003454265,0.0000460704,0.00003242816,0.00003904867],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004751509,"about_ca_system_score_gemma":0.00003851877,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004277409,"about_ca_topic_score_gemma":0.00001045662,"domain_scores_codex":[0.9989256,0.00005007381,0.0002859501,0.0003041353,0.000201504,0.0002327292],"domain_scores_gemma":[0.9988551,0.0006643971,0.0000549891,0.0002800282,0.0001187279,0.00002680566],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005226963,0.0003290657,0.004265869,0.0002185422,0.00009035649,0.00002419482,0.0003848062,0.2661214,0.007963815,0.4767552,0.03888384,0.2049107],"study_design_scores_gemma":[0.0004432174,0.00001874349,0.0004341813,0.00001569191,0.000006615229,0.00001408776,0.000007165448,0.9916986,0.001184787,0.004875613,0.001152263,0.0001490893],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01724276,0.00007204094,0.9780383,0.0005158087,0.0002447664,0.0003233446,0.000005159499,0.0002933871,0.003264446],"genre_scores_gemma":[0.8274813,4.635854e-7,0.1717911,0.000232786,0.0001096813,0.00009747145,0.00000138905,0.000007799285,0.0002780089],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8102385,"threshold_uncertainty_score":0.3839419,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1995703354","doi":"10.1007/s00170-013-5022-x","title":"On Petri net implementation of proactive resilient holistic supply chain networks","year":2013,"lang":"en","type":"article","venue":"The International Journal of Advanced Manufacturing Technology","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":87,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Petri net; Supply chain; Construct (python library); Computer science; Process architecture; Distributed computing; Set (abstract data type); Complex system; Field (mathematics); Systems engineering; Engineering; Artificial intelligence; Computer network; Mathematics; Programming language","retraction":null,"screen_n_in":null,"score":{"opus":0.01335160089507846,"gpt":0.2868267523125645,"spread":0.273475151417486,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003888739,0.0001376229,0.000213902,0.0006206055,0.000057011,0.00005932143,0.002287115,0.00006968557,0.00002365526],"category_scores_gemma":[0.0001145201,0.00009836754,0.00007532691,0.0001894402,0.00007650146,0.0004238831,0.0003574158,0.0003767038,0.000006542066],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002408678,"about_ca_system_score_gemma":0.00005766036,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000031911,"about_ca_topic_score_gemma":0.000007200887,"domain_scores_codex":[0.9983753,0.00005061971,0.0006048551,0.0001898955,0.0005595824,0.0002197486],"domain_scores_gemma":[0.9980503,0.0002628217,0.0008758342,0.0003779248,0.00039649,0.00003658205],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000159262,0.0001409355,0.0003000394,0.00001153045,0.0004378788,0.00005950059,0.0006580286,0.4545546,0.0116369,0.07888529,0.0009340663,0.4522219],"study_design_scores_gemma":[0.002499124,0.001013452,0.009093242,0.0002917504,0.00002992043,0.0007486611,0.001449275,0.04117083,0.7537147,0.188928,0.000698502,0.0003625043],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6821647,0.0001057,0.3130215,0.003446525,0.0009330368,0.000203412,0.00000199263,0.00004152611,0.00008160599],"genre_scores_gemma":[0.9835489,0.00007564272,0.01608385,0.0001347381,0.0001023925,0.00001791411,9.862443e-7,0.000009795835,0.00002582887],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7420778,"threshold_uncertainty_score":0.4250067,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2091559615","doi":"10.1023/b:disc.0000005010.55515.27","title":"On the Computation of Observers in Discrete-Event Systems","year":2003,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":85,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Observer (physics); Automaton; Supervisor; Equivalence (formal languages); Computation; Event (particle physics); Mathematics; Supervisory control; Computer science; Hierarchy; Supervisory control theory; Theoretical computer science; Blocking (statistics); Algorithm; Property (philosophy); Control (management); Artificial intelligence; Discrete mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.02032097885488185,"gpt":0.2727381858779031,"spread":0.2524172070230213,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002640563,0.0003615943,0.000607948,0.000298654,0.0001401053,0.000211038,0.001234288,0.0001400134,0.000002252022],"category_scores_gemma":[0.0002033451,0.0002623814,0.00020365,0.000962051,0.00006518791,0.0003391818,0.0001417438,0.0002623704,0.00003437873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005305891,"about_ca_system_score_gemma":0.0001338006,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005954793,"about_ca_topic_score_gemma":0.0000456489,"domain_scores_codex":[0.9950177,0.001353115,0.001313784,0.0006933152,0.001076922,0.0005451345],"domain_scores_gemma":[0.9973823,0.0005360492,0.0006977774,0.001145943,0.0001276839,0.0001102897],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009184751,0.00005441051,0.0009052824,0.0002270022,0.00004973745,0.00001617193,0.0007442637,0.7256803,0.0001788625,0.2718776,0.0001214187,0.0001357801],"study_design_scores_gemma":[0.0005311909,0.0001072831,0.0005565416,0.001418893,0.00001028386,0.00003654926,0.001254834,0.9945461,0.00003219399,0.001026621,0.0001699663,0.000309567],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.247876,0.001276545,0.7444305,0.0001797483,0.003383722,0.001301832,0.00002401861,0.0001034846,0.001424118],"genre_scores_gemma":[0.9990917,0.00001611019,0.000308912,0.00002517902,0.00002997087,0.0001590102,0.00001372822,0.00003285239,0.0003225096],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7512158,"threshold_uncertainty_score":0.9999828,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2147280474","doi":"10.1109/pnpm.1991.238781","title":"Performance Petri net analysis of communications protocol software by delay-equivalent aggregation","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":78,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Carleton University","funders":"Instituto de Telecomunicações","keywords":"Petri net; Rendezvous; Computer science; Testbed; State space; Software; Theoretical computer science; Protocol (science); State (computer science); Stochastic Petri net; Communications protocol; Distributed computing; Algorithm; Computer engineering; Programming language; Mathematics; Computer network","retraction":null,"screen_n_in":null,"score":{"opus":0.05186891868687409,"gpt":0.2938087050545204,"spread":0.2419397863676463,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000389217,0.0001234079,0.000248563,0.0003991117,0.000158738,0.00007356561,0.001937419,0.00005833226,0.000114972],"category_scores_gemma":[0.00005362841,0.0001123913,0.0001109945,0.002519241,0.00005453191,0.0005858691,0.0004464574,0.0001054818,0.00003882299],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008271042,"about_ca_system_score_gemma":0.00002045883,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000483128,"about_ca_topic_score_gemma":0.00001616815,"domain_scores_codex":[0.9984295,0.0001095103,0.0005308202,0.0002867643,0.0004369728,0.0002064538],"domain_scores_gemma":[0.997277,0.000145103,0.0002861402,0.002006913,0.0002190795,0.00006572702],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002385679,0.001768303,0.121555,0.0005101908,0.001859554,0.000004738195,0.006711852,0.1224066,0.001369809,0.009766684,0.03382604,0.7001974],"study_design_scores_gemma":[0.000210374,0.00004844916,0.0004853074,0.00003171847,0.0000493745,0.000002943886,0.00001195565,0.9939187,0.0004697644,0.00001693028,0.004625704,0.0001287326],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007020954,0.0001118623,0.9777571,0.000243498,0.00004518925,0.009851752,0.000009782393,0.0002286021,0.00473129],"genre_scores_gemma":[0.8322395,0.00003847876,0.1560602,0.0000898193,0.00001095071,0.01058389,0.00001319383,0.000008578569,0.0009553255],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8715122,"threshold_uncertainty_score":0.4583183,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4302621582","doi":"10.1007/978-1-4471-5058-9_54","title":"Supervisory Control of Discrete-Event Systems","year":2015,"lang":"en","type":"book-chapter","venue":"Encyclopedia of Systems and Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":73,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; State space; Controller (irrigation); Event (particle physics); Discrete event dynamic system; Control (management); Computer science; State (computer science); Computation; Supervisory control theory; Base (topology); Control theory (sociology); Discrete system; Mathematics; Algorithm; Artificial intelligence; Physics; Mathematical analysis","retraction":null,"screen_n_in":null,"score":{"opus":0.02323039634617732,"gpt":0.2285620161669775,"spread":0.2053316198208001,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0017328,0.0006718421,0.002382552,0.0003887176,0.00007243473,0.0001133948,0.001297523,0.000580742,0.000008045807],"category_scores_gemma":[0.00007356166,0.0005737487,0.0003159625,0.00008410204,0.0001565979,0.0003427468,0.0002238531,0.0003720861,0.00002113766],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001199349,"about_ca_system_score_gemma":0.0003872206,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003881483,"about_ca_topic_score_gemma":0.000008203573,"domain_scores_codex":[0.9950488,0.0002132481,0.002118154,0.0008475842,0.001301427,0.0004708399],"domain_scores_gemma":[0.9953691,0.0004226051,0.001653222,0.00145057,0.0007749071,0.0003296043],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001489457,0.00008702231,0.0005372104,0.004236773,0.001374156,0.0001144895,0.001332339,0.009692943,0.0001973489,0.9701303,0.004636645,0.007511816],"study_design_scores_gemma":[0.01014821,0.001114602,0.00006897572,0.007810753,0.0007538028,0.0003148342,0.0003948718,0.3135111,0.000004923342,0.003774026,0.6597753,0.002328676],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001277136,0.1377039,0.5157614,0.00009082365,0.004808751,0.002352879,0.0004853799,0.0001396983,0.3385294],"genre_scores_gemma":[0.9027902,0.001299115,0.0001544963,0.00002018759,0.0007876544,0.0001161078,0.000009869218,0.00007965104,0.09474276],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9663563,"threshold_uncertainty_score":0.9996714,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2142604061","doi":"10.1109/cimat.1994.389054","title":"The supervisory control of the automated manufacturing system of the AIP","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":69,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Modular design; Supervisory control; Automaton; Control (management); Computer science; Supervisory control theory; Control system; Control engineering; Artificial intelligence; Engineering; Programming language","retraction":null,"screen_n_in":null,"score":{"opus":0.02452625180138966,"gpt":0.2045571752229288,"spread":0.1800309234215392,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006932977,0.0001177111,0.0001973102,0.00003060363,0.0002748303,0.00006213241,0.002841804,0.00005381646,0.000006532055],"category_scores_gemma":[0.00004503734,0.00004716923,0.0001513698,0.0002673645,0.00009297819,0.00009202148,0.0004211624,0.000118026,0.00001179563],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000617933,"about_ca_system_score_gemma":0.00002605401,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007261791,"about_ca_topic_score_gemma":0.00001463912,"domain_scores_codex":[0.9982641,0.0003186803,0.0004705247,0.0001939817,0.0005135718,0.0002391799],"domain_scores_gemma":[0.9977646,0.0003686093,0.0002376941,0.00151736,0.00008448157,0.00002725208],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006395785,0.000626702,0.02410633,0.002673774,0.001419561,0.00002411364,0.02273168,0.3055546,0.06246676,0.4786884,0.02408439,0.07755976],"study_design_scores_gemma":[0.000273023,0.000008995223,0.002012128,0.000125511,0.000008485421,0.00002141183,0.0001709242,0.9772485,0.01965929,0.0000442264,0.0003622654,0.00006525882],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7098634,0.002132606,0.2413279,0.003823876,0.003893844,0.001536043,0.00001175659,0.001210252,0.03620028],"genre_scores_gemma":[0.9988391,0.000003743065,0.0003779787,0.00009605051,0.00002709298,0.000009823172,1.761809e-8,0.000007383261,0.0006388543],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6716939,"threshold_uncertainty_score":0.5280826,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2132862824","doi":"10.1109/wodes.2006.1678399","title":"Computationally Efficient Supervisor Design: Abstraction and Modularity","year":2006,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":66,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Modular design; Supervisor; Modularity (biology); Computer science; Abstraction; Distributed computing; Event (particle physics); Control (management); Theoretical computer science; Programming language; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.02597570145705436,"gpt":0.2351564441956332,"spread":0.2091807427385789,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003767956,0.00008152895,0.0000867241,0.00007807615,0.0001082973,0.0001661244,0.0002142856,0.00004059909,0.000005287045],"category_scores_gemma":[0.00001005978,0.00007533716,0.00002051026,0.0001707858,0.00001751312,0.0002028309,0.00008545358,0.00005782175,0.00002591658],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003835368,"about_ca_system_score_gemma":0.00003154089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000179189,"about_ca_topic_score_gemma":0.000008861255,"domain_scores_codex":[0.9990703,0.00004848281,0.0001976021,0.0002789269,0.0002610474,0.000143603],"domain_scores_gemma":[0.9995258,0.0001168583,0.00004315908,0.0001925511,0.00008348021,0.00003811364],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001999589,0.00006045015,0.000312302,0.000008904486,0.000003808218,0.000005347321,0.00007086956,0.9406034,0.001843665,0.05165453,0.0003304749,0.005104288],"study_design_scores_gemma":[0.0001577702,0.00001329593,0.01469294,0.000005642854,0.000001385219,0.00003274903,0.000004652244,0.9803625,0.0005145416,0.004026233,0.0000955227,0.0000927568],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1143242,0.00008020001,0.8830634,0.0002543134,0.0001413665,0.0001059586,4.692935e-7,0.0001583016,0.001871862],"genre_scores_gemma":[0.7203547,7.046003e-7,0.2794523,0.00005563045,0.00003680257,0.000003544066,0.000001169892,0.000002988809,0.00009213189],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6060306,"threshold_uncertainty_score":0.307216,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2098906570","doi":"10.1007/s10626-005-4058-y","title":"Multitasking Supervisory Control of Discrete-Event Systems","year":2005,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":64,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior","keywords":"Supervisory control; Supervisory control theory; Liveness; Human multitasking; Automaton; Computer science; Event (particle physics); Control (management); Generator (circuit theory); Controller (irrigation); Control engineering; Distributed computing; Engineering; Theoretical computer science; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.01568633172866216,"gpt":0.2610896481615611,"spread":0.2454033164328989,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002144481,0.0006025455,0.001185002,0.0004409302,0.0002289006,0.0003439992,0.002341574,0.0002584613,0.000007195027],"category_scores_gemma":[0.000105936,0.0005357732,0.0004457476,0.0006366764,0.00009760897,0.001023526,0.0004053482,0.0003258056,0.0001116927],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006354647,"about_ca_system_score_gemma":0.0001652919,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006703609,"about_ca_topic_score_gemma":0.00005568593,"domain_scores_codex":[0.9935895,0.0007560835,0.002108363,0.001097875,0.001461655,0.0009865733],"domain_scores_gemma":[0.9960907,0.0003587446,0.0009437183,0.002011682,0.0002911202,0.0003040333],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004161329,0.0001795524,0.002867967,0.00105011,0.0004353333,0.00004832777,0.002528802,0.9513845,0.005306453,0.03189851,0.0002960339,0.003962731],"study_design_scores_gemma":[0.001382494,0.0000969777,0.000320332,0.001266589,0.00004842832,0.000130204,0.000798628,0.9928982,0.00006505364,0.00003879543,0.002347368,0.0006068831],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04481007,0.0101188,0.9382808,0.0002671685,0.003668929,0.001463701,0.0001492756,0.000370765,0.0008704581],"genre_scores_gemma":[0.9963871,0.00005620543,0.001924719,0.00004078339,0.0003920635,0.0002421841,0.00003483534,0.00007414236,0.0008479496],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9515771,"threshold_uncertainty_score":0.9997094,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2156371582","doi":"10.1109/cdc.1999.830290","title":"Fault diagnosis in timed discrete-event systems","year":2003,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":63,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Fault (geology); Event (particle physics); Reduction (mathematics); Discrete event simulation; State (computer science); Reliability engineering; Real-time computing; Distributed computing; Algorithm; Engineering; Simulation; Mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.02331749719143961,"gpt":0.2679147372513652,"spread":0.2445972400599256,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007317058,0.0001331998,0.0002090776,0.000159957,0.00004635784,0.0001674374,0.0006820882,0.00006589584,0.00002256821],"category_scores_gemma":[0.0001197592,0.0001108799,0.00004953261,0.0005953573,0.0000127176,0.0003467856,0.0001179119,0.0001003507,0.0001700078],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001289928,"about_ca_system_score_gemma":0.00005192292,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001853861,"about_ca_topic_score_gemma":0.00003398114,"domain_scores_codex":[0.9983156,0.0002022259,0.0003850044,0.0004061529,0.0003486405,0.0003423272],"domain_scores_gemma":[0.9989862,0.0001624784,0.00006889768,0.000647925,0.00004103336,0.00009344491],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004563655,0.0003469752,0.05289544,0.0001503631,0.00005241036,0.0002036991,0.002096368,0.1574845,0.000314021,0.7618834,0.01268501,0.01188327],"study_design_scores_gemma":[0.0006718755,0.00005154995,0.000653707,0.0001999416,0.000003611492,0.00005347641,0.0001899184,0.9702256,0.001605432,0.001109542,0.02476104,0.0004742884],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02287649,0.0007793946,0.9428743,0.000241209,0.001068401,0.0003181451,9.997809e-7,0.0001942576,0.03164684],"genre_scores_gemma":[0.9848556,0.00002164271,0.01345607,0.00008875875,0.00002573197,0.0001352871,4.728307e-7,0.000008793385,0.001407682],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9619791,"threshold_uncertainty_score":0.4521549,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2027152011","doi":"10.1016/s0165-0114(02)00524-9","title":"Fuzzy timed Petri nets","year":2003,"lang":"en","type":"article","venue":"Fuzzy Sets and Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":59,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Petri net; Formalism (music); Fuzzy logic; Representation (politics); Process architecture; Computer science; Theoretical computer science; Net (polyhedron); Stochastic Petri net; Mathematics; Artificial intelligence; Algorithm","retraction":null,"screen_n_in":null,"score":{"opus":0.0299317359516739,"gpt":0.2520009187055325,"spread":0.2220691827538586,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001097467,0.0002295304,0.0003688691,0.0001789513,0.0002140915,0.0005025968,0.0005686361,0.0001279333,0.000004074571],"category_scores_gemma":[0.00009513388,0.0001952508,0.00006087819,0.0004697504,0.00003291335,0.0003943838,0.0001272849,0.0001483766,0.0001563573],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005802248,"about_ca_system_score_gemma":0.00008005465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007696576,"about_ca_topic_score_gemma":0.000004488285,"domain_scores_codex":[0.997701,0.0002904486,0.0004699882,0.0005781248,0.000478502,0.0004818921],"domain_scores_gemma":[0.9985595,0.0001433293,0.0001583407,0.0007986337,0.0001072892,0.0002329339],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001624661,0.000193013,0.008738191,0.0006054767,0.0002080427,0.0003772962,0.004877261,0.004421026,0.001861903,0.8886026,0.06350743,0.02659156],"study_design_scores_gemma":[0.003777024,0.0004696433,0.002394741,0.0008940479,0.00004916948,0.003136528,0.001020198,0.344085,0.0004389602,0.01425991,0.6268411,0.002633598],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1762683,0.02831277,0.168714,0.0007821452,0.01544552,0.001841922,0.00003415447,0.00127035,0.6073308],"genre_scores_gemma":[0.9940342,0.00004425096,0.003730139,0.0001306557,0.0001158487,0.0000285998,0.000002450449,0.00001878843,0.001895037],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8743426,"threshold_uncertainty_score":0.7962097,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1577803140","doi":"10.1109/mwscas.1993.343043","title":"Supervisory control of probabilistic discrete event systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":58,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Probabilistic logic; Class (philosophy); Supervisory control; Event (particle physics); Theoretical computer science; Computer science; Computation; Control (management); Discrete mathematics; Algorithm; Mathematics; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.04064466481814433,"gpt":0.2329930105969263,"spread":0.1923483457787819,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004159562,0.0001183042,0.0002659808,0.00008511945,0.00004242088,0.00006696196,0.0008354539,0.00004808836,0.00003629963],"category_scores_gemma":[0.00006631483,0.00009243809,0.00007498786,0.0002559684,0.00003239151,0.0002578366,0.0001149449,0.00006537024,0.00007684321],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004889334,"about_ca_system_score_gemma":0.00001649228,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005543199,"about_ca_topic_score_gemma":0.00000271158,"domain_scores_codex":[0.9984774,0.0001240687,0.0004664423,0.0003048243,0.0003838666,0.0002434271],"domain_scores_gemma":[0.9987996,0.0001512237,0.0001063998,0.0007528325,0.0001114344,0.00007846027],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000121478,0.0003871435,0.003063126,0.0009583379,0.0001698253,0.00004272955,0.002962646,0.2552353,0.00392856,0.7149947,0.003959431,0.01428604],"study_design_scores_gemma":[0.0003428195,0.00005025937,0.00006302859,0.00006850518,0.000005523367,0.00002131455,0.00002933903,0.9982828,0.00006434524,0.0002935172,0.0006601394,0.0001184079],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006261667,0.001371276,0.9825231,0.0002070067,0.0005289883,0.0003417249,0.000003497504,0.0001486897,0.008614056],"genre_scores_gemma":[0.9951718,0.000008412748,0.003531844,0.00004874408,0.00004913929,0.00003242955,2.447842e-7,0.000007469981,0.001149953],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9889101,"threshold_uncertainty_score":0.3769516,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1552519843","doi":"10.1007/978-1-4757-6656-1_5","title":"STCT: An Efficient Algorithm for Supervisory Control Design","year":2002,"lang":"en","type":"book-chapter","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":57,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Modular design; Computer science; Integer (computer science); Event (particle physics); Algorithm; Control (management); Software; Theoretical computer science; Programming language; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.0853146087217464,"gpt":0.2466526292046334,"spread":0.161338020482887,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000971377,0.000546006,0.0006860769,0.0003386195,0.0001845307,0.0002855985,0.002001928,0.0004529774,0.0001698309],"category_scores_gemma":[0.00001808192,0.0004986497,0.0002774002,0.00005587693,0.00005212682,0.0002290275,0.0001892914,0.0002724878,0.0002556479],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002050912,"about_ca_system_score_gemma":0.0001344339,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007306761,"about_ca_topic_score_gemma":0.000001313779,"domain_scores_codex":[0.9968682,0.0000695671,0.0006639343,0.001154428,0.0006834958,0.0005603557],"domain_scores_gemma":[0.9971893,0.0004561525,0.0002205187,0.001554978,0.0003314512,0.000247587],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001104714,0.0001104265,1.943543e-7,0.00006433119,0.0001675007,0.00006111705,0.000479764,0.03566243,0.00002218398,0.4224189,0.008406824,0.5325953],"study_design_scores_gemma":[0.0008123318,0.0002391607,1.564234e-7,0.00008647714,0.00003192997,0.00003762468,0.000004276742,0.9578017,0.0000217605,0.004045868,0.03632171,0.0005970058],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[3.989273e-7,0.0008240276,0.8771636,0.00006489326,0.0009407673,0.00123079,0.00004351352,0.0004581047,0.1192739],"genre_scores_gemma":[0.0005848058,0.00003218522,0.6891412,0.0005656869,0.0005180084,0.0001038608,0.00001002317,0.00009997289,0.3089443],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9221393,"threshold_uncertainty_score":0.9997465,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2097523314","doi":"10.1007/s10626-008-0054-3","title":"On the Computation of Natural Observers in Discrete-Event Systems","year":2008,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":53,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Observer (physics); Projection (relational algebra); Extension (predicate logic); Property (philosophy); Computation; Mathematics; Algorithm; Computational complexity theory; Computer science; Control theory (sociology); Control (management); Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.02136941176469298,"gpt":0.2675189078048572,"spread":0.2461494960401642,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001408696,0.0003727528,0.0006376904,0.0003157592,0.0002108514,0.0001256277,0.001509203,0.0001299517,0.000001106994],"category_scores_gemma":[0.0001183911,0.0002641736,0.0002308026,0.0009221995,0.0001051637,0.0004227757,0.0002540395,0.0003429288,0.00003058384],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005549911,"about_ca_system_score_gemma":0.000131071,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001044172,"about_ca_topic_score_gemma":0.00005124322,"domain_scores_codex":[0.9954295,0.0008223157,0.001288848,0.0006890847,0.001228928,0.0005413195],"domain_scores_gemma":[0.9975088,0.0004969949,0.0006977826,0.001049409,0.0001469235,0.0001000649],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003129055,0.00007664232,0.001969561,0.0003032209,0.00008656893,0.00007699803,0.002143479,0.9351433,0.0003808396,0.05921149,0.0003419445,0.0002346721],"study_design_scores_gemma":[0.0005373339,0.00009624236,0.002645361,0.0012406,0.00000755367,0.0001135024,0.000725886,0.9940389,0.00001984897,0.0002144623,0.00005318876,0.0003071199],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5856136,0.001860269,0.4064494,0.0002651107,0.004133308,0.001170152,0.00002487106,0.000128031,0.0003552246],"genre_scores_gemma":[0.9990684,0.0000292187,0.000220228,0.00002866114,0.00006374178,0.0001250585,0.00002667552,0.00003159166,0.0004064523],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4134547,"threshold_uncertainty_score":0.999981,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2108872359","doi":"10.1109/tcst.2006.876635","title":"Hierarchical interface-based supervisory control of a flexible manufacturing system","year":2006,"lang":"en","type":"article","venue":"IEEE Transactions on Control Systems Technology","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":52,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Supervisory control theory; Supervisory control; Controllability; Workcell; Interface (matter); Automata theory; Computer science; Modular design; Hierarchical control system; Component (thermodynamics); Automaton; Control engineering; Distributed computing; Control (management); Engineering; Theoretical computer science; Robot; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.01409608142993307,"gpt":0.2218457795926455,"spread":0.2077496981627125,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006582365,0.0004209143,0.000987609,0.001572949,0.0002366535,0.0001047241,0.001526078,0.0005503556,0.000005911568],"category_scores_gemma":[0.000006917971,0.0004028126,0.0002718526,0.0006295127,0.0001895292,0.0002447992,0.000006571523,0.0006243284,0.00006608913],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003819408,"about_ca_system_score_gemma":0.000148356,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003572342,"about_ca_topic_score_gemma":0.00003436209,"domain_scores_codex":[0.9963518,0.0003167991,0.001237557,0.0008289699,0.0005534686,0.0007113444],"domain_scores_gemma":[0.9973415,0.0004425506,0.0003682921,0.001540163,0.000205053,0.0001024929],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002024019,0.0003950907,0.00009147931,0.0004662612,0.0002641683,0.00006939709,0.00006529238,0.9342934,0.02713562,0.02799573,0.00004951638,0.008971624],"study_design_scores_gemma":[0.004965192,0.0004041638,0.00002570204,0.00056322,0.00007309253,0.0002309719,0.0001367295,0.8868024,0.1057202,0.000168053,0.0004641983,0.0004460928],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02770785,0.0008589849,0.9651911,0.000504913,0.002176575,0.001064372,0.00006061663,0.001966646,0.000469001],"genre_scores_gemma":[0.9968393,0.000001523204,0.002281919,0.00003695884,0.00007787891,0.0005283764,5.852022e-7,0.00004345684,0.0001900028],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9691315,"threshold_uncertainty_score":0.9998423,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2163080024","doi":"10.1109/cdc.2000.912726","title":"Effective control synthesis for DES under partial observations","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":48,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Undecidable problem; Extension (predicate logic); String (physics); Finite-state machine; Deterministic finite automaton; Supervisory control; Computer science; Automaton; Regular language; Discrete mathematics; Timed automaton; Control (management); Programming language; Mathematics; Algorithm; Theoretical computer science; Decidability; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.08459190000089187,"gpt":0.26521518275793,"spread":0.1806232827570381,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002764148,0.00009015082,0.0001395963,0.00005284361,0.0001915583,0.0001119038,0.000398819,0.00004359624,0.00002698108],"category_scores_gemma":[0.0002677081,0.00007661707,0.00007389158,0.00021621,0.00003149828,0.0003910303,0.00004328172,0.00003498608,0.00005103528],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006430212,"about_ca_system_score_gemma":0.00000969423,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001569026,"about_ca_topic_score_gemma":0.00001123176,"domain_scores_codex":[0.9991345,0.00007209781,0.0001683266,0.0002548954,0.0001353251,0.0002348742],"domain_scores_gemma":[0.998072,0.001388123,0.00004410931,0.0003281851,0.0001104179,0.00005715034],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002141973,0.0003164932,0.003135908,0.00009260622,0.0002730164,0.000005301819,0.001652931,0.07279117,0.005124975,0.7013973,0.008159059,0.2070298],"study_design_scores_gemma":[0.000358026,0.00003322254,0.0009086664,0.00001796171,0.00001175998,0.000003694216,0.00001720348,0.9912001,0.002086807,0.004468801,0.0007800658,0.0001137317],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00932603,0.00009985042,0.9871984,0.0007588467,0.0002094972,0.0004211452,0.000003794977,0.0002042379,0.001778197],"genre_scores_gemma":[0.9058673,0.000002235736,0.0929529,0.0003571506,0.00007991603,0.0004025297,1.549442e-7,0.000006802557,0.0003310372],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9184089,"threshold_uncertainty_score":0.3124353,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2055159989","doi":"10.1016/j.sysconle.2006.04.003","title":"Robust nonblocking supervisory control of discrete-event systems under partial observation","year":2006,"lang":"en","type":"article","venue":"Systems & Control Letters","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Supervisory control; Discrete event dynamic system; Event (particle physics); Control (management); Mathematics; Computer science; Control theory (sociology); Pure mathematics; Discrete system; Algebra over a field; Algorithm; Physics; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.03562536497592705,"gpt":0.2206354896346652,"spread":0.1850101246587381,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001760944,0.0004547025,0.001043108,0.0002978978,0.0001750533,0.0004357054,0.001225315,0.0001962317,0.000003555072],"category_scores_gemma":[0.00003386496,0.0004236004,0.0002855504,0.0005065937,0.00006963097,0.0008174207,0.0001001889,0.0002534752,0.00003654475],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003338388,"about_ca_system_score_gemma":0.00009721179,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002576554,"about_ca_topic_score_gemma":0.00002715207,"domain_scores_codex":[0.9946067,0.0008080894,0.00171813,0.000859071,0.00119145,0.0008166131],"domain_scores_gemma":[0.9969943,0.0004304604,0.0008938542,0.001260968,0.0002843894,0.0001360961],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002971189,0.00004155766,0.01392193,0.0002265651,0.0001267822,0.00001912699,0.0001045731,0.9213287,0.04389378,0.01982607,0.0004117102,0.0000694464],"study_design_scores_gemma":[0.003356613,0.00005936722,0.002286965,0.0004969451,0.00005940129,0.0000428436,0.0001170927,0.9918795,0.0001424319,0.00003063358,0.001056932,0.000471255],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1942815,0.00170342,0.7978592,0.001228441,0.00320669,0.001291438,0.0000273168,0.0002518048,0.0001502299],"genre_scores_gemma":[0.9974636,0.000002149697,0.0006674056,0.0005354733,0.0009290777,0.0002332944,0.00001247642,0.00004970972,0.0001068075],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8031821,"threshold_uncertainty_score":0.9998216,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1562548608","doi":"10.1023/a:1020207328508","title":"Real-Time Supervisory Control of a Processor for Non-Preemptive Execution of Periodic Tasks","year":2002,"lang":"en","type":"article","venue":"Real-Time Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Scheduling (production processes); Distributed computing; Versa; Dual (grammatical number); Task (project management); Computational complexity theory; Execution time; Parallel computing; Algorithm; Mathematical optimization; Mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.0261588559585239,"gpt":0.2431467582058805,"spread":0.2169879022473566,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001331646,0.0003685336,0.001166585,0.000367437,0.000139389,0.00009649632,0.001239316,0.0002585928,0.00003684492],"category_scores_gemma":[0.000141055,0.0003459738,0.0002809467,0.0006576063,0.0001193201,0.0005508941,0.000134055,0.0001130506,0.0001288563],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001803088,"about_ca_system_score_gemma":0.0001562011,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006396773,"about_ca_topic_score_gemma":0.00000196806,"domain_scores_codex":[0.9962584,0.0002841572,0.001337441,0.0007497314,0.00077496,0.0005953274],"domain_scores_gemma":[0.9964615,0.0004602706,0.0009176631,0.001194522,0.0007971372,0.0001689262],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001973188,0.0005515041,0.000485427,0.004215997,0.00043747,0.00001990968,0.01168301,0.007889341,0.963927,0.003222301,0.004878497,0.002492286],"study_design_scores_gemma":[0.001825961,0.0004638743,0.0001348812,0.0008938495,0.00005561684,0.0000565006,0.0001830161,0.9924139,0.003325989,0.00004780333,0.0002329074,0.0003656862],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2567177,0.001612449,0.7089393,0.0001576021,0.001069569,0.006150332,0.0004453548,0.0006260965,0.02428172],"genre_scores_gemma":[0.9906844,0.00008889102,0.006186526,0.000007451983,0.0001907263,0.0003539831,0.00001235601,0.00004719863,0.002428451],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9845245,"threshold_uncertainty_score":0.9998992,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2140776227","doi":"10.1109/tsmca.2003.817387","title":"Coordinated execution of tasks in a multiagent environment","year":2003,"lang":"en","type":"article","venue":"IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Petri net; Computer science; Plan (archaeology); Event (particle physics); Distributed computing; Control (management); State (computer science); Robot; Supervisory control; Multi-agent system; Controller (irrigation); Event calculus; Process architecture; Unexpected events; Software engineering; Artificial intelligence; Programming language; Systems engineering; Engineering","retraction":null,"screen_n_in":null,"score":{"opus":0.02691272566390035,"gpt":0.2308148268031147,"spread":0.2039021011392143,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007104234,0.0002670384,0.0004871505,0.0003116418,0.0001695434,0.0001659689,0.0002085989,0.0001560857,0.000005373696],"category_scores_gemma":[0.000002813577,0.000257245,0.00006273781,0.0002096121,0.00008940156,0.0001603301,0.000005443347,0.000188004,0.0000104368],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001038142,"about_ca_system_score_gemma":0.00002808039,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005426304,"about_ca_topic_score_gemma":0.00006631613,"domain_scores_codex":[0.9976286,0.0003336106,0.0008076336,0.0005511502,0.0003556043,0.0003233513],"domain_scores_gemma":[0.9989727,0.00007789976,0.0002296977,0.0005273715,0.00004755568,0.0001447412],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001327082,0.002899849,0.003160799,0.004231723,0.0007676096,0.0002022064,0.03459908,0.6891752,0.01450627,0.2384768,0.001056164,0.01079161],"study_design_scores_gemma":[0.007182827,0.001426047,0.001381848,0.003839744,0.0001854641,0.0005560977,0.006091953,0.9197171,0.004312625,0.0002827024,0.05286889,0.002154753],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1865926,0.002728453,0.8072014,0.00001904213,0.001251891,0.0008849771,0.00002462259,0.00006630557,0.001230715],"genre_scores_gemma":[0.9979671,0.0003537311,0.0002800456,0.00001010751,0.00002462329,0.0001443089,0.000001123308,0.00001938952,0.00119954],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8113745,"threshold_uncertainty_score":0.999988,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2116876614","doi":"10.1109/tsmcb.2011.2119311","title":"Behavior Coordination of Mobile Robotics Using Supervisory Control of Fuzzy Discrete Event Systems","year":2011,"lang":"en","type":"article","venue":"IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":43,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Supervisory control; Supervisory control theory; Supervisor; Controllability; Fuzzy logic; Mobile robot; Observability; Control engineering; Controller (irrigation); Event (particle physics); Fuzzy control system; Control theory (sociology); Robotics; Computer science; Artificial intelligence; Robot; Engineering; Control (management); Mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.05015066019943989,"gpt":0.2568957991932533,"spread":0.2067451389938134,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008138707,0.0004707358,0.0009450699,0.0004437862,0.0001686206,0.0001228028,0.0007828103,0.0003061924,0.000009425024],"category_scores_gemma":[0.000007324054,0.0004724249,0.0002306376,0.0004976356,0.0002362437,0.0002943744,0.00002037057,0.0003029002,0.00001221361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001343772,"about_ca_system_score_gemma":0.0001053195,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009275477,"about_ca_topic_score_gemma":0.00003502863,"domain_scores_codex":[0.9957762,0.0004286928,0.001693052,0.0007140055,0.0008619901,0.000526075],"domain_scores_gemma":[0.9971265,0.0001908939,0.0007642985,0.001155238,0.0005033315,0.000259803],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001051426,0.001412007,0.001780582,0.001288882,0.000483836,0.00003629276,0.00612611,0.9532868,0.01128437,0.01923881,0.0000725501,0.004884607],"study_design_scores_gemma":[0.00229749,0.001107332,0.0004771992,0.00131739,0.000568393,0.0002115799,0.001296113,0.982127,0.009213888,0.0001196325,0.0003381438,0.0009257991],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1493744,0.001585097,0.8445011,0.000008535445,0.002359344,0.001340731,0.00009856197,0.0001011351,0.0006311003],"genre_scores_gemma":[0.9960331,0.0001646421,0.00284551,0.00001035721,0.0000765927,0.0001999482,0.000002866412,0.00006092261,0.000606047],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8466586,"threshold_uncertainty_score":0.9997727,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2142570643","doi":"10.1109/tac.2009.2024376","title":"Probabilistic Supervisory Control of Probabilistic Discrete Event Systems","year":2009,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":42,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Supervisor; Supervisory control; Probabilistic logic; Generalization; Probabilistic CTL; Event (particle physics); Probabilistic relevance model; Computer science; Supervisory control theory; Computation; Control (management); Probabilistic analysis of algorithms; Mathematics; Algorithm; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.01937560508312284,"gpt":0.2438522378991833,"spread":0.2244766328160605,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009882627,0.0004091615,0.0009017274,0.0003547771,0.0001996836,0.0001654156,0.001110112,0.0001553366,0.00002505951],"category_scores_gemma":[0.0000801162,0.0003571133,0.0003303959,0.000607475,0.00009150973,0.0004139513,0.000002425147,0.0002423292,0.00005886703],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002658261,"about_ca_system_score_gemma":0.000235179,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003790209,"about_ca_topic_score_gemma":0.000009171579,"domain_scores_codex":[0.9960725,0.000485608,0.001344016,0.000662809,0.0008616708,0.0005733512],"domain_scores_gemma":[0.9968885,0.0008337692,0.0003757266,0.001421129,0.000266447,0.0002144827],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007119279,0.0006491367,0.000005768539,0.0004219938,0.0001858454,0.00001860227,0.0006345187,0.9427355,0.002607323,0.00692525,0.00003811509,0.04570677],"study_design_scores_gemma":[0.002741627,0.0006180575,0.0001458005,0.0004488132,0.0001390825,0.00005855364,0.00003528849,0.9939564,0.0002224339,0.001258879,0.0000307005,0.0003443166],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01135346,0.0002710907,0.983417,0.0006571306,0.001161432,0.002214992,0.00005585711,0.0006246211,0.0002443861],"genre_scores_gemma":[0.9971364,0.000004841668,0.002122445,0.0002024336,0.00004997099,0.0003282707,7.855546e-7,0.0000243049,0.0001305496],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9857829,"threshold_uncertainty_score":0.9998881,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1514560793","doi":"10.1109/cdc.1999.830127","title":"Incorporating communication and knowledge into decentralized discrete-event systems","year":2003,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Event (particle physics); Computer science; Set (abstract data type); Control (management); Distributed computing; Discrete event simulation; Control system; Theoretical computer science; Artificial intelligence; Engineering; Simulation; Programming language","retraction":null,"screen_n_in":null,"score":{"opus":0.02364907043552441,"gpt":0.2893398625575292,"spread":0.2656907921220049,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001085466,0.0001203715,0.0001761777,0.00007938416,0.0002147666,0.0002958739,0.0005745669,0.00005423166,0.000002856586],"category_scores_gemma":[0.0001008621,0.0001032998,0.00002611482,0.0003332954,0.00003779533,0.0004501567,0.0002083779,0.00009138422,0.000016074],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009064333,"about_ca_system_score_gemma":0.00007883144,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001376103,"about_ca_topic_score_gemma":0.00004952284,"domain_scores_codex":[0.9985607,0.0004438022,0.0003645855,0.0002788813,0.0001637803,0.0001882228],"domain_scores_gemma":[0.9987437,0.0001557621,0.0001387029,0.0007661494,0.00009347817,0.0001021841],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001370893,0.0000332358,0.001566276,0.00006251691,0.00001422662,0.000001568213,0.002020918,0.0009449907,0.000491041,0.9855464,0.0002489688,0.009068464],"study_design_scores_gemma":[0.0006542467,0.00003246772,0.0001805884,0.0002095477,0.000006665318,0.00005965017,0.0005277469,0.9809825,0.0007923415,0.009061252,0.00716677,0.0003262607],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01308488,0.006278244,0.9593378,0.0001208609,0.000302413,0.0002272065,2.238563e-7,0.0001707891,0.02047763],"genre_scores_gemma":[0.8866485,0.00006314021,0.1130453,0.00002049252,0.000009604937,0.00002315278,9.877417e-7,0.000005765413,0.0001830271],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9800375,"threshold_uncertainty_score":0.4212443,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2112951648","doi":"10.1109/wodes.2006.382510","title":"Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control","year":2006,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Controllability; Supervisor; Supervisory control; Algorithm; Predicate (mathematical logic); Set (abstract data type); Theoretical computer science; Fixed point; Interface (matter); Programming language; Control (management); Mathematics; Artificial intelligence; Applied mathematics; Parallel computing","retraction":null,"screen_n_in":null,"score":{"opus":0.01959294313369705,"gpt":0.2260742003147206,"spread":0.2064812571810235,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003120871,0.00008131637,0.000172813,0.000120101,0.00003594041,0.00004708556,0.0003724872,0.00004962415,0.000008579592],"category_scores_gemma":[0.0000491022,0.0000726682,0.00003376657,0.0001668736,0.0000546734,0.0001418827,0.00004655044,0.00005507952,0.000007249035],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002078785,"about_ca_system_score_gemma":0.00003904154,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001058398,"about_ca_topic_score_gemma":0.000006700502,"domain_scores_codex":[0.9990646,0.0001017904,0.0002704688,0.0002456609,0.0001804385,0.0001370839],"domain_scores_gemma":[0.9991179,0.0003353507,0.00005672596,0.0003961161,0.00005679451,0.00003708348],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001344854,0.0006866607,0.03037411,0.0004541414,0.00009363556,0.00001175068,0.0008743966,0.03451931,0.3338547,0.4430936,0.001173203,0.15473],"study_design_scores_gemma":[0.000387286,0.00002874636,0.007104648,0.00004685687,0.000007157996,0.000005461876,0.00001044596,0.9383819,0.05263177,0.001070908,0.0002031291,0.0001217179],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2376646,0.0001870328,0.759759,0.000417371,0.00005177908,0.00008212693,0.00000193496,0.00007419708,0.001761985],"genre_scores_gemma":[0.9764067,0.000002343552,0.02344445,0.00006186791,0.00002363146,0.00001590021,3.638684e-7,0.000005159285,0.00003958758],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9038626,"threshold_uncertainty_score":0.2963324,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2124264087","doi":"10.1109/tsmcb.2010.2047257","title":"Fault Diagnosis in Discrete-Event Systems: Incomplete Models and Learning","year":2010,"lang":"en","type":"article","venue":"IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo; University of Toronto","funders":"","keywords":"Event (particle physics); Computer science; Abstraction; Process (computing); Set (abstract data type); Cover (algebra); Fault (geology); Artificial intelligence; Machine learning; Theoretical computer science; Engineering","retraction":null,"screen_n_in":null,"score":{"opus":0.02597517159425705,"gpt":0.2546360085868742,"spread":0.2286608369926172,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001237485,0.0006064188,0.0007949601,0.0005474638,0.0004307088,0.0008870973,0.0007895972,0.0003974687,0.000008635631],"category_scores_gemma":[0.0000227808,0.0006054366,0.0001275281,0.000565098,0.000206752,0.0005021877,0.00004585189,0.00138748,0.00004499214],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000115849,"about_ca_system_score_gemma":0.00006806613,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001452003,"about_ca_topic_score_gemma":0.0006621262,"domain_scores_codex":[0.9953791,0.0005521749,0.001208529,0.001223571,0.0008238286,0.0008128037],"domain_scores_gemma":[0.9974346,0.0005649384,0.0003419956,0.001034444,0.0001650718,0.0004589568],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000036849,0.0003608796,0.001493271,0.0005144402,0.0001537262,0.00008664731,0.004725775,0.949355,0.0007746915,0.0277633,0.0003190928,0.01441631],"study_design_scores_gemma":[0.001081528,0.0002557875,0.0002584638,0.0006965082,0.00005076081,0.0002216754,0.0005460154,0.9861361,0.000298365,0.0003976939,0.009256047,0.0008009886],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2971346,0.001479132,0.695031,0.0001981165,0.003069418,0.001025673,0.00003609708,0.000292513,0.001733462],"genre_scores_gemma":[0.9946251,0.0009043487,0.001654663,0.00005582174,0.0001706143,0.0004420001,0.000003509242,0.0000746006,0.002069371],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6974905,"threshold_uncertainty_score":0.9996397,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1524144624","doi":"10.1007/s00170-010-2561-2","title":"Supervisor localization for large discrete-event systems","year":2010,"lang":"en","type":"article","venue":"The International Journal of Advanced Manufacturing Technology","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisor; Supervisory control; Event (particle physics); Distributed computing; Benchmark (surveying); Component (thermodynamics); Set (abstract data type); Decentralised system; Control engineering; Computer science; Control (management); Architecture; Hierarchical control system; Scale (ratio); Engineering; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.01025126151913132,"gpt":0.2745154050612048,"spread":0.2642641435420735,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007271086,0.0001284075,0.0001981855,0.00039951,0.0001183698,0.0001260381,0.003158039,0.0001113471,0.000003756363],"category_scores_gemma":[0.0001919864,0.00008902449,0.0001009685,0.0001205341,0.00004072907,0.0004660226,0.0003916041,0.0003860359,0.000004157508],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009256508,"about_ca_system_score_gemma":0.00005757113,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003199742,"about_ca_topic_score_gemma":0.000011529,"domain_scores_codex":[0.9985735,0.00002244672,0.0005398836,0.000186517,0.0004405951,0.000236992],"domain_scores_gemma":[0.9984242,0.0001628901,0.0005209947,0.0004373681,0.0004141511,0.00004043884],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001872237,0.0001996335,0.0003428499,0.00006066987,0.0004009986,0.00008759738,0.0006151302,0.2634102,0.07493606,0.5441394,0.0009661642,0.1146541],"study_design_scores_gemma":[0.002737345,0.0003026747,0.0001194888,0.0002579605,0.00002919616,0.002124482,0.0005357875,0.3114764,0.4363676,0.09271258,0.1529211,0.0004153378],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1537284,0.0001735065,0.8366032,0.004505012,0.00467481,0.0001706276,0.000005637649,0.00008982451,0.00004900516],"genre_scores_gemma":[0.9657626,0.0000435383,0.03368014,0.0001230264,0.0003100866,0.00001993595,0.00000153894,0.00001347315,0.00004563904],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8120342,"threshold_uncertainty_score":0.5868475,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2099755649","doi":"10.1109/tase.2012.2189563","title":"Conjunctive and Disjunctive Architectures for Decentralized Prognosis of Failures in Discrete-Event Systems","year":2012,"lang":"en","type":"article","venue":"IEEE Transactions on Automation Science and Engineering","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Event (particle physics); Architecture; Proposition; Computer science; Dual (grammatical number); Theoretical computer science; Distributed computing","retraction":null,"screen_n_in":null,"score":{"opus":0.01528786237226317,"gpt":0.257974688915735,"spread":0.2426868265434718,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007345182,0.0001080086,0.0001602556,0.0004278892,0.0001043479,0.0000869151,0.0001686904,0.00003379868,2.994128e-7],"category_scores_gemma":[0.00003361411,0.00009333932,0.00002493864,0.0006179791,0.00007769372,0.0005021957,0.000004334714,0.00006728862,2.506513e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008070978,"about_ca_system_score_gemma":0.00004084886,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003231478,"about_ca_topic_score_gemma":0.000003704619,"domain_scores_codex":[0.9989524,0.00002153371,0.000239105,0.000225904,0.000297753,0.0002632909],"domain_scores_gemma":[0.999447,0.0001753381,0.00006458834,0.0001330835,0.00008711161,0.00009288364],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001997016,0.00007779971,0.0005281517,0.0002185099,0.00002473509,2.937615e-7,0.006416908,0.9462327,0.01770587,0.005386929,0.000003101444,0.02338504],"study_design_scores_gemma":[0.0003050861,0.00004763764,0.00411961,0.0001265632,0.000006578082,0.000008603264,0.0001814641,0.9798746,0.01516192,0.00002763301,0.00002905181,0.0001112786],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2895433,0.0001233902,0.7096028,0.00005003958,0.0003115986,0.0003027874,0.000004424068,0.00005441974,0.000007244274],"genre_scores_gemma":[0.9876963,0.000009819611,0.01213455,0.0000065538,0.000009681736,0.000134409,1.463231e-7,0.000005325274,0.000003244435],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.698153,"threshold_uncertainty_score":0.3806267,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2116828026","doi":"10.1109/coase.2005.1506804","title":"Embedded supervisory control of discrete-event systems","year":2005,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Supervisory control; Supervisor; Extended finite-state machine; Finite-state machine; Guard (computer science); Boolean expression; Computer science; Boolean data type; Boolean function; Supervisory control theory; Theoretical computer science; Event (particle physics); Automaton; Circuit minimization for Boolean functions; Set (abstract data type); State (computer science); Boolean algebra; Deterministic finite automaton; Control (management); Algorithm; Programming language; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.02524493988061959,"gpt":0.2544913787153369,"spread":0.2292464388347173,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005567972,0.0001254746,0.0002850442,0.0001060526,0.00004221802,0.00007218435,0.000947585,0.00005838715,0.00002022962],"category_scores_gemma":[0.00002667073,0.0001005976,0.00009010902,0.0002212925,0.00002347666,0.0004198567,0.0001395186,0.00007135925,0.00007910746],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005573264,"about_ca_system_score_gemma":0.00005332797,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005145846,"about_ca_topic_score_gemma":0.000007598185,"domain_scores_codex":[0.9984252,0.0001103921,0.0004989401,0.0002961923,0.0004063849,0.0002628831],"domain_scores_gemma":[0.9988128,0.0001109458,0.000116196,0.0007648604,0.0001068148,0.00008836536],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002932952,0.000299598,0.002014424,0.0002809119,0.0001960444,0.00001912327,0.003601962,0.429092,0.01691999,0.5054444,0.004480359,0.03762182],"study_design_scores_gemma":[0.0005390619,0.00003466504,0.00007328498,0.00004956021,0.000004994814,0.00001871313,0.00009578667,0.9947263,0.001238401,0.00007711601,0.003003188,0.0001389153],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01435064,0.0009590188,0.9752703,0.0003726246,0.0004382036,0.0002160947,0.000003199801,0.0001632285,0.008226714],"genre_scores_gemma":[0.9823244,0.000006559803,0.01636775,0.0001366192,0.0001335556,0.00001845461,5.219195e-7,0.00000827003,0.001003916],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9679737,"threshold_uncertainty_score":0.4102251,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1965577683","doi":"10.1007/s10626-014-0208-4","title":"Distributed supervisory control of discrete-event systems with communication delay","year":2015,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"National Natural Science Foundation of China; Fundamental Research Funds for the Central Universities; Ministry of Education, Culture, Sports, Science and Technology","keywords":"Supervisory control; Workcell; Constraint (computer-aided design); Control (management); Distributed control system; Property (philosophy); Work (physics); Control theory (sociology)","retraction":null,"screen_n_in":null,"score":{"opus":0.02263816529543937,"gpt":0.258564789865084,"spread":0.2359266245696446,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002453424,0.0005014762,0.001021701,0.0002553965,0.000181467,0.0003192166,0.002537187,0.0002074182,0.000001337075],"category_scores_gemma":[0.0001026857,0.0003960912,0.0001957835,0.0008047001,0.0001498865,0.0008243588,0.0004079385,0.0002971698,0.00003025377],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006622229,"about_ca_system_score_gemma":0.0003219793,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001387363,"about_ca_topic_score_gemma":0.0000832759,"domain_scores_codex":[0.9942986,0.001240113,0.001548673,0.0007713601,0.001461543,0.0006797627],"domain_scores_gemma":[0.9948543,0.0002877313,0.001007667,0.002790091,0.0006687439,0.0003915237],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00017825,0.0002111761,0.008741708,0.000717107,0.0005676606,0.00005965028,0.002882445,0.9510947,0.0003396072,0.03409024,0.0006288645,0.0004885268],"study_design_scores_gemma":[0.002052495,0.0002609024,0.0003718573,0.001265083,0.00006692352,0.0002145093,0.002027704,0.9920852,0.00001177722,0.0001159901,0.001013924,0.0005136341],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04220299,0.007405804,0.9462779,0.000245672,0.001306937,0.001483964,0.0003438381,0.0002932994,0.0004395922],"genre_scores_gemma":[0.9977601,0.00003929002,0.001209964,0.00001739051,0.00006725265,0.0003144138,0.0002814706,0.00005645381,0.0002537234],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.955557,"threshold_uncertainty_score":0.9998491,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2097811416","doi":"10.1109/tpwrd.2008.921114","title":"Discrete-Event Systems Supervisory Control for a Dynamic Flow Controller","year":2008,"lang":"en","type":"article","venue":"IEEE Transactions on Power Delivery","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Modular design; Thyristor; Controller (irrigation); Transformer; Automaton; Computer science; Control system; Control theory (sociology); Capacitor; Supervisory control theory; Switched capacitor; Control engineering; Engineering; Control (management); Electrical engineering; Voltage; Programming language; Theoretical computer science","retraction":null,"screen_n_in":null,"score":{"opus":0.02204857178300251,"gpt":0.2338670911655114,"spread":0.2118185193825088,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004129036,0.0003563009,0.0005417939,0.0003459076,0.0005454585,0.0001239219,0.0008472556,0.000181241,0.00001629789],"category_scores_gemma":[0.000008377272,0.0003337373,0.0004459585,0.0003392816,0.00007680005,0.0006235073,0.000004072257,0.0002765379,0.0001200088],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002743923,"about_ca_system_score_gemma":0.0001565058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005229832,"about_ca_topic_score_gemma":0.00001428967,"domain_scores_codex":[0.9973065,0.0001784557,0.0006444292,0.0007266738,0.0005527069,0.0005912593],"domain_scores_gemma":[0.9981055,0.0004795084,0.0001292807,0.0008183068,0.0002685333,0.0001989201],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003627873,0.000401665,0.00001046261,0.00007028379,0.0003917442,0.0000654755,0.001347089,0.9877928,0.002672294,0.0003587515,0.001125487,0.005401166],"study_design_scores_gemma":[0.003304823,0.0002875992,0.00002730445,0.0000903941,0.00004251713,0.0001681654,0.00007193485,0.9939446,0.0002587232,0.00004295865,0.001364251,0.00039673],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01504594,0.0007480702,0.9785237,0.0002370604,0.003578705,0.001149971,0.0001832807,0.0003818417,0.0001513901],"genre_scores_gemma":[0.9923224,0.00009576542,0.005629769,0.0003752273,0.00004432495,0.0004862871,0.000002338127,0.00004425018,0.0009995827],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9772765,"threshold_uncertainty_score":0.9999115,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2178951833","doi":"10.1007/s10626-015-0212-3","title":"Minimal sensor activation and minimal communication in discrete-event systems","year":2015,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Event (particle physics); Discrete event dynamic system; Computer science; State (computer science); Real-time computing; Distributed computing; Discrete system; Control theory (sociology); Artificial intelligence; Algorithm; Control (management)","retraction":null,"screen_n_in":null,"score":{"opus":0.02668625265759801,"gpt":0.2897687562838615,"spread":0.2630825036262635,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002368991,0.0004100697,0.0006424464,0.0004076703,0.0001556259,0.0005285337,0.001174325,0.0002251911,7.675963e-7],"category_scores_gemma":[0.0001697178,0.0003837715,0.00009745245,0.000641592,0.00008324768,0.001126163,0.0005566535,0.0003023877,0.00002944271],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007773642,"about_ca_system_score_gemma":0.0001692197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001486044,"about_ca_topic_score_gemma":0.00007767415,"domain_scores_codex":[0.9953467,0.001022095,0.001255621,0.0008342509,0.0009431337,0.0005981768],"domain_scores_gemma":[0.9971529,0.0002750518,0.0006267242,0.001452704,0.0002033318,0.0002892722],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007810934,0.001007377,0.06781166,0.003939535,0.0007746438,0.0003152238,0.05136841,0.707583,0.01399891,0.1380348,0.003873104,0.01051223],"study_design_scores_gemma":[0.001088909,0.0001232267,0.002081284,0.001109605,0.0000132096,0.000135014,0.003951651,0.9900025,0.00003177861,0.0001304339,0.0008625722,0.0004698071],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5232695,0.002888477,0.4693577,0.0005476472,0.001526132,0.001340946,0.00003900043,0.0002311411,0.000799495],"genre_scores_gemma":[0.9964493,0.00004480744,0.002342709,0.00002006541,0.000105297,0.0002348746,0.00007324307,0.00004255032,0.0006871872],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4731798,"threshold_uncertainty_score":0.9998614,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2112474319","doi":"10.1109/tac.2007.915173","title":"Decentralized Supervisory Control of Discrete-Event Systems Over Communication Networks","year":2008,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Supervisory control; Computer science; Block (permutation group theory); Distributed computing; Event (particle physics); Class (philosophy); Control (management); Process (computing); Telecommunications network; Communications system; Communications protocol; Computer network; Mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.0228694083021371,"gpt":0.2480390240449751,"spread":0.225169615742838,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007004099,0.0002938268,0.0007082403,0.000243657,0.0003391969,0.00008098173,0.001138177,0.0001597304,0.00004289863],"category_scores_gemma":[0.00001762042,0.0002720974,0.0002965419,0.0004763008,0.0001167751,0.0004558365,0.000004616506,0.0002429289,0.00002405926],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001750098,"about_ca_system_score_gemma":0.0001243955,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001660006,"about_ca_topic_score_gemma":0.00001931758,"domain_scores_codex":[0.9967613,0.0007066607,0.00107083,0.0003845506,0.0006336315,0.0004430312],"domain_scores_gemma":[0.9968029,0.0009127905,0.00037811,0.001575167,0.0001700327,0.00016103],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005670973,0.0003066616,0.0001113288,0.00007656685,0.0002760415,0.00001030027,0.0008053452,0.9866337,0.0006170497,0.001047369,0.0001268447,0.009932118],"study_design_scores_gemma":[0.004344652,0.00009264636,0.0004936988,0.0002437954,0.00007599944,0.00006694482,0.00003578239,0.9940817,0.0001692941,0.00003660559,0.0001111134,0.0002477416],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02169593,0.001252177,0.9743471,0.0002337099,0.0009269681,0.001006088,0.00002646788,0.0004145143,0.00009705518],"genre_scores_gemma":[0.9964138,0.0001899295,0.002848839,0.00018012,0.00002475178,0.0002326948,0.00000169361,0.00002765153,0.00008052498],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9747179,"threshold_uncertainty_score":0.9999731,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2159184825","doi":"10.1109/robot.1993.292082","title":"Manufacturing cell supervisory control-a modular timed discrete-event system approach","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Modular design; Supervisory control theory; Event (particle physics); Control (management); Computer science; Control engineering; Control system; Programming language; Engineering; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.02595883129593927,"gpt":0.1965540296252886,"spread":0.1705951983293494,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005461429,0.0002946802,0.0003967092,0.0001698144,0.0001883216,0.0002602973,0.00157427,0.0001208088,0.00004522114],"category_scores_gemma":[0.000007158505,0.0002455785,0.0001668104,0.0002043754,0.00002585835,0.0005714,0.0003231439,0.0001958633,0.0004199143],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001821869,"about_ca_system_score_gemma":0.00001367982,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003824133,"about_ca_topic_score_gemma":7.618577e-7,"domain_scores_codex":[0.9972886,0.0001919384,0.0005228227,0.0007641859,0.0006348812,0.0005975901],"domain_scores_gemma":[0.9982484,0.00007900212,0.0001134921,0.001305853,0.00004793289,0.000205349],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000343979,0.001158107,0.0008219761,0.002753341,0.0004163748,0.0004350428,0.006856692,0.8780593,0.01138288,0.0564722,0.009298333,0.03231142],"study_design_scores_gemma":[0.000750675,0.00002679552,0.00005237992,0.00003989816,0.00001078903,0.00005898052,0.0001400848,0.9930871,0.004640416,0.00003119049,0.0008380865,0.0003235914],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01872521,0.0007189244,0.9148319,0.000123238,0.0004026192,0.0003762515,0.000002931468,0.0006938787,0.06412501],"genre_scores_gemma":[0.9523104,0.000007682823,0.04424774,0.0001370814,0.0001242618,0.0000507105,0.00000174932,0.00002622489,0.00309417],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9335852,"threshold_uncertainty_score":0.9999996,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2119907112","doi":"10.1109/cdc.1992.371015","title":"The supervisory control of timed discrete-event systems","year":2005,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Controllability; Event (particle physics); Semantics (computer science); Computer science; Control (management); Model checking; Theoretical computer science; Controller (irrigation); Programming language; Algorithm; Mathematics; Artificial intelligence; Applied mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.02096966253093903,"gpt":0.2415387649939455,"spread":0.2205691024630065,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008871798,0.00009718849,0.0001795783,0.00004286725,0.0001131215,0.0001142018,0.001187658,0.00003922235,0.000006042331],"category_scores_gemma":[0.00003774849,0.0000569159,0.0000733896,0.0001706726,0.00003800375,0.0002448211,0.00014167,0.00006874683,0.00007016161],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004636451,"about_ca_system_score_gemma":0.00004875857,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004935482,"about_ca_topic_score_gemma":0.00001412475,"domain_scores_codex":[0.9986072,0.000137168,0.0004172833,0.0002077642,0.0003829406,0.000247715],"domain_scores_gemma":[0.9986559,0.0003091861,0.000104801,0.0007769833,0.0000929729,0.00006017697],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003365432,0.0001412153,0.0009635753,0.0001011415,0.0002129371,0.000007768039,0.001853367,0.1835879,0.007248903,0.6949259,0.008332122,0.1025916],"study_design_scores_gemma":[0.0003260984,0.00002304411,0.00008686029,0.00002634862,0.00000367515,0.00001098056,0.00006877451,0.9817744,0.0004870641,0.00008826005,0.01701866,0.00008586553],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004299717,0.002162815,0.9841828,0.001207039,0.0004715913,0.000236501,0.000001759367,0.0001051274,0.007332679],"genre_scores_gemma":[0.9943177,0.0000184516,0.003380615,0.0001007652,0.0001182999,0.00002300003,2.226516e-7,0.00000613061,0.002034836],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.990018,"threshold_uncertainty_score":0.2320963,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2011012624","doi":"10.1007/s10626-006-0020-x","title":"Near-Optimal Online Control of Dynamic Discrete-Event Systems","year":2006,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Normalization (sociology); Modular design; Computer science; Simple (philosophy); Optimal control; Discrete time and continuous time; Discrete event dynamic system; Algorithm; Control theory (sociology); Set (abstract data type); Event (particle physics); String (physics); Control (management); Mathematical optimization; Mathematics; Discrete system; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.007083788743341146,"gpt":0.2549401869041265,"spread":0.2478563981607854,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001627311,0.0007880853,0.001521518,0.0003969135,0.00030066,0.0005577601,0.002494722,0.0003377273,0.000005618186],"category_scores_gemma":[0.00006787507,0.0007021406,0.0005518185,0.0009443772,0.0001980469,0.0007336411,0.0004403328,0.0004135009,0.00006489934],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007922227,"about_ca_system_score_gemma":0.0002994674,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00264267,"about_ca_topic_score_gemma":0.0001651299,"domain_scores_codex":[0.9922507,0.0007677459,0.002655224,0.001371241,0.001743091,0.001212009],"domain_scores_gemma":[0.9952733,0.000318459,0.001481195,0.002278333,0.0003698098,0.0002789287],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005234872,0.0002606238,0.001509949,0.0007309971,0.0002499238,0.00009249882,0.0003401212,0.9786495,0.002557879,0.01460776,0.0002390235,0.000709381],"study_design_scores_gemma":[0.001664349,0.0002054621,0.001367796,0.001101244,0.00007515723,0.0002195971,0.0004131742,0.9931725,0.000012786,0.0001140756,0.0009019612,0.0007519326],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1662945,0.005712767,0.8210366,0.0001987311,0.003880315,0.001532119,0.0005807452,0.0004065341,0.0003576467],"genre_scores_gemma":[0.9941822,0.0000300743,0.003267693,0.00002118253,0.0002214452,0.0001962937,0.0002623273,0.0001024231,0.001716407],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8278877,"threshold_uncertainty_score":0.999543,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2047124927","doi":"10.1016/s0278-6125(02)90011-7","title":"Formal modeling methodologies for control of manufacturing cells: Survey and comparison","year":2002,"lang":"en","type":"article","venue":"Journal of Manufacturing Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Control (management); Engineering; Industrial engineering; Manufacturing engineering; Computer science; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.1398644363181047,"gpt":0.3124186766381532,"spread":0.1725542403200485,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006147412,0.000290268,0.001141177,0.0004273385,0.0001690597,0.0002576986,0.001079652,0.0001602386,0.000001709085],"category_scores_gemma":[0.0002153798,0.0002367461,0.000217822,0.00007952088,0.00003858085,0.001061674,0.0001902612,0.0003258949,0.000001474009],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001117278,"about_ca_system_score_gemma":0.00002773073,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007599452,"about_ca_topic_score_gemma":0.000006348026,"domain_scores_codex":[0.9961765,0.000586862,0.001789381,0.0003207135,0.0006124982,0.0005140875],"domain_scores_gemma":[0.9956461,0.001862328,0.001606554,0.0004576589,0.0002770452,0.000150353],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008973154,0.00004405352,0.0004137666,0.0006035165,0.0002040758,0.0000113784,0.001014667,0.9864537,0.0008505933,0.0001086567,0.0001980411,0.01000779],"study_design_scores_gemma":[0.001459787,0.0002361082,0.000306144,0.0003093817,0.00003587485,0.0002139631,0.0002826564,0.932938,0.06358777,0.0001580186,0.0002219031,0.0002504184],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.327865,0.002324424,0.6681615,0.00003456547,0.001287997,0.0002471244,0.000009720279,0.00003258056,0.00003708438],"genre_scores_gemma":[0.9526815,0.00008372514,0.04693013,0.00001685452,0.000219571,0.000007502778,4.141594e-7,0.00002258825,0.00003767328],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6248165,"threshold_uncertainty_score":0.9654226,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2953150142","doi":"10.1109/tase.2019.2917136","title":"Optimal Information Release for Mixed Opacity in Discrete-Event Systems","year":2019,"lang":"en","type":"article","venue":"IEEE Transactions on Automation Science and Engineering","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada; National Natural Science Foundation of China; National Science Foundation","keywords":"Opacity; Secrecy; Event (particle physics); Computer science; Property (philosophy); Theoretical computer science; Algorithm; Artificial intelligence; Computer security; Physics","retraction":null,"screen_n_in":null,"score":{"opus":0.01089126120638684,"gpt":0.232563343184072,"spread":0.2216720819776851,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001002551,0.0001048702,0.0001261178,0.0005854766,0.0001221947,0.000332151,0.0003105381,0.000043943,9.147712e-7],"category_scores_gemma":[0.00002990877,0.0001034638,0.00002839642,0.000897729,0.00002137556,0.003305884,0.000004039707,0.00009535112,0.00001765078],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000199331,"about_ca_system_score_gemma":0.00008939223,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001918495,"about_ca_topic_score_gemma":0.000001198243,"domain_scores_codex":[0.9987881,0.00001293264,0.0003115372,0.0002307985,0.0004172979,0.00023934],"domain_scores_gemma":[0.999394,0.00008231074,0.0000647932,0.0002611265,0.0001179395,0.00007981251],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002594587,0.000007588712,0.000004710458,0.00006977531,0.000001642931,1.494159e-7,0.0004163822,0.9911315,0.002154014,0.001130909,0.000003828219,0.005076843],"study_design_scores_gemma":[0.0002968769,0.00004020456,0.0003822144,0.0001015125,0.000001595997,0.000009510453,0.00009090808,0.9954838,0.003318123,0.00000565449,0.0001460307,0.0001235358],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2717899,0.000007847533,0.7267733,0.00005488117,0.0008882037,0.0003136637,0.000003949038,0.000138414,0.00002983693],"genre_scores_gemma":[0.9820821,0.000004298914,0.01778081,0.00001867115,0.000008772163,0.00008305882,6.255481e-7,0.000004222139,0.00001747326],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7102922,"threshold_uncertainty_score":0.4219131,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2138778053","doi":"10.1109/wodes.2006.382403","title":"The Integrated Discrete-Event Systems Tool","year":2006,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Event (particle physics); Software; Graphical user interface; Interface (matter); Discrete event simulation; User interface; Software system; Software engineering; Software tool; Programming language; Operating system; Simulation","retraction":null,"screen_n_in":null,"score":{"opus":0.01182279088078904,"gpt":0.2362516937241722,"spread":0.2244289028433832,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006425391,0.0001128058,0.0001140569,0.00004096882,0.0002322595,0.0006319555,0.001127642,0.00004065068,0.000002769083],"category_scores_gemma":[0.00002777346,0.00006059947,0.00005163799,0.0003725188,0.00002688907,0.0002465703,0.0001929137,0.00009264283,0.000107892],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008672708,"about_ca_system_score_gemma":0.00005147525,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000580232,"about_ca_topic_score_gemma":0.00005781324,"domain_scores_codex":[0.9986636,0.000103638,0.0003502601,0.0002602893,0.0003381062,0.0002840995],"domain_scores_gemma":[0.9989046,0.0001598004,0.00007998057,0.0007362599,0.00008923407,0.0000301138],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002328453,0.00001873573,0.0002726478,0.000008944859,0.00001278773,0.00001071094,0.00005789804,0.01963086,0.0005203105,0.9538288,0.01901595,0.00662004],"study_design_scores_gemma":[0.000108487,0.00001535271,0.0001764525,0.0000297262,0.000001718503,0.00002723072,0.00006276155,0.9260107,0.0002445233,0.001112373,0.07207409,0.0001366045],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006392967,0.0005556073,0.9729959,0.0004891259,0.001210075,0.0001849181,0.000001067584,0.0003071469,0.0178632],"genre_scores_gemma":[0.9841321,0.000005238401,0.005217344,0.00004159931,0.0001271229,0.00003103598,0.000001402999,0.000006904816,0.01043724],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9777392,"threshold_uncertainty_score":0.6093962,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W314335293","doi":"10.1007/bfb0036082","title":"Hierarchical hybrid control systems","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in control and information sciences","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Partition (number theory); Hybrid system; Lattice (music); Block (permutation group theory); Mathematics; Computer science; Combinatorics; Physics","retraction":null,"screen_n_in":null,"score":{"opus":0.01235169380223089,"gpt":0.2250296506541612,"spread":0.2126779568519303,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.00146779,0.0003838259,0.0006358756,0.0007854152,0.0002871304,0.001153617,0.00108075,0.0002818838,0.000006692099],"category_scores_gemma":[0.000216503,0.0002971407,0.00009935714,0.0001983247,0.0003261378,0.002740992,0.0001217042,0.0005068766,0.00004246358],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009647541,"about_ca_system_score_gemma":0.0002363242,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009864554,"about_ca_topic_score_gemma":0.00001522243,"domain_scores_codex":[0.997045,0.00007251119,0.001029514,0.0004555076,0.000958973,0.0004385014],"domain_scores_gemma":[0.9978353,0.0009162268,0.0005483687,0.0004115532,0.0001828096,0.0001057889],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003851199,0.00001313638,0.0002071023,0.0002008865,0.00005125122,0.00002318275,0.0004574264,0.3571702,0.00001980093,0.4611137,0.0008089379,0.1798959],"study_design_scores_gemma":[0.001112663,0.0001023249,0.00004055984,0.0002280469,0.00001138106,0.0001018867,0.000001713639,0.9225602,0.000004961901,0.02062929,0.05480466,0.000402381],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00003317847,0.002347027,0.8878355,0.001046237,0.0008577502,0.0005217558,0.00004801357,0.000114902,0.1071956],"genre_scores_gemma":[0.9949662,0.00008242879,0.001991167,0.00204698,0.0002767307,0.00003276197,0.0000120032,0.000009552463,0.0005821733],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.994933,"threshold_uncertainty_score":0.9999481,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2151944132","doi":"10.1109/cdc.1992.370955","title":"Protocol verification using discrete-event systems","year":2005,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; Queen's University","funders":"Technische Universiteit Eindhoven","keywords":"Correctness; Protocol (science); Computer science; Property (philosophy); Event (particle physics); Transmission (telecommunications); Channel (broadcasting); Data transmission; Communications protocol; Computer network; Theoretical computer science; Distributed computing; Algorithm","retraction":null,"screen_n_in":null,"score":{"opus":0.05808076717527802,"gpt":0.3391522618506791,"spread":0.281071494675401,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004282153,0.0001005709,0.0001128906,0.00007937349,0.0000965189,0.0002373797,0.0006237971,0.00004519624,0.000008137619],"category_scores_gemma":[0.00001317935,0.00008253992,0.00003603796,0.0002671211,0.00001057211,0.0006563984,0.0001294016,0.00005838625,0.0001013928],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001782128,"about_ca_system_score_gemma":0.0000609985,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004727771,"about_ca_topic_score_gemma":0.000002512517,"domain_scores_codex":[0.9987596,0.00007194316,0.0003300208,0.0003138873,0.0003165132,0.0002080765],"domain_scores_gemma":[0.999073,0.00001974879,0.0001187919,0.0006552303,0.00006867127,0.00006454495],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001250078,0.0001622766,0.0005107348,0.0002235009,0.00003110714,0.000007191286,0.001029843,0.6929459,0.01579604,0.2358101,0.001702307,0.05176855],"study_design_scores_gemma":[0.000168964,0.00001243416,0.00002899016,0.00004594512,0.000001179721,0.00002232003,0.00001782302,0.9731683,0.00127447,0.00004187231,0.02510132,0.0001163755],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009750357,0.00001235806,0.9692113,0.0001564227,0.0002017504,0.02468219,3.510343e-7,0.0002341557,0.004526397],"genre_scores_gemma":[0.8319513,1.903827e-7,0.1435848,0.00005749927,0.0002544792,0.02347352,4.631315e-7,0.00001004638,0.0006676936],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8309762,"threshold_uncertainty_score":0.336588,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2143572277","doi":"10.1109/tac.2011.2128730","title":"Multi-Decision Supervisory Control: Parallel Decentralized Architectures Cooperating for Controlling Discrete Event Systems","year":2011,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Supervisory control; Event (particle physics); Computer science; Set (abstract data type); Control (management); Inference; Distributed computing; Architecture; Decentralised system; Theoretical computer science; Artificial intelligence; Programming language","retraction":null,"screen_n_in":null,"score":{"opus":0.04349202425032712,"gpt":0.2734596481301471,"spread":0.22996762387982,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0014283,0.0005665416,0.001082886,0.0003968673,0.0006455944,0.0003542483,0.001214985,0.000213879,0.00003410469],"category_scores_gemma":[0.000119613,0.0004750988,0.0005360896,0.000346149,0.00007225811,0.0003482625,0.000005339422,0.000300811,0.00004348452],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001816002,"about_ca_system_score_gemma":0.0001633681,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001308539,"about_ca_topic_score_gemma":0.00006962449,"domain_scores_codex":[0.9954789,0.0005325151,0.001506214,0.0008883177,0.0006788883,0.0009151634],"domain_scores_gemma":[0.9958841,0.001994729,0.0003848158,0.001126492,0.0002943643,0.0003154544],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005744303,0.0003810445,0.00002343097,0.0001516593,0.0004698084,0.00001806502,0.001988312,0.9388026,0.003681717,0.0005893453,0.00002574513,0.05329385],"study_design_scores_gemma":[0.01632515,0.0003348077,0.00008769934,0.0004255324,0.0001596268,0.00005011717,0.0001013806,0.9813132,0.0004436303,0.0001794302,0.00007257584,0.0005068593],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01091055,0.0006829576,0.9814751,0.0001419894,0.002271803,0.003508686,0.0001001623,0.0008773654,0.00003145534],"genre_scores_gemma":[0.8440391,0.00001453173,0.1542403,0.000309949,0.0000585443,0.001217245,0.000001391447,0.00005750322,0.0000614858],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8331286,"threshold_uncertainty_score":0.99977,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2566418289","doi":"10.1109/cdc.1998.761808","title":"Fault diagnosis in discrete-event systems: framework and model reduction","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Reduction (mathematics); Automaton; Computer science; Fault (geology); Finite-state machine; State (computer science); Computational complexity theory; Time complexity; Polynomial; Exponential function; Fault detection and isolation; Event (particle physics); Algorithm; Theoretical computer science; Mathematics; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.03444884065285833,"gpt":0.2711006902015917,"spread":0.2366518495487334,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000304691,0.0001274429,0.0001817788,0.0001599463,0.00006672717,0.000193498,0.0003881817,0.0001097372,0.000007640614],"category_scores_gemma":[0.00005873743,0.0001122443,0.00002961309,0.0004087137,0.00002139075,0.0005457862,0.0001843767,0.0001596473,0.00002438911],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009840504,"about_ca_system_score_gemma":0.000008592197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001094793,"about_ca_topic_score_gemma":0.00000560788,"domain_scores_codex":[0.9986318,0.00007193798,0.0003297714,0.0004374981,0.0002782174,0.00025082],"domain_scores_gemma":[0.9992357,0.00008806722,0.00006862729,0.0004914538,0.00003414071,0.00008198835],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002259273,0.0001103241,0.001963841,0.0000831903,0.00001443035,0.00001484788,0.003383891,0.8131162,0.00006852642,0.1605865,0.003109442,0.01754653],"study_design_scores_gemma":[0.0001067638,0.00001699497,0.00004178311,0.0001793421,0.000001954209,0.00002913678,0.0001062802,0.9961832,0.00005208158,0.002976328,0.0001600117,0.0001461585],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05382177,0.001577923,0.9413263,0.0008294151,0.0004523503,0.0002010821,0.000001037367,0.0001438791,0.001646299],"genre_scores_gemma":[0.9382424,0.0002685745,0.06060358,0.0000500965,0.00006290529,0.00009578321,2.339737e-7,0.000008215804,0.0006681568],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8844207,"threshold_uncertainty_score":0.4577188,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}