{"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","author_layer_release":"2026-06-26"},"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","authors":[{"name":"W.M. Wonham","is_ca":true},{"name":"Kai Cai","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002607004,0.0004442287,0.0004252833,0.0002172433,0.0001830083,0.0009144128,0.0006743695,0.0003177489,0.002383778],"category_scores_gemma":[0.0008160955,0.0002307968,0.0003234556,0.0002474985,0.0006226274,0.0004409979,0.0004921896,0.0008803349,0.0003709325],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000285427,"about_ca_system_score_gemma":0.0005413198,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006134555,"about_ca_topic_score_gemma":0.0007923636,"domain_scores_codex":[0.9997535,0.00003893899,0.00001838322,0.00005742157,0.0001089035,0.00002276437],"domain_scores_gemma":[0.9997081,0.0001651237,0.00003474041,0.00003619245,0.00004265591,0.00001310744],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002084051,0.00009758165,0.000221704,0.0004972743,0.00005908374,0.0002280084,0.0004286599,0.4310885,0.04180619,0.237292,0.005253706,0.2828188],"study_design_scores_gemma":[0.00005862779,0.0001353319,0.0002698978,0.00007059598,0.00002556432,0.00007534026,0.0000314842,0.8568649,0.0109216,0.1120658,0.0194596,0.00002120828],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01503851,0.001927724,0.9623278,0.0001462451,0.0005290738,0.00003897994,0.00006119115,0.001062926,0.01886752],"genre_scores_gemma":[0.8936087,0.003290534,0.07994036,0.000109149,0.0003716862,0.000181181,0.0001841485,0.0001378485,0.02217635],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.002383778,"threshold_uncertainty_score":0.007974505,"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","authors":[{"name":"Chuan Ma","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005718665,0.0003001793,0.0003769188,0.000254787,0.0004301003,0.0006903862,0.0007765035,0.000326237,0.00140593],"category_scores_gemma":[0.002292405,0.0001968268,0.0003406362,0.0003775096,0.0009338008,0.001093233,0.0007492829,0.0006216514,0.0001350113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005921128,"about_ca_system_score_gemma":0.0009666346,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00193903,"about_ca_topic_score_gemma":0.002879157,"domain_scores_codex":[0.9995422,0.000129176,0.00002759659,0.0001037118,0.0001237851,0.00007343626],"domain_scores_gemma":[0.9981968,0.001192504,0.0002254051,0.0001210399,0.0002068305,0.00005756659],"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.0002444902,0.00009020603,0.001030445,0.0001895744,0.00003498653,0.0002545762,0.0003783705,0.7057251,0.04308978,0.1434375,0.001142337,0.1043826],"study_design_scores_gemma":[0.00002103118,0.00004514473,0.0001451336,0.000007675786,0.00001130117,0.00002742541,0.00002166582,0.9439837,0.008326384,0.04591889,0.001485925,0.000005684138],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05260642,0.0001264967,0.9444668,0.00007601998,0.00002190545,0.00003448025,0.00003860305,0.0006842826,0.001944947],"genre_scores_gemma":[0.8787475,0.0001903516,0.1187622,0.00004293976,0.00001702272,0.0001305334,0.0001497232,0.00007330986,0.001886434],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00193903,"threshold_uncertainty_score":0.004703283,"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","authors":[{"name":"Rong Su","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008982465,0.0005500564,0.0009386811,0.000649251,0.0005633491,0.00102624,0.001083639,0.0005220039,0.004404527],"category_scores_gemma":[0.002699386,0.0004041589,0.001314822,0.0003797394,0.001122996,0.001220051,0.001703245,0.002021096,0.0006754472],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000607635,"about_ca_system_score_gemma":0.001060971,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001534396,"about_ca_topic_score_gemma":0.00239805,"domain_scores_codex":[0.9989208,0.0002253489,0.00005994635,0.0001950064,0.0004719996,0.0001269925],"domain_scores_gemma":[0.9981697,0.001126993,0.00007354455,0.0003544955,0.0002057537,0.00006957058],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000440874,0.0003982028,0.0008246943,0.0005558265,0.0001370072,0.0004596622,0.0006142273,0.426497,0.01518924,0.2935323,0.007241705,0.2541093],"study_design_scores_gemma":[0.00008249418,0.00006761806,0.0002289037,0.00002107799,0.00003751217,0.00006161094,0.00006144635,0.6604767,0.007483535,0.3274838,0.003979148,0.00001606587],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01459556,0.0001642189,0.977215,0.0001907653,0.00007735803,0.00008399426,0.0001013557,0.001380872,0.006190863],"genre_scores_gemma":[0.7250718,0.0003608202,0.2605397,0.0001445914,0.0001117494,0.0003134053,0.0006417665,0.000334042,0.01248203],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004404527,"threshold_uncertainty_score":0.01473457,"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","authors":[{"name":"Karen Rudie","is_ca":true},{"name":"Stéphane Lafortune","is_ca":false},{"name":"Feng Lin","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001878058,0.000661975,0.001366082,0.0006060104,0.001427047,0.00211645,0.001967108,0.001309769,0.002762527],"category_scores_gemma":[0.007490479,0.0006096752,0.000636364,0.0005803743,0.002357631,0.003110065,0.003742779,0.001446088,0.0005099941],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001258254,"about_ca_system_score_gemma":0.001494146,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00190231,"about_ca_topic_score_gemma":0.001583168,"domain_scores_codex":[0.9963043,0.001088656,0.0003046391,0.0008809185,0.001103029,0.0003184736],"domain_scores_gemma":[0.9943329,0.003641112,0.0004828406,0.0006762816,0.0005090203,0.0003579746],"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.0003136303,0.0001480751,0.001214612,0.0002588863,0.00007563975,0.0009111752,0.0008845186,0.5242172,0.00582582,0.4357327,0.001383213,0.02903456],"study_design_scores_gemma":[0.00009205909,0.00009831315,0.0001694266,0.0000155899,0.0000284924,0.00009782748,0.00009038128,0.7609155,0.001873961,0.2330536,0.003542299,0.00002264323],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07075678,0.0001962577,0.9168618,0.0007307659,0.00004792176,0.0001274032,0.0001343955,0.0006462128,0.01049836],"genre_scores_gemma":[0.8624164,0.0001606737,0.1316107,0.0001275583,0.00006618266,0.0003667953,0.0002430195,0.0000718761,0.004936798],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002762527,"threshold_uncertainty_score":0.00993222,"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","authors":[{"name":"Kai Cai","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00132175,0.0009728748,0.0008436827,0.0004518567,0.0004597897,0.001276221,0.001492795,0.000691701,0.002390095],"category_scores_gemma":[0.002134074,0.0004297729,0.0009039695,0.0003991094,0.001741129,0.001371105,0.001634095,0.001777262,0.0004779513],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007336879,"about_ca_system_score_gemma":0.0009202877,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001416545,"about_ca_topic_score_gemma":0.001172248,"domain_scores_codex":[0.9991348,0.000260124,0.0000461331,0.0002143283,0.0002557306,0.0000888797],"domain_scores_gemma":[0.9991671,0.0004546192,0.00007242709,0.0001433662,0.0001143405,0.00004818467],"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.00008391306,0.0000834763,0.0003586663,0.0002694584,0.00005702032,0.0001771525,0.0002983977,0.7686914,0.01424805,0.1332735,0.0008659165,0.08159307],"study_design_scores_gemma":[0.0000190715,0.00006774523,0.00004194535,0.00001296997,0.00001570293,0.00001643235,0.0000168609,0.9623381,0.002878423,0.03322638,0.001358989,0.000007385635],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001741492,0.0000524018,0.9973825,0.0000401541,0.000009535962,0.00001851255,0.000004567147,0.0001152013,0.000635685],"genre_scores_gemma":[0.503993,0.0004302745,0.4922377,0.0001323653,0.00009901279,0.0002811312,0.00006143489,0.000111189,0.002653913],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002390095,"threshold_uncertainty_score":0.007995665,"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","authors":[{"name":"P. Gohari","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003031764,0.0007803296,0.001343247,0.000650894,0.0008312866,0.002645955,0.001418235,0.00130796,0.005789576],"category_scores_gemma":[0.0172975,0.0007016754,0.001240723,0.0008122586,0.00193928,0.005876125,0.001970891,0.002617893,0.0004435765],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002015207,"about_ca_system_score_gemma":0.00194866,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003408202,"about_ca_topic_score_gemma":0.002894021,"domain_scores_codex":[0.9972652,0.0009584643,0.000168624,0.0005022985,0.0006887875,0.0004166902],"domain_scores_gemma":[0.9803867,0.01734498,0.000815402,0.0008288175,0.0003653707,0.0002587407],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005388376,0.000128477,0.001661351,0.0005272995,0.00008871657,0.0003071071,0.0003660566,0.7618424,0.004286994,0.1789433,0.002296319,0.04901325],"study_design_scores_gemma":[0.00006789213,0.00006338159,0.0004824732,0.00002675167,0.00002832452,0.00006456435,0.00009141279,0.8067768,0.001131866,0.1899874,0.001258239,0.00002096062],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1134912,0.0007239881,0.8710303,0.002419338,0.00006222657,0.0002173012,0.0003696345,0.00065632,0.01102965],"genre_scores_gemma":[0.8083671,0.001181806,0.1830387,0.0002644645,0.0001464921,0.0005709176,0.0006196108,0.0002168668,0.005594078],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005789576,"threshold_uncertainty_score":0.01936805,"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","authors":[{"name":"Ayman M. A. Youssef","is_ca":true},{"name":"Hoda ElMaraghy","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000363515,0.0006536532,0.0005540742,0.0004958622,0.0002706809,0.0007834493,0.000735759,0.0008440305,0.001952671],"category_scores_gemma":[0.0008967069,0.0004450954,0.000720983,0.0006554233,0.000662675,0.0006613031,0.0005001654,0.0004934371,0.0002132254],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008203033,"about_ca_system_score_gemma":0.0007154547,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003429451,"about_ca_topic_score_gemma":0.003131695,"domain_scores_codex":[0.9997131,0.00009455384,0.000010634,0.00005171891,0.00008408526,0.0000458518],"domain_scores_gemma":[0.9997455,0.0001277251,0.00005371622,0.00002854888,0.00002717075,0.00001725507],"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.00000824556,0.000003421468,0.00009005263,0.000006115717,0.0000029698,0.00002956971,0.000003982272,0.9971723,0.0003485782,0.001108687,0.00002724375,0.001198938],"study_design_scores_gemma":[0.0000044564,0.00001702797,0.000113535,0.000003089966,0.000004373883,0.00001687631,0.000007820472,0.9975604,0.0004587663,0.001522858,0.0002879341,0.000002887645],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2219775,0.000388648,0.7588491,0.0001997766,0.00003496784,0.0001149521,0.0002416767,0.0004541136,0.01773924],"genre_scores_gemma":[0.9384726,0.0002081663,0.0582495,0.0000152124,0.000005760195,0.0001273066,0.0001061795,0.00004982664,0.002765478],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003429451,"threshold_uncertainty_score":0.00681895,"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","authors":[{"name":"Peter J. Ramadge","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003992656,0.0005480925,0.0008049341,0.0003482145,0.0006185819,0.001493971,0.0007685866,0.000585041,0.002215588],"category_scores_gemma":[0.001503841,0.0002098069,0.000542635,0.0003595381,0.001001395,0.0008315912,0.0006275121,0.0009828378,0.000188272],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000410297,"about_ca_system_score_gemma":0.0007321799,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00154527,"about_ca_topic_score_gemma":0.001432248,"domain_scores_codex":[0.9996056,0.00003562864,0.00001715242,0.0001252937,0.0001412924,0.00007501722],"domain_scores_gemma":[0.9992329,0.0004142314,0.0001180655,0.00008033334,0.0000907717,0.00006371019],"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.0003755135,0.0002261788,0.001119225,0.0002283603,0.00007998895,0.0006906579,0.0005879554,0.2737187,0.01858137,0.6106191,0.003850629,0.08992232],"study_design_scores_gemma":[0.00008525721,0.0001266497,0.0008268956,0.00001749172,0.00002195768,0.0001372918,0.00004057919,0.7914078,0.002708959,0.2010652,0.003545637,0.00001629815],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1655156,0.0009566502,0.8081778,0.0004069183,0.0002524309,0.00009749293,0.0002131012,0.0009171946,0.0234628],"genre_scores_gemma":[0.9701924,0.0003402265,0.02167357,0.00006071285,0.0001315997,0.0001069492,0.0001428667,0.00003791154,0.007313719],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002215588,"threshold_uncertainty_score":0.007411897,"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","authors":[{"name":"Thomas Moor","is_ca":false},{"name":"Jörg Raisch","is_ca":false},{"name":"Siu O’Young","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001461882,0.0005209958,0.00145449,0.0003358388,0.0005621208,0.001511618,0.001160055,0.0007082425,0.001468197],"category_scores_gemma":[0.004495182,0.0004272604,0.0006309141,0.0003104021,0.001459649,0.001041835,0.001222556,0.001582564,0.0001869823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001272247,"about_ca_system_score_gemma":0.00134643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006439378,"about_ca_topic_score_gemma":0.005641593,"domain_scores_codex":[0.9991573,0.0002843002,0.00004749353,0.00017157,0.0002401677,0.00009914081],"domain_scores_gemma":[0.9968618,0.002085868,0.0003906841,0.0002081077,0.0003366732,0.0001167884],"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.0002834548,0.00004114475,0.0002874119,0.0001044922,0.00004352479,0.00006490508,0.0002066176,0.9437531,0.002866603,0.03239739,0.000370726,0.01958059],"study_design_scores_gemma":[0.00001779621,0.0000264066,0.00005442982,0.000005673318,0.000004650577,0.000004443265,0.000007455964,0.9929823,0.0004212413,0.006315409,0.0001554525,0.000004763623],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03851292,0.0001601228,0.9583837,0.000128736,0.00004495431,0.00002807463,0.00004502854,0.0002926594,0.002403832],"genre_scores_gemma":[0.9602416,0.0001063087,0.03786559,0.00004402775,0.00002363367,0.0001076008,0.00007091647,0.00002929504,0.001511098],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006439378,"threshold_uncertainty_score":0.01280379,"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","authors":[{"name":"Yang Li","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001517597,0.0008650714,0.000536909,0.0006784449,0.0004326422,0.002022549,0.0008637992,0.0008131849,0.002056417],"category_scores_gemma":[0.005590831,0.0003813864,0.0008293877,0.0006084504,0.002375563,0.002651807,0.001100352,0.001490936,0.000235706],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001050131,"about_ca_system_score_gemma":0.0008711258,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006271896,"about_ca_topic_score_gemma":0.002954494,"domain_scores_codex":[0.9982736,0.0005191463,0.0001181979,0.0003377854,0.0006118228,0.0001394647],"domain_scores_gemma":[0.9967859,0.002390246,0.0003216031,0.0002155039,0.0002076656,0.00007895849],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001594049,0.00007405571,0.0006879141,0.0002614252,0.00004937922,0.0005590845,0.0005985518,0.2718675,0.00624843,0.6727781,0.00107102,0.04564518],"study_design_scores_gemma":[0.00005036409,0.0001125763,0.0002425134,0.00004280011,0.00003257673,0.00009376967,0.00004432839,0.7236085,0.002953716,0.2685515,0.004240937,0.00002638621],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01449597,0.0008421444,0.9761471,0.0002976866,0.00006801229,0.00003835211,0.00008335822,0.0004212772,0.007606186],"genre_scores_gemma":[0.910239,0.001428333,0.08288223,0.0001458316,0.0002454675,0.0002787414,0.0001984294,0.00008732054,0.004494657],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006271896,"threshold_uncertainty_score":0.01247078,"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","authors":[{"name":"Lei Feng","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007119916,0.001163809,0.0008477503,0.00112233,0.0006332425,0.001531874,0.001675005,0.0008745343,0.01703014],"category_scores_gemma":[0.002892602,0.0007092688,0.001496946,0.00111062,0.0008797499,0.00159551,0.001238909,0.00187953,0.003988878],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005393694,"about_ca_system_score_gemma":0.001398673,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002213272,"about_ca_topic_score_gemma":0.002066987,"domain_scores_codex":[0.9992623,0.0001324991,0.00006786112,0.0001223902,0.0003385212,0.00007639384],"domain_scores_gemma":[0.9986967,0.0007026912,0.00008724437,0.0002510689,0.0002114666,0.00005076878],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005248237,0.0001155099,0.001161898,0.001073381,0.0001534003,0.000611852,0.0004107345,0.2131149,0.02605814,0.2425832,0.05125473,0.4629374],"study_design_scores_gemma":[0.0001620875,0.0001462633,0.0002706869,0.0001876462,0.0001169798,0.0004703477,0.00005126822,0.7346049,0.03441589,0.1192039,0.1102794,0.00009072508],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008752867,0.00004363514,0.9875623,0.00003336159,0.0000469392,0.00002837687,0.0001739088,0.009308376,0.001927817],"genre_scores_gemma":[0.1178853,0.000512757,0.8655351,0.0002072081,0.0001401278,0.0006070904,0.001923378,0.008044835,0.005144147],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01703014,"threshold_uncertainty_score":0.05697155,"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","authors":[{"name":"Junwei Wang","is_ca":true},{"name":"W.H. Ip","is_ca":false},{"name":"Raja Ram Muddada","is_ca":true},{"name":"Jong-Ching Huang","is_ca":true},{"name":"Wenjun Zhang","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007960416,0.0004395791,0.0004504308,0.0003365574,0.0004653159,0.000979697,0.001129448,0.0004929705,0.004255961],"category_scores_gemma":[0.001729497,0.0002437336,0.0004395368,0.0004101318,0.0005217019,0.0008596695,0.001004229,0.0008223445,0.0003915135],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008154523,"about_ca_system_score_gemma":0.001346234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006719704,"about_ca_topic_score_gemma":0.006740401,"domain_scores_codex":[0.9994776,0.0001423166,0.00002402386,0.00009285853,0.0001597087,0.0001035766],"domain_scores_gemma":[0.9994702,0.0002470642,0.00004610934,0.00006874519,0.0001283799,0.00003961114],"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.0001782659,0.00006985049,0.0004747107,0.00008319241,0.00003166635,0.0001732092,0.0001096417,0.8443581,0.006348579,0.09916242,0.0007968695,0.04821341],"study_design_scores_gemma":[0.000009918754,0.00003113768,0.00005125019,0.000008961463,0.00001184236,0.00001441469,0.00001917957,0.9827842,0.001588121,0.01439552,0.001080072,0.000005418876],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03210851,0.000118667,0.9562394,0.000187588,0.00009661888,0.0000665491,0.00004737381,0.0005880871,0.01054727],"genre_scores_gemma":[0.8410168,0.0002629969,0.1491012,0.0001028983,0.00002622879,0.00011306,0.0001190007,0.00008088054,0.009176911],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006719704,"threshold_uncertainty_score":0.01423758,"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","authors":[{"name":"K.C. Wong","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003502061,0.001319276,0.001782046,0.0008356539,0.001124514,0.003380053,0.002602361,0.001503322,0.003670601],"category_scores_gemma":[0.01964921,0.0009403017,0.001410773,0.0009088737,0.003299609,0.00500624,0.002778562,0.002539347,0.0004266876],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001551641,"about_ca_system_score_gemma":0.001578118,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005858336,"about_ca_topic_score_gemma":0.00527755,"domain_scores_codex":[0.9975344,0.0008836851,0.0001857518,0.0004282376,0.0006736767,0.0002942945],"domain_scores_gemma":[0.980159,0.01657845,0.0005926043,0.001472511,0.0008760456,0.000321204],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006878555,0.00008853513,0.001314794,0.0002908771,0.00008984312,0.0002270822,0.0005076563,0.5583661,0.002458187,0.384699,0.001742484,0.04952754],"study_design_scores_gemma":[0.00003993667,0.00002539505,0.00009572272,0.00002209866,0.00002436491,0.00001447253,0.00002755203,0.8300348,0.001307664,0.1674346,0.000961311,0.0000121851],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01378835,0.0002275139,0.9826063,0.0002002924,0.00007304658,0.00004797223,0.00005456628,0.0005688252,0.002433188],"genre_scores_gemma":[0.7099453,0.0005264669,0.284028,0.0001632653,0.0001157198,0.0002475101,0.0003830135,0.000280336,0.004310474],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005858336,"threshold_uncertainty_score":0.01852089,"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","authors":[{"name":"C.M. Woodside","is_ca":true},{"name":"Yao Li","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007548173,0.0005523476,0.0003465014,0.0008023924,0.0002999719,0.000692323,0.0004997113,0.0002805705,0.00134242],"category_scores_gemma":[0.002447955,0.0002346467,0.0004799254,0.0004352862,0.0007445968,0.0008799662,0.0004035383,0.000546352,0.0001313245],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001563061,"about_ca_system_score_gemma":0.001049524,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007999633,"about_ca_topic_score_gemma":0.00364255,"domain_scores_codex":[0.9996563,0.0001073136,0.00001347469,0.00003751371,0.0001423565,0.00004295778],"domain_scores_gemma":[0.9990252,0.0007006311,0.00007619763,0.00006334783,0.0001063457,0.00002827635],"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.00001656819,0.000008670013,0.0001986607,0.0000102543,0.000005393066,0.00002021537,0.00001643662,0.9735302,0.001214494,0.02181008,0.00007324821,0.003095706],"study_design_scores_gemma":[8.890648e-7,0.000002191251,0.00003039558,5.873692e-7,0.000001230867,0.000001628089,0.000001311506,0.9956762,0.0002636263,0.003961092,0.00006003484,7.567562e-7],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08763827,0.0001355163,0.9070337,0.0001323134,0.00001711556,0.00003944499,0.00006977087,0.0002974383,0.004636412],"genre_scores_gemma":[0.9272568,0.0002390868,0.06871548,0.00002140941,0.00002254644,0.0001101794,0.0001246218,0.00007651498,0.003433357],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007999633,"threshold_uncertainty_score":0.01590616,"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","authors":[{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002256391,0.0005562628,0.0005261966,0.0002587775,0.0002021009,0.001097491,0.0008158622,0.0003896611,0.004692064],"category_scores_gemma":[0.000613659,0.0002577404,0.0003223735,0.0002892648,0.0007196228,0.0005534199,0.0006316177,0.00123334,0.0008212469],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000266832,"about_ca_system_score_gemma":0.0005781287,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006951423,"about_ca_topic_score_gemma":0.0009611208,"domain_scores_codex":[0.9997428,0.00003647302,0.0000167469,0.00005779503,0.0001259082,0.00002024261],"domain_scores_gemma":[0.9997832,0.0001203261,0.00002047242,0.00003366459,0.00003270937,0.000009665341],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001289129,0.0001158959,0.0001932235,0.0007127678,0.00005985895,0.0002455338,0.0004209264,0.2765108,0.02715179,0.2274584,0.01287347,0.4541283],"study_design_scores_gemma":[0.00007155295,0.0001695026,0.0005456983,0.0001783245,0.0000308473,0.0001440466,0.00004833737,0.7153959,0.01222486,0.1970444,0.07411306,0.00003340239],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.008425475,0.005297088,0.9393528,0.0002794143,0.0006976858,0.00005691021,0.0001177817,0.001670232,0.04410264],"genre_scores_gemma":[0.8003178,0.01120617,0.1191714,0.0002747567,0.0008624569,0.0003148656,0.0005679008,0.0002757757,0.06700883],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.004692064,"threshold_uncertainty_score":0.01569659,"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","authors":[{"name":"B.A. Brandin","is_ca":true},{"name":"Flora Charbonnier","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003047972,0.0002971678,0.0002679425,0.0002383414,0.0003241038,0.0006933378,0.0005659701,0.0002856546,0.002314665],"category_scores_gemma":[0.000693233,0.0001399651,0.0002978985,0.0001624355,0.0005859028,0.0003010164,0.0004813704,0.0005683949,0.0003303618],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004162002,"about_ca_system_score_gemma":0.001174376,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002261017,"about_ca_topic_score_gemma":0.00119619,"domain_scores_codex":[0.9997098,0.00005109427,0.00001110493,0.00007038673,0.0001262267,0.00003145636],"domain_scores_gemma":[0.9997665,0.000094472,0.0000354013,0.00003850276,0.00004293537,0.00002224653],"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.0004253207,0.000215907,0.004190595,0.0004660852,0.0000626482,0.00165039,0.001245535,0.2835468,0.2181035,0.09730545,0.006724017,0.3860638],"study_design_scores_gemma":[0.0001574219,0.0006000783,0.003122076,0.00004499519,0.00005806812,0.0006490083,0.00006986526,0.8704714,0.07068309,0.01222244,0.04187783,0.00004382684],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1011611,0.0003573952,0.8753312,0.000239293,0.0001178107,0.0001971224,0.0002159361,0.007022686,0.01535752],"genre_scores_gemma":[0.8586431,0.0002489124,0.1334734,0.0000563159,0.00006472346,0.0002584851,0.0002688468,0.00009039613,0.006895985],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002314665,"threshold_uncertainty_score":0.007743299,"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","authors":[{"name":"Lei Feng","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009767002,0.0004966733,0.0003729581,0.0003212325,0.0003687228,0.0006425116,0.00115521,0.0004248259,0.001508656],"category_scores_gemma":[0.002515272,0.0003417274,0.000453771,0.0002651294,0.001006974,0.001081688,0.00141913,0.000735833,0.0002422961],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005540433,"about_ca_system_score_gemma":0.001053978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006111536,"about_ca_topic_score_gemma":0.001346043,"domain_scores_codex":[0.9993327,0.0002430965,0.00003187264,0.0001110979,0.0001928968,0.0000883012],"domain_scores_gemma":[0.9989762,0.0004312776,0.0001347154,0.0002879597,0.0001126831,0.00005715733],"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.0001681191,0.00008875036,0.001024425,0.0002135791,0.00004552972,0.0002213103,0.0003100288,0.6929337,0.03699305,0.1711059,0.001024386,0.09587111],"study_design_scores_gemma":[0.00003980253,0.00008420186,0.0001350931,0.00001315625,0.00001921601,0.00006335804,0.0000260269,0.9384382,0.006955262,0.0525242,0.001693054,0.000008441932],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01931872,0.00005976653,0.97868,0.00006697365,0.000007903502,0.00003409063,0.00001242575,0.0002456082,0.001574429],"genre_scores_gemma":[0.7017477,0.0001405989,0.2963961,0.00004172362,0.00001647664,0.0001565468,0.00007505139,0.00008295161,0.001342926],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001508656,"threshold_uncertainty_score":0.005165339,"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","authors":[{"name":"Max H. de Queiroz","is_ca":false},{"name":"José E.R. Cury","is_ca":false},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007945694,0.0004468829,0.0005803121,0.0002944713,0.0003858465,0.0008259148,0.0007420467,0.000304451,0.001639288],"category_scores_gemma":[0.001854699,0.000192572,0.0002720451,0.0002080544,0.0004769219,0.0005803248,0.0007911907,0.0007572558,0.0001754683],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000281649,"about_ca_system_score_gemma":0.0006709369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001203122,"about_ca_topic_score_gemma":0.001649637,"domain_scores_codex":[0.9995999,0.00009884025,0.00003294312,0.0001024697,0.0001066346,0.00005935516],"domain_scores_gemma":[0.9986722,0.0007360692,0.0001507316,0.0001474403,0.0001912984,0.0001022335],"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.0008249833,0.0002770129,0.001201784,0.0002530389,0.00007851252,0.0004430806,0.00048444,0.7440914,0.04766627,0.04566763,0.001915758,0.1570961],"study_design_scores_gemma":[0.00004111026,0.00006662012,0.0002777202,0.000007881353,0.00001113343,0.00002708925,0.00001584094,0.9826363,0.004827373,0.01120926,0.0008720323,0.000007635409],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1011776,0.0002636513,0.8929853,0.0001285208,0.0001669732,0.00004706468,0.00004336352,0.0009830517,0.004204466],"genre_scores_gemma":[0.9773898,0.00008855421,0.02081661,0.00002136015,0.00003644528,0.00005640025,0.00003238642,0.00002596197,0.001532461],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001639288,"threshold_uncertainty_score":0.005483925,"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","authors":[{"name":"S. Hashtrudi Zad","is_ca":true},{"name":"R.H. Kwong","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001247608,0.0009819701,0.0009335708,0.001146186,0.0004877516,0.001498298,0.001454947,0.001056724,0.00151949],"category_scores_gemma":[0.004048739,0.0004286767,0.0008674366,0.0006879914,0.001260009,0.001557303,0.00103419,0.001212553,0.0003244359],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008036091,"about_ca_system_score_gemma":0.0009912164,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002238393,"about_ca_topic_score_gemma":0.00146206,"domain_scores_codex":[0.9988744,0.0002684801,0.0001056657,0.0002233727,0.0004271959,0.0001008894],"domain_scores_gemma":[0.9983636,0.001067457,0.0001865619,0.0001196263,0.0001991179,0.00006358778],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001588585,0.00008414452,0.0007972979,0.0004215203,0.0000686128,0.0008702196,0.0002933296,0.4047589,0.01160783,0.4705631,0.001439457,0.1089367],"study_design_scores_gemma":[0.00004045952,0.00007287333,0.0001421692,0.00005161174,0.00003464437,0.0002014643,0.00003235832,0.857877,0.004329415,0.1296328,0.007558764,0.00002636721],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001853357,0.0003501647,0.996636,0.00005934284,0.0000446609,0.00003001406,0.00002143724,0.0002662551,0.0007388612],"genre_scores_gemma":[0.3705013,0.001540613,0.6243024,0.0001207261,0.000223782,0.0002260519,0.0002367926,0.00006837721,0.002780004],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002238393,"threshold_uncertainty_score":0.006598115,"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","authors":[{"name":"Witold Pedrycz","is_ca":true},{"name":"Heloisa A. Camargo","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004184277,0.0004956911,0.0004500918,0.0007842354,0.0008565223,0.001808588,0.0007319992,0.0007654403,0.008938977],"category_scores_gemma":[0.001682372,0.0002630833,0.0005647401,0.0008182902,0.0007355679,0.001291544,0.0005625305,0.0007698448,0.001615198],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001019893,"about_ca_system_score_gemma":0.001118873,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002737689,"about_ca_topic_score_gemma":0.002723536,"domain_scores_codex":[0.9995435,0.00006802643,0.00003602332,0.0001133748,0.0001919272,0.00004716216],"domain_scores_gemma":[0.999458,0.0001930338,0.00004666218,0.00007247968,0.000183469,0.00004626665],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001246172,0.00003697665,0.0003175508,0.0001497689,0.00002806128,0.0003583517,0.0001510985,0.03631409,0.006595496,0.8460184,0.004893932,0.1050116],"study_design_scores_gemma":[0.00003822463,0.00004424411,0.0002829627,0.00007911178,0.0000612422,0.0003252628,0.00009396763,0.1728134,0.009812616,0.7238952,0.09251804,0.00003578643],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01300952,0.001533502,0.9090939,0.0004317276,0.0005426594,0.0001325814,0.0005668537,0.0009298653,0.07375932],"genre_scores_gemma":[0.6126699,0.002383708,0.3019476,0.000340077,0.0002362473,0.00025411,0.00116335,0.0001702395,0.08083482],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008938977,"threshold_uncertainty_score":0.02990383,"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","authors":[{"name":"Mark Lawford","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001251027,0.0004553689,0.000544337,0.0002575758,0.000418207,0.001075498,0.0009473875,0.00056141,0.001684407],"category_scores_gemma":[0.003724754,0.0002295627,0.000479555,0.0002891077,0.001221437,0.001142223,0.001209234,0.001122101,0.000191502],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005425039,"about_ca_system_score_gemma":0.001084058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001654093,"about_ca_topic_score_gemma":0.001203611,"domain_scores_codex":[0.9991071,0.0002030799,0.00005862299,0.0002371197,0.0003140424,0.00008005785],"domain_scores_gemma":[0.998126,0.001227267,0.0002227407,0.0001476404,0.0002058768,0.0000704798],"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.0001140646,0.00004637461,0.0005662805,0.0002311096,0.00003600172,0.0002567518,0.0002644054,0.7211723,0.007529561,0.2192832,0.001093465,0.04940654],"study_design_scores_gemma":[0.00002156092,0.00003924602,0.0001076674,0.00001154584,0.000007241219,0.00003662209,0.00001996069,0.9257551,0.001837299,0.07001509,0.002140676,0.000007980579],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01498215,0.0002628594,0.9812481,0.0001869651,0.00005674924,0.00003128033,0.0000347303,0.000342954,0.002854165],"genre_scores_gemma":[0.9258769,0.0004796964,0.07026901,0.00009451758,0.00009183824,0.0001588153,0.0001136947,0.00004833691,0.002867311],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001684407,"threshold_uncertainty_score":0.006616116,"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","authors":[{"name":"Zhonghua Zhang","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005230707,0.001483462,0.001021311,0.0009313812,0.0006581431,0.00104286,0.001491067,0.001146985,0.01119865],"category_scores_gemma":[0.00152834,0.0007636855,0.0009357758,0.0009944248,0.0007375453,0.001296342,0.001001452,0.001660225,0.002432755],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008149325,"about_ca_system_score_gemma":0.001995423,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00489959,"about_ca_topic_score_gemma":0.006529189,"domain_scores_codex":[0.9995841,0.0000775498,0.00003497411,0.00008653682,0.0001788567,0.00003785268],"domain_scores_gemma":[0.9994715,0.0002541569,0.00002763415,0.00008345394,0.0001461163,0.000017211],"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.0002283226,0.0000745939,0.0002354529,0.0003288307,0.00004691196,0.00007886007,0.00007153431,0.2580196,0.01117392,0.03815239,0.01372949,0.6778601],"study_design_scores_gemma":[0.0000590693,0.00005585751,0.00006492736,0.00003605132,0.00002043423,0.00005505307,0.00001216621,0.9615925,0.006753666,0.02309053,0.008246637,0.00001301534],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000854678,0.00007207602,0.9953533,0.00002474716,0.00003468845,0.00004117502,0.00006193127,0.002088256,0.001469099],"genre_scores_gemma":[0.04230586,0.000153294,0.9532613,0.00006751413,0.00002890438,0.0003198543,0.0003285221,0.0004671465,0.003067597],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01119865,"threshold_uncertainty_score":0.03746319,"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","authors":[{"name":"Lei Feng","is_ca":false},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003317939,0.0007411805,0.001007858,0.0006519843,0.001028517,0.002410974,0.002023099,0.001004362,0.003377808],"category_scores_gemma":[0.01673023,0.0005969125,0.001257444,0.0005757561,0.00330581,0.004662194,0.002737295,0.001848925,0.0002768536],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001390715,"about_ca_system_score_gemma":0.001302192,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004144995,"about_ca_topic_score_gemma":0.00513416,"domain_scores_codex":[0.9978431,0.0008466181,0.0001562771,0.0003768649,0.0005521594,0.0002248991],"domain_scores_gemma":[0.9842815,0.01290638,0.0004689384,0.001320245,0.0007607834,0.0002620278],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005824717,0.00009465784,0.001835288,0.0002467328,0.00005413471,0.0002261071,0.0007335318,0.2595103,0.002710618,0.6879561,0.001608753,0.04444123],"study_design_scores_gemma":[0.00004258477,0.00003360588,0.0001448851,0.00002210776,0.00002199883,0.00002438246,0.00005058244,0.6695285,0.00162136,0.3271704,0.001323565,0.00001606172],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02973478,0.0001147672,0.9659175,0.0002127389,0.00006132487,0.00006548538,0.00006365574,0.0005826171,0.003247155],"genre_scores_gemma":[0.7171558,0.0001939595,0.2781238,0.000140153,0.00005625574,0.0002171266,0.0002808816,0.0001825758,0.003649518],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004144995,"threshold_uncertainty_score":0.01754713,"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","authors":[{"name":"Ryan J. Leduc","is_ca":true},{"name":"Mark Lawford","is_ca":true},{"name":"Pengcheng Dai","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004196341,0.0003175137,0.0002507987,0.0002636769,0.0004188538,0.0006958287,0.0006462064,0.0003254042,0.001435702],"category_scores_gemma":[0.0007573113,0.0001409417,0.0002976362,0.0001598447,0.0009185786,0.0004725055,0.0005623163,0.0005544994,0.0001860399],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005333992,"about_ca_system_score_gemma":0.0007776816,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003426333,"about_ca_topic_score_gemma":0.002958509,"domain_scores_codex":[0.9996381,0.00007639445,0.00002252846,0.00008730429,0.000116006,0.00005968001],"domain_scores_gemma":[0.9996235,0.0001547716,0.00006214834,0.00004788265,0.00008081558,0.00003084139],"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.0003345714,0.0001271135,0.001936146,0.0002045591,0.00003744639,0.0007142313,0.001000381,0.6580991,0.1303651,0.1245413,0.001427136,0.0812129],"study_design_scores_gemma":[0.00003897684,0.0001522091,0.0005757232,0.00001364817,0.00002100757,0.00004550731,0.00003267868,0.9694027,0.01472435,0.01253062,0.00244813,0.00001442926],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.105251,0.0001466179,0.884267,0.000119335,0.00003797668,0.0001040027,0.00005501356,0.001669471,0.008349554],"genre_scores_gemma":[0.954554,0.00006307452,0.04396441,0.00002855374,0.000009575127,0.00006659203,0.00002934096,0.00002078446,0.001263767],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003426333,"threshold_uncertainty_score":0.006812811,"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","authors":[{"name":"H. M. Lamouchi","is_ca":true},{"name":"J.G. Thistle","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006065779,0.0007322946,0.000578833,0.0003659,0.000464522,0.0007531928,0.0006347764,0.0004554056,0.00325041],"category_scores_gemma":[0.001440743,0.0002353572,0.0006555717,0.0002764239,0.0009146124,0.0009761201,0.0008632175,0.0009121022,0.0003866289],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000854855,"about_ca_system_score_gemma":0.001078224,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001720016,"about_ca_topic_score_gemma":0.003702066,"domain_scores_codex":[0.9993568,0.0001024014,0.00004013418,0.0001888647,0.0002294095,0.00008233413],"domain_scores_gemma":[0.9994203,0.0002563241,0.0000695213,0.0001181524,0.0001132275,0.00002245777],"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.0001579765,0.00007458944,0.0003727971,0.000325618,0.00004459413,0.0003543773,0.000360358,0.4460698,0.03464473,0.3648247,0.002182219,0.1505882],"study_design_scores_gemma":[0.0000367522,0.0001184956,0.0001303691,0.00003983923,0.00003864058,0.00006012665,0.00005887413,0.8168746,0.02710549,0.1441763,0.01134214,0.0000184863],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01393983,0.0001146259,0.9750288,0.0001059224,0.0000373104,0.00008574427,0.00008221015,0.000904778,0.009700937],"genre_scores_gemma":[0.7011514,0.0002324696,0.2895603,0.0001088756,0.00003794936,0.0004212554,0.0002626068,0.0001765487,0.008048559],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00325041,"threshold_uncertainty_score":0.01087373,"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","authors":[{"name":"Anooshiravan Saboori","is_ca":false},{"name":"S. Hashtrudi Zad","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001152953,0.0006830586,0.0008796536,0.0003010888,0.0005140949,0.001419953,0.001133957,0.0005164418,0.001366178],"category_scores_gemma":[0.003471982,0.0002893556,0.000442704,0.0002303108,0.001143951,0.000815627,0.0008853902,0.000848599,0.0001475956],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007984609,"about_ca_system_score_gemma":0.001612534,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00460498,"about_ca_topic_score_gemma":0.004781667,"domain_scores_codex":[0.9991361,0.0001588094,0.00004816591,0.0002466117,0.000237387,0.0001729282],"domain_scores_gemma":[0.9973266,0.001381203,0.0005856203,0.0002142067,0.0003645238,0.0001277816],"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.001178818,0.0001768351,0.00102672,0.0002488335,0.0001177017,0.0004074299,0.0003998438,0.860241,0.04414401,0.04175461,0.0009656404,0.04933858],"study_design_scores_gemma":[0.00004278343,0.0001159221,0.0004688594,0.000005865711,0.00001976795,0.00002041859,0.0000143077,0.9863458,0.004227397,0.008480382,0.0002499183,0.000008473166],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1519447,0.0002909231,0.8418168,0.0003082212,0.0001600635,0.0000491537,0.00008237948,0.00106546,0.004282383],"genre_scores_gemma":[0.9924613,0.00006130256,0.006417176,0.00002297404,0.00002431509,0.00003545116,0.00002783732,0.00002060712,0.0009291093],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00460498,"threshold_uncertainty_score":0.009156346,"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","authors":[{"name":"Peter C. Y. Chen","is_ca":false},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004384426,0.0002605645,0.0003043927,0.0002644816,0.0004506888,0.0006024934,0.000755994,0.000273274,0.002186597],"category_scores_gemma":[0.001099352,0.0001399581,0.0002057811,0.0001244632,0.0004343801,0.0003732759,0.0003371403,0.0004024419,0.000223345],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002662988,"about_ca_system_score_gemma":0.0008349412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001172033,"about_ca_topic_score_gemma":0.002041747,"domain_scores_codex":[0.9998597,0.00002486005,0.000009516767,0.00004334624,0.00003539211,0.00002714661],"domain_scores_gemma":[0.9994698,0.0002098587,0.00007607583,0.00007458389,0.0001106705,0.00005891536],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.002538892,0.000566127,0.003389521,0.0004373401,0.0001016488,0.001371688,0.001111588,0.4192704,0.29697,0.05068261,0.005166708,0.2183936],"study_design_scores_gemma":[0.00009639038,0.0002519872,0.0007416515,0.00001169717,0.00003204721,0.0000939555,0.00003327089,0.9629825,0.02771425,0.005994312,0.002032423,0.00001548161],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3203056,0.0003641401,0.6693825,0.0002141658,0.0002453393,0.0001042943,0.00005115391,0.002595689,0.006737223],"genre_scores_gemma":[0.9815425,0.00005257286,0.0172723,0.00001908457,0.0000245043,0.00004605611,0.00001738016,0.00002599286,0.0009996337],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002186597,"threshold_uncertainty_score":0.00731492,"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","authors":[{"name":"Jamie King","is_ca":true},{"name":"Raymond Pretty","is_ca":true},{"name":"Raymond G. Gosine","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009215025,0.0007534799,0.0004150115,0.0005392958,0.0006641061,0.001488938,0.00123837,0.0007063427,0.002088145],"category_scores_gemma":[0.001498836,0.0003919403,0.0005687407,0.0004923121,0.0008932264,0.001416085,0.001959395,0.0006743887,0.00049163],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006029136,"about_ca_system_score_gemma":0.001167979,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002177211,"about_ca_topic_score_gemma":0.00268694,"domain_scores_codex":[0.9990979,0.0003199379,0.00007049005,0.000184593,0.0002307322,0.00009631697],"domain_scores_gemma":[0.9993293,0.0002794947,0.00007985313,0.0001405881,0.00006599011,0.0001047454],"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.0004591182,0.0002698429,0.001541828,0.000316353,0.0001872558,0.001698917,0.001111962,0.6537387,0.03738266,0.1573639,0.002659027,0.1432705],"study_design_scores_gemma":[0.0001123352,0.000227593,0.0006825481,0.00005663022,0.0000626126,0.0001795955,0.0001798411,0.8558538,0.01195438,0.100203,0.03043801,0.0000497255],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03339367,0.0004638626,0.95617,0.0002395898,0.00008813539,0.0001499111,0.00004396349,0.0007759581,0.008674917],"genre_scores_gemma":[0.5244802,0.0006315162,0.4653965,0.0001043851,0.00006041129,0.0004184727,0.000191486,0.0001426924,0.008574376],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002177211,"threshold_uncertainty_score":0.006985605,"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","authors":[{"name":"Awantha Jayasiri","is_ca":true},{"name":"George K. I. Mann","is_ca":true},{"name":"Raymond G. Gosine","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005835579,0.0004351164,0.0003851238,0.0002627809,0.0002257928,0.0005393362,0.0005854378,0.0003281688,0.00053092],"category_scores_gemma":[0.001246656,0.0001590429,0.0004474568,0.0001788135,0.0006493955,0.0004587271,0.0004918111,0.0004694754,0.00007394017],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003063234,"about_ca_system_score_gemma":0.0005058547,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001906155,"about_ca_topic_score_gemma":0.001425101,"domain_scores_codex":[0.9996718,0.00008369378,0.00002661598,0.00007960095,0.0001138039,0.00002446653],"domain_scores_gemma":[0.999543,0.0001975491,0.00008804965,0.00006395653,0.00008328936,0.00002421839],"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.0001516878,0.0000694415,0.001038981,0.0001491436,0.00006954581,0.0002448543,0.0002689426,0.8735622,0.02976009,0.02883274,0.000353094,0.0654993],"study_design_scores_gemma":[0.00001625122,0.00006014991,0.0002403712,0.000005999525,0.000009645238,0.00002526169,0.00001230137,0.9902681,0.003587019,0.005230353,0.0005378425,0.000006713481],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02862241,0.00010648,0.9696169,0.00003609026,0.00002422565,0.00003035528,0.00001313105,0.0003200836,0.001230305],"genre_scores_gemma":[0.9302718,0.0001135128,0.0689379,0.00001889587,0.00001611026,0.00007263781,0.00002892966,0.00001231883,0.0005278358],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001906155,"threshold_uncertainty_score":0.00379014,"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","authors":[{"name":"Vera Pantelic","is_ca":true},{"name":"Steven Postma","is_ca":true},{"name":"Mark Lawford","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00140843,0.0006083478,0.0007013686,0.0003264153,0.0004705559,0.001091649,0.001238873,0.0005253087,0.001271975],"category_scores_gemma":[0.005109803,0.0003258724,0.0004755476,0.0003840559,0.001231861,0.001070412,0.00127541,0.001056936,0.0001792461],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005150815,"about_ca_system_score_gemma":0.001043562,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00193246,"about_ca_topic_score_gemma":0.001475727,"domain_scores_codex":[0.9986935,0.0003144895,0.00007892407,0.0003136894,0.0004627455,0.0001366253],"domain_scores_gemma":[0.997426,0.001610644,0.000379361,0.0001765414,0.000321307,0.00008617566],"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.0001536286,0.00005094476,0.0004632091,0.000161448,0.00003441728,0.0002080673,0.0001562688,0.8710376,0.005236962,0.07913729,0.0006856996,0.04267449],"study_design_scores_gemma":[0.00002523966,0.00004839435,0.0001037855,0.000007518577,0.000008568016,0.00003160323,0.00001094319,0.9669034,0.001355327,0.03058726,0.0009093694,0.000008642852],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02000007,0.0003023517,0.9762645,0.0001697523,0.00004987953,0.00003802561,0.00004008319,0.0004772713,0.00265814],"genre_scores_gemma":[0.9547516,0.0003260605,0.04322903,0.00006135255,0.00006553355,0.0001068963,0.0000697774,0.00003337876,0.001356314],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00193246,"threshold_uncertainty_score":0.007448554,"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","authors":[{"name":"S.L. Ricker","is_ca":true},{"name":"Karen Rudie","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002523927,0.0005020414,0.0007587488,0.0004416679,0.0007483792,0.001526325,0.001201003,0.0009886256,0.001350736],"category_scores_gemma":[0.007908713,0.0004495629,0.0007057694,0.000454014,0.002211965,0.002902306,0.002115535,0.001916021,0.0002284784],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009295877,"about_ca_system_score_gemma":0.001780085,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001950065,"about_ca_topic_score_gemma":0.002520859,"domain_scores_codex":[0.9974073,0.0009961305,0.0001595575,0.0003454033,0.0008858479,0.0002058703],"domain_scores_gemma":[0.9940621,0.004212933,0.0004667776,0.0008008392,0.0003063527,0.0001510168],"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.0002045033,0.00009559681,0.0006263586,0.0001432333,0.00004612182,0.0003653376,0.0004156003,0.6104395,0.006174537,0.3252399,0.0005833771,0.05566595],"study_design_scores_gemma":[0.00004338669,0.00004184875,0.00008620479,0.0000159064,0.00002066631,0.00006075801,0.00002930247,0.8458326,0.003380861,0.147811,0.002657642,0.0000197767],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009728371,0.00005978271,0.9879541,0.0001632939,0.00001443686,0.00004213288,0.0000251338,0.0002590147,0.001753728],"genre_scores_gemma":[0.5918984,0.0001921111,0.4050755,0.00008204781,0.00005957356,0.0002404905,0.0001080366,0.00004612087,0.002297835],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002523927,"threshold_uncertainty_score":0.01334798,"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","authors":[{"name":"Raoguang Song","is_ca":true},{"name":"Ryan J. Leduc","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001038431,0.0003960893,0.0003954006,0.0003804184,0.0003254014,0.0007681084,0.0008121955,0.000453582,0.001469125],"category_scores_gemma":[0.002177391,0.000239421,0.0005123775,0.0002989236,0.001139711,0.0005160572,0.0005464439,0.0006728602,0.0001636743],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001145214,"about_ca_system_score_gemma":0.001736485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004405426,"about_ca_topic_score_gemma":0.004105591,"domain_scores_codex":[0.9990558,0.0002129112,0.00006048262,0.0001334029,0.0004026359,0.0001346936],"domain_scores_gemma":[0.9987965,0.000713427,0.0001527299,0.0001250715,0.0001810396,0.00003114275],"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.00009598864,0.00004509516,0.0004921666,0.0001482694,0.00001544014,0.0001064307,0.0001568934,0.8576841,0.03174427,0.08016319,0.0004214566,0.0289267],"study_design_scores_gemma":[0.00002340312,0.00003608559,0.00007995364,0.000008560263,0.000006556081,0.000006626552,0.00001035018,0.9778224,0.01347854,0.007863139,0.0006587515,0.000005689784],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05118031,0.00003696842,0.9447659,0.00005632766,0.00001285783,0.00005533641,0.00009230818,0.001353706,0.002446359],"genre_scores_gemma":[0.7328309,0.00006034095,0.265648,0.00003164051,0.000006952985,0.0001837734,0.0001555057,0.00008545057,0.0009973168],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004405426,"threshold_uncertainty_score":0.008759618,"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","authors":[{"name":"R.H. Kwong","is_ca":true},{"name":"David L. Yonge-Mallo","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00466163,0.001023055,0.001973533,0.001475366,0.0005955779,0.001870498,0.001980924,0.002026989,0.001060068],"category_scores_gemma":[0.02157806,0.0008823432,0.001416704,0.0009970564,0.003100812,0.004330198,0.00189655,0.002343629,0.000155215],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001670831,"about_ca_system_score_gemma":0.001267692,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0027063,"about_ca_topic_score_gemma":0.001964004,"domain_scores_codex":[0.9971396,0.001143106,0.0001814857,0.0004213532,0.0009419488,0.0001725303],"domain_scores_gemma":[0.9787312,0.01736104,0.001320105,0.001530524,0.0007791705,0.0002780206],"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.00008188404,0.00006900334,0.002045197,0.0002246817,0.00007414982,0.0002235143,0.0003002006,0.8767853,0.0007649692,0.08434285,0.0004174261,0.03467076],"study_design_scores_gemma":[0.00001052458,0.00002219157,0.0001777702,0.00002604053,0.00001172777,0.00005063972,0.00002779439,0.9030427,0.0007770506,0.09542544,0.0004155947,0.00001246401],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01443845,0.0005209611,0.9834383,0.000620341,0.0000180291,0.00003232104,0.0000514177,0.0001676304,0.0007124087],"genre_scores_gemma":[0.7317361,0.001457162,0.2648697,0.0002056114,0.0001465375,0.0001875824,0.0003107223,0.00006406206,0.001022479],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00466163,"threshold_uncertainty_score":0.02465338,"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","authors":[{"name":"Kai Cai","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001103741,0.0005843298,0.00105455,0.000541806,0.0005249365,0.001060446,0.0009500689,0.0006063964,0.002367299],"category_scores_gemma":[0.005110955,0.0004629918,0.000392156,0.0004507212,0.001095544,0.001275079,0.001377835,0.001248806,0.0002662366],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007721474,"about_ca_system_score_gemma":0.001215565,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003290171,"about_ca_topic_score_gemma":0.004215774,"domain_scores_codex":[0.9994183,0.0001411057,0.00003588149,0.0001685522,0.0001666338,0.00006956453],"domain_scores_gemma":[0.995253,0.003698165,0.0003011058,0.0002978723,0.0003084098,0.0001415187],"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.0002192791,0.00005194242,0.000652352,0.0001513824,0.00003316259,0.0001957964,0.0001014263,0.927342,0.005846132,0.02360298,0.000659305,0.04114434],"study_design_scores_gemma":[0.00001236867,0.00001410937,0.00008119065,0.000002957643,0.000003954749,0.000009483837,0.00000877987,0.9882953,0.0007629695,0.01060033,0.0002052415,0.000003349151],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01752841,0.0001386689,0.9808021,0.0001058634,0.00002174756,0.00001881285,0.00002888542,0.0005998213,0.0007557263],"genre_scores_gemma":[0.9018342,0.0001856276,0.09517086,0.00004354746,0.00003389029,0.00009436026,0.0001194148,0.00009621457,0.002421978],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003290171,"threshold_uncertainty_score":0.007919371,"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","authors":[{"name":"Ahmed Khoumsi","is_ca":true},{"name":"Hicham Chakib","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001542282,0.0004769524,0.0005065169,0.0004253374,0.0005455712,0.001097408,0.001411044,0.0006572398,0.002036009],"category_scores_gemma":[0.002298721,0.0003674245,0.0004671831,0.0003828656,0.0008413045,0.001687919,0.001143252,0.001048985,0.0003530337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008405329,"about_ca_system_score_gemma":0.0008602832,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002387404,"about_ca_topic_score_gemma":0.003400256,"domain_scores_codex":[0.9992166,0.0001919269,0.00008201132,0.0001911352,0.0002240457,0.00009419178],"domain_scores_gemma":[0.998645,0.0005415273,0.0001421409,0.0002532838,0.0003208988,0.00009713393],"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.0005681381,0.0002195081,0.003797145,0.0002595778,0.0001551131,0.0005613109,0.0005688169,0.7118358,0.02713127,0.09370225,0.002159215,0.1590418],"study_design_scores_gemma":[0.00002632107,0.00009765958,0.0003486139,0.000009673076,0.00004248623,0.00006444226,0.00003755752,0.9727404,0.0050836,0.0201437,0.001387715,0.00001783359],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04618846,0.0003422801,0.948616,0.0003193431,0.00004818679,0.0001018992,0.00005268776,0.0008878029,0.003443239],"genre_scores_gemma":[0.8520827,0.0002080788,0.1459116,0.000103033,0.00003866627,0.0001082783,0.00008533405,0.00002251258,0.001439776],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002387404,"threshold_uncertainty_score":0.008156478,"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","authors":[{"name":"Yoon-Gi Yang","is_ca":true},{"name":"P. Gohari","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008139554,0.0003985896,0.0004349636,0.0002321798,0.0002229259,0.0009917633,0.0009749361,0.0004078683,0.00138867],"category_scores_gemma":[0.002101034,0.0002045104,0.0003822518,0.0001653345,0.0007808421,0.0009158441,0.0006785822,0.000952067,0.0002202896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003488688,"about_ca_system_score_gemma":0.0006141283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008514837,"about_ca_topic_score_gemma":0.0009659551,"domain_scores_codex":[0.999293,0.0001959011,0.00005735216,0.0001596183,0.0002382615,0.00005591306],"domain_scores_gemma":[0.9986853,0.0007078328,0.0001552139,0.0002352924,0.000159633,0.00005673505],"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.0003312205,0.0002645669,0.001489347,0.0004047409,0.00009695724,0.0005702614,0.0006057511,0.5947001,0.05553272,0.1803244,0.00109405,0.1645859],"study_design_scores_gemma":[0.0000548354,0.0001099431,0.0002238598,0.0000253831,0.00002208195,0.0000569919,0.00002043618,0.9528607,0.01174033,0.02872047,0.006151936,0.00001316941],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02548715,0.0002100054,0.970551,0.0000735883,0.00007371487,0.00004549912,0.00002473155,0.001009367,0.002524985],"genre_scores_gemma":[0.8090837,0.0003011657,0.1875972,0.00008278857,0.00005814398,0.0001337704,0.00008609151,0.00006868764,0.002588395],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00138867,"threshold_uncertainty_score":0.004645586,"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)","authors":[],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007369852,0.0005686594,0.0007709008,0.0002850414,0.0004841039,0.001040338,0.001083991,0.0004968087,0.001557035],"category_scores_gemma":[0.002250988,0.0002916477,0.0003211924,0.0002864807,0.0007393355,0.0007558683,0.0007482254,0.0008959771,0.0001435674],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006101517,"about_ca_system_score_gemma":0.001127606,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002210731,"about_ca_topic_score_gemma":0.002887803,"domain_scores_codex":[0.9995168,0.00009698878,0.00003057565,0.0001488328,0.0001388098,0.00006795368],"domain_scores_gemma":[0.9984663,0.0009799672,0.0001808473,0.0001093847,0.0001920789,0.00007147007],"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.0003911045,0.0001127401,0.0004470031,0.0001373329,0.00005456472,0.0002228842,0.0001434256,0.9266579,0.01111139,0.02551667,0.0005578527,0.03464708],"study_design_scores_gemma":[0.00004441595,0.00005527771,0.0001229143,0.000004543221,0.00001047037,0.00001689116,0.00001010872,0.9892812,0.00224723,0.00776977,0.0004318231,0.000005328519],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06639162,0.0002506335,0.9292669,0.0001734686,0.0001848279,0.00003904544,0.000051946,0.0005318789,0.003109653],"genre_scores_gemma":[0.9861157,0.00008828934,0.01207161,0.0000228043,0.0000322745,0.000051578,0.00002812622,0.00001605867,0.001573577],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002210731,"threshold_uncertainty_score":0.005208731,"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","authors":[{"name":"Ali A. Afzalian","is_ca":false},{"name":"S.A. Nabavi Niaki","is_ca":true},{"name":"Mohammad Reza Iravani","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003164074,0.0003794446,0.0002217181,0.0002047838,0.0002899855,0.0007026996,0.0005783053,0.0003401682,0.00353812],"category_scores_gemma":[0.0006274888,0.0001155723,0.0002630356,0.0001167282,0.0004816791,0.0003335044,0.0002604773,0.0006733538,0.000262715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005452483,"about_ca_system_score_gemma":0.0007484576,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002711928,"about_ca_topic_score_gemma":0.002839994,"domain_scores_codex":[0.9997513,0.00004693422,0.00001218408,0.00008153779,0.00008346544,0.00002465582],"domain_scores_gemma":[0.9997059,0.0001378914,0.00003981085,0.00003095207,0.00006894724,0.00001646749],"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.000445084,0.0002522406,0.0009909162,0.0003422734,0.00006257956,0.0004707067,0.000440399,0.5989921,0.07022821,0.1611972,0.005353239,0.1612251],"study_design_scores_gemma":[0.00004443268,0.0000986685,0.000168773,0.00001153144,0.00001230719,0.00003277779,0.00001138269,0.9798147,0.008035949,0.006342723,0.005418977,0.000007881967],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01798766,0.0001066513,0.9720606,0.0001350276,0.0000999146,0.00006966389,0.00005543188,0.001466854,0.008018269],"genre_scores_gemma":[0.9236624,0.0001100921,0.070278,0.00007905009,0.00004929681,0.0001605558,0.00008700619,0.00003140901,0.005542121],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00353812,"threshold_uncertainty_score":0.01183623,"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)","authors":[{"name":"David Sears","is_ca":true},{"name":"Karen Rudie","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001431977,0.0007828294,0.001359513,0.0005735598,0.0008885708,0.001754873,0.001958554,0.0009848182,0.002767192],"category_scores_gemma":[0.005687859,0.0006356612,0.0009812934,0.0005140204,0.002205687,0.002842987,0.002200398,0.002107948,0.0003516729],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009098185,"about_ca_system_score_gemma":0.001442408,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001315385,"about_ca_topic_score_gemma":0.00158881,"domain_scores_codex":[0.9977985,0.0005569233,0.000153281,0.0004976912,0.000655203,0.0003383604],"domain_scores_gemma":[0.9938716,0.004183702,0.0004361121,0.0006373756,0.0005285899,0.0003426475],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003520066,0.0001041875,0.0006102303,0.0002036296,0.00006229548,0.000269017,0.0003530211,0.2279931,0.008885008,0.7397801,0.0007202202,0.02066731],"study_design_scores_gemma":[0.00004528121,0.00006856593,0.000190253,0.00001850961,0.00003006115,0.00007369617,0.0000542214,0.3665105,0.004591201,0.6270878,0.00130603,0.00002387613],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05575153,0.0001997038,0.933612,0.0003868074,0.00004576935,0.00006240549,0.0001357659,0.0003567571,0.009449144],"genre_scores_gemma":[0.9054366,0.0001672507,0.08952577,0.0001016153,0.00004414277,0.0001803215,0.000148019,0.00009627645,0.004299998],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002767192,"threshold_uncertainty_score":0.009257197,"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","authors":[{"name":"A. Mannani","is_ca":true},{"name":"P. Gohari","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00139443,0.0004831847,0.0006376478,0.0001865179,0.0004141967,0.0008295841,0.0007864535,0.0006019375,0.0009038119],"category_scores_gemma":[0.00315357,0.0003051988,0.0003601494,0.0002632797,0.0009848779,0.001009894,0.0009002742,0.0007733948,0.0001074521],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006856779,"about_ca_system_score_gemma":0.001158758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001001581,"about_ca_topic_score_gemma":0.001000536,"domain_scores_codex":[0.9989688,0.000376525,0.0000515075,0.000268377,0.0002577988,0.00007690626],"domain_scores_gemma":[0.9976481,0.001533042,0.0003989727,0.0001575971,0.0001869878,0.00007534923],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001167659,0.00004268657,0.0004202566,0.0001494738,0.00002945397,0.0001494137,0.0001347096,0.9380777,0.008077038,0.03412872,0.0002023171,0.0184715],"study_design_scores_gemma":[0.00003788772,0.00005304824,0.0001086738,0.000006074471,0.000009374059,0.00002067637,0.00002194321,0.9813057,0.002103451,0.01571641,0.000612027,0.000004724699],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05604762,0.0002211829,0.9412814,0.0001882583,0.00002733278,0.00005899776,0.00002454109,0.0001851314,0.001965371],"genre_scores_gemma":[0.9511498,0.0002122086,0.04706454,0.00003555546,0.00003067458,0.0001398528,0.00004341188,0.00001736648,0.001306422],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00139443,"threshold_uncertainty_score":0.007374585,"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","authors":[{"name":"B.A. Brandin","is_ca":true},{"name":"W.M. Wonham","is_ca":true},{"name":"B. Benhabib","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006068387,0.0004958241,0.0005171852,0.0003711748,0.0003039545,0.0009500174,0.001336547,0.0005828647,0.002193531],"category_scores_gemma":[0.0008448928,0.0003174044,0.0007618622,0.0002865444,0.0008631887,0.001016482,0.000820532,0.0008114629,0.0004281401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006197571,"about_ca_system_score_gemma":0.000816575,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001030794,"about_ca_topic_score_gemma":0.001225535,"domain_scores_codex":[0.9995111,0.0001024434,0.00002771347,0.0001047199,0.0001998264,0.00005411935],"domain_scores_gemma":[0.9995955,0.0001529361,0.00005960568,0.00008325306,0.00007386935,0.00003485061],"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.000103348,0.00007690876,0.0004155714,0.0001646437,0.00005351129,0.0003236194,0.0002384021,0.6261644,0.02612188,0.2571588,0.00112577,0.08805315],"study_design_scores_gemma":[0.00003329969,0.00009135334,0.0000876568,0.00001572181,0.00002486735,0.0000544998,0.00001853651,0.9422455,0.006323795,0.04542619,0.005663658,0.00001498323],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00361938,0.0001217411,0.9933696,0.0000535264,0.00002064017,0.00003364082,0.00001517943,0.000289427,0.002476914],"genre_scores_gemma":[0.5441511,0.000577811,0.4501817,0.0001149163,0.0000823809,0.0002953746,0.00009941593,0.00007306761,0.004424296],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002193531,"threshold_uncertainty_score":0.007338107,"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","authors":[{"name":"B.A. Brandin","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005276154,0.0003763221,0.0003317167,0.000247342,0.0002594641,0.001226069,0.0005963806,0.0004002154,0.001320119],"category_scores_gemma":[0.001664595,0.0002234598,0.0003913752,0.0002162237,0.001100965,0.0008566623,0.0006701362,0.0008998874,0.0001540026],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004328318,"about_ca_system_score_gemma":0.0008438616,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001431431,"about_ca_topic_score_gemma":0.001217232,"domain_scores_codex":[0.9995794,0.0001073153,0.00003310906,0.0000963055,0.0001505906,0.00003327797],"domain_scores_gemma":[0.9995328,0.0002526334,0.00006741809,0.00005838161,0.00006349703,0.00002528395],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009443493,0.00004682574,0.0002756025,0.0001997375,0.00003419417,0.0002734711,0.0003015594,0.3807382,0.0166891,0.5411273,0.00108114,0.05913858],"study_design_scores_gemma":[0.00003630514,0.000074416,0.0001716712,0.00002316376,0.00001742028,0.00005692715,0.0000197278,0.8450246,0.004299953,0.1417835,0.008477136,0.00001507776],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01162042,0.0005976304,0.9808124,0.0001613503,0.0001046374,0.00003253885,0.00003409008,0.0002584801,0.006378397],"genre_scores_gemma":[0.8890916,0.001325222,0.1031036,0.0001082884,0.0001919194,0.0001872358,0.00009780714,0.00003944453,0.005854918],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001431431,"threshold_uncertainty_score":0.004416227,"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","authors":[{"name":"Lenko Grigorov","is_ca":true},{"name":"Karen Rudie","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001515134,0.0009431676,0.001878122,0.0004993151,0.0006558557,0.001622376,0.001057657,0.001017545,0.00257133],"category_scores_gemma":[0.004330355,0.0006117742,0.0004558444,0.0003872828,0.001288357,0.001337733,0.001619994,0.001362962,0.0002275271],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009099122,"about_ca_system_score_gemma":0.001521172,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00639501,"about_ca_topic_score_gemma":0.004585111,"domain_scores_codex":[0.9991683,0.0002382265,0.00004198572,0.0001777042,0.000206172,0.0001676993],"domain_scores_gemma":[0.9971145,0.001982206,0.0002810078,0.0001526089,0.0003250299,0.0001446504],"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.0002461766,0.00008050113,0.0001907659,0.00007515462,0.00003360491,0.00007077387,0.00004366731,0.964563,0.001656694,0.01786466,0.0005116825,0.01466323],"study_design_scores_gemma":[0.000009870298,0.00002199583,0.00004114013,0.000002448855,0.000003450575,0.000004960462,0.000004060923,0.994732,0.0001823629,0.004894181,0.0001007102,0.000002756201],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05174587,0.0003190129,0.9396619,0.0003224068,0.0001592311,0.00005003401,0.00006131727,0.0003899167,0.0072903],"genre_scores_gemma":[0.9860416,0.0001121218,0.01139947,0.00005658581,0.00003211868,0.00004635776,0.0000376129,0.00002947693,0.002244713],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00639501,"threshold_uncertainty_score":0.01271558,"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","authors":[{"name":"Ignacio Castillo","is_ca":true},{"name":"Jeffrey S. Smith","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004327981,0.001710445,0.001990526,0.00233168,0.0006228648,0.003171592,0.003862362,0.001429614,0.002079785],"category_scores_gemma":[0.005599199,0.000967922,0.001802708,0.003664231,0.001749725,0.003683433,0.001144079,0.001993273,0.0006976557],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001802139,"about_ca_system_score_gemma":0.002075575,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002501592,"about_ca_topic_score_gemma":0.002301535,"domain_scores_codex":[0.9965457,0.001167538,0.0003803536,0.0003247255,0.001443605,0.0001380149],"domain_scores_gemma":[0.9963397,0.002214711,0.0003212355,0.00050343,0.0005609096,0.00006001546],"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.0000960633,0.0002196066,0.0007856458,0.002688217,0.0001615712,0.0001158272,0.0004826973,0.1792223,0.002807459,0.4601202,0.002359654,0.3509407],"study_design_scores_gemma":[0.00008776555,0.000260219,0.0004695058,0.001227051,0.0001939876,0.0005495641,0.0003243164,0.5074465,0.004898006,0.3721401,0.1122838,0.0001191351],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.001619681,0.01678954,0.9786286,0.000293706,0.00007932267,0.00005002026,0.00004711803,0.0001879786,0.002303991],"genre_scores_gemma":[0.1210484,0.08903611,0.7844807,0.0003824925,0.0004570889,0.0004576376,0.0005037231,0.0002552217,0.003378592],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.004327981,"threshold_uncertainty_score":0.02288884,"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","authors":[{"name":"Behnam Behinaein","is_ca":true},{"name":"Feng Lin","is_ca":false},{"name":"Karen Rudie","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007091226,0.0009146769,0.001479845,0.0008637444,0.001076382,0.003481447,0.00128224,0.0009600949,0.001553221],"category_scores_gemma":[0.02596508,0.0008239708,0.001255175,0.0005903747,0.003097664,0.005646678,0.003649683,0.003090158,0.0002080885],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002400654,"about_ca_system_score_gemma":0.002864519,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001742011,"about_ca_topic_score_gemma":0.0009871015,"domain_scores_codex":[0.9936666,0.002323886,0.0005766351,0.001072712,0.001442788,0.00091739],"domain_scores_gemma":[0.9735795,0.02018218,0.001899091,0.002564931,0.0008922337,0.0008820584],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0009107807,0.0002363724,0.002208457,0.0002626733,0.0001061727,0.0003095556,0.0009413101,0.6936588,0.01278742,0.2496736,0.0007891613,0.03811565],"study_design_scores_gemma":[0.00007385873,0.0001323813,0.0002410658,0.00002711297,0.0000325195,0.00006644354,0.00008466669,0.8469158,0.007268056,0.1443738,0.0007555175,0.00002861042],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08764853,0.0001947903,0.9085116,0.0004413448,0.00002733242,0.0001410793,0.00007534742,0.0004653211,0.002494581],"genre_scores_gemma":[0.8989818,0.0001352675,0.09916436,0.0001186875,0.00002613283,0.0001218583,0.00008072741,0.00009708598,0.001274127],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007091226,"threshold_uncertainty_score":0.03750241,"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","authors":[{"name":"Karen Rudie","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00140555,0.001149152,0.001102117,0.001231801,0.0005281619,0.002394567,0.002608777,0.001004943,0.03485766],"category_scores_gemma":[0.004295136,0.0009972735,0.001318304,0.000828104,0.0005120029,0.002186682,0.002938304,0.0025333,0.01053708],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005326937,"about_ca_system_score_gemma":0.001632533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001101417,"about_ca_topic_score_gemma":0.001328015,"domain_scores_codex":[0.9985927,0.0002423232,0.0001234596,0.0002079265,0.0007061629,0.0001274098],"domain_scores_gemma":[0.9984682,0.0007727474,0.00007195304,0.0003033586,0.0002694201,0.0001141527],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000468564,0.0004273421,0.001723005,0.001511646,0.0002209152,0.001058302,0.0003808203,0.1013128,0.01809296,0.2640425,0.09128248,0.5194786],"study_design_scores_gemma":[0.0003414519,0.000156032,0.0005893208,0.0002726613,0.000153061,0.001081089,0.00005441827,0.350761,0.02051807,0.1089497,0.5169919,0.0001312939],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.000917054,0.0001268277,0.9658097,0.00008243512,0.00008056737,0.0001465867,0.0006890583,0.02269775,0.009449912],"genre_scores_gemma":[0.04431271,0.0004215416,0.9313659,0.0003053441,0.0000734961,0.001008102,0.003595052,0.003411987,0.01550575],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.03485766,"threshold_uncertainty_score":0.1166105,"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","authors":[{"name":"Peter E. Caines","is_ca":true},{"name":"Yuan-Jun Wei","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001961658,0.0003591505,0.0003671791,0.0004012099,0.000514657,0.0009833425,0.0006052569,0.0004414745,0.01409124],"category_scores_gemma":[0.0003707886,0.0002160475,0.0002915818,0.000384245,0.0005086069,0.0006474948,0.0009073205,0.0004051665,0.00191754],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005443881,"about_ca_system_score_gemma":0.0003775661,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002111019,"about_ca_topic_score_gemma":0.002576825,"domain_scores_codex":[0.9998449,0.00001994513,0.000007756451,0.00004292592,0.00006033019,0.00002415705],"domain_scores_gemma":[0.999877,0.00002620289,0.00001244467,0.00003225136,0.00003642949,0.00001568272],"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.0001222306,0.00006634664,0.000626996,0.0002334747,0.000054377,0.0002259339,0.000203918,0.166555,0.03006686,0.5494449,0.01180961,0.2405904],"study_design_scores_gemma":[0.00005305065,0.0001697601,0.001688121,0.00005409043,0.00005442817,0.0001878857,0.0001001114,0.6664675,0.009886509,0.2427344,0.07855868,0.00004546027],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02853801,0.002035418,0.8478629,0.0003648169,0.0003940761,0.0001218863,0.0003880993,0.002586224,0.1177085],"genre_scores_gemma":[0.8255484,0.001247975,0.09582575,0.0002214192,0.0001449077,0.0001938124,0.0007820633,0.0001169669,0.0759187],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01409124,"threshold_uncertainty_score":0.04713994,"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","authors":[{"name":"Karen Rudie","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01147163,0.001062431,0.001315407,0.001753441,0.00137208,0.005409639,0.003625055,0.002477121,0.006323943],"category_scores_gemma":[0.03938044,0.001131879,0.002167976,0.001203159,0.003599592,0.006271623,0.004178018,0.003870838,0.001490734],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001853035,"about_ca_system_score_gemma":0.004828984,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003134131,"about_ca_topic_score_gemma":0.001898003,"domain_scores_codex":[0.9840105,0.005859388,0.001661676,0.001780443,0.005921867,0.0007661412],"domain_scores_gemma":[0.9676672,0.02091862,0.001832771,0.006368766,0.002791615,0.0004211252],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003095133,0.0002093438,0.0009642544,0.0009204964,0.0002122693,0.00106081,0.0007739679,0.1536082,0.01085497,0.7338996,0.004992473,0.09219415],"study_design_scores_gemma":[0.0002909966,0.0001208392,0.0001537138,0.0002327376,0.00007867244,0.0002959135,0.0000858131,0.6565022,0.03545606,0.2751275,0.03155761,0.00009785398],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001696813,0.00008594189,0.9940717,0.0002397546,0.00007819525,0.0002034905,0.00009979936,0.001655335,0.00186905],"genre_scores_gemma":[0.219559,0.0006550041,0.7727793,0.0003929712,0.0001162649,0.001323104,0.0007478032,0.0003741775,0.004052353],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01147163,"threshold_uncertainty_score":0.06066853,"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","authors":[{"name":"Hicham Chakib","is_ca":true},{"name":"Ahmed Khoumsi","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001504735,0.0004819514,0.0005002577,0.0002964852,0.0005573311,0.001053357,0.001164829,0.0005086838,0.001929293],"category_scores_gemma":[0.001551576,0.0002852505,0.0005262591,0.0002956083,0.001135746,0.001235637,0.001118698,0.001054064,0.0002334168],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006570797,"about_ca_system_score_gemma":0.001267448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001439623,"about_ca_topic_score_gemma":0.001855767,"domain_scores_codex":[0.9989356,0.000266517,0.00006884512,0.0002797027,0.0003337144,0.0001156999],"domain_scores_gemma":[0.9992439,0.000261432,0.0001238318,0.0001528475,0.000135212,0.00008280048],"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.0004910124,0.0002610577,0.002581331,0.0003269526,0.0001679942,0.0004959796,0.0006366045,0.6255649,0.03519326,0.1982301,0.001584474,0.1344664],"study_design_scores_gemma":[0.00008832142,0.000157902,0.0004140223,0.00002234683,0.00004578429,0.00006392002,0.00004315129,0.9388615,0.009609723,0.04619578,0.00447668,0.00002091473],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03414802,0.0001945966,0.9607324,0.0001804194,0.00003991574,0.00009097696,0.00001980697,0.0004322131,0.004161653],"genre_scores_gemma":[0.8644285,0.0001616122,0.1328542,0.00007327777,0.0000528361,0.0001522614,0.00005020597,0.00003509655,0.002192022],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001929293,"threshold_uncertainty_score":0.007957876,"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","authors":[{"name":"S. Hashtrudi Zad","is_ca":true},{"name":"R.H. Kwong","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001148668,0.00111331,0.001177894,0.00102251,0.0004472632,0.00180209,0.0019307,0.001083172,0.001544475],"category_scores_gemma":[0.002546769,0.0006130078,0.001603084,0.0008976335,0.001570497,0.002100342,0.00136896,0.002188994,0.0005923468],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001021104,"about_ca_system_score_gemma":0.001066686,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002467501,"about_ca_topic_score_gemma":0.00175268,"domain_scores_codex":[0.9987885,0.0004386909,0.0000697115,0.0001699683,0.0004549487,0.00007817719],"domain_scores_gemma":[0.999007,0.0007089694,0.00005827905,0.0001105562,0.00008650459,0.00002873772],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001061609,0.0001310439,0.0003761432,0.0004475383,0.0001041534,0.0004605498,0.0003181191,0.4172594,0.005979477,0.4896064,0.00194117,0.08326976],"study_design_scores_gemma":[0.00002820655,0.00004077376,0.00006504391,0.00003367814,0.00003570181,0.00009901766,0.00003217053,0.8339167,0.002252636,0.1579973,0.005480288,0.00001857207],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001598516,0.00064529,0.9960247,0.0001379959,0.00003856833,0.00003934418,0.00003390956,0.0002839792,0.001197642],"genre_scores_gemma":[0.2597126,0.002620827,0.7337322,0.0001125984,0.0001992183,0.0004356943,0.0003394074,0.0001143255,0.00273311],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002467501,"threshold_uncertainty_score":0.007408679,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}