{"id":"W2055536026","doi":"10.1007/s10626-014-0194-6","title":"New results on supervisor localization, with case studies","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisor; Supervisory control; Supervisory control theory; Event (particle physics); Computer science; Congruence (geometry); Pairwise comparison; Set (abstract data type); Information exchange; Disjoint sets; Theoretical computer science; Control (management); Distributed computing; Mathematics; Artificial intelligence; Discrete mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001005057,0.0003131725,0.0004475605,0.000190714,0.0002457874,0.0002270256,0.0007272603,0.00008144821,8.84002e-7],"category_scores_gemma":[0.0001740779,0.0002270384,0.00007090014,0.0005822106,0.00003718439,0.0003447392,0.0001745776,0.0001222186,0.00006938813],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000226402,"about_ca_system_score_gemma":0.00008641448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003778775,"about_ca_topic_score_gemma":0.000180192,"domain_scores_codex":[0.9970871,0.0003618154,0.0007016554,0.0007776063,0.0006605329,0.0004113297],"domain_scores_gemma":[0.9977376,0.0002772031,0.0002784909,0.001308524,0.0002112912,0.0001868873],"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.0001255926,0.00006577062,0.000602214,0.000465777,0.0003559197,0.001118068,0.008339231,0.9098089,0.00003257898,0.06108014,0.006852748,0.01115301],"study_design_scores_gemma":[0.001002274,0.0002992458,0.00001702686,0.0007196757,0.00001669907,0.001394797,0.0007617543,0.9926469,0.00001022036,0.0002238053,0.002565905,0.0003416921],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01060718,0.0006846687,0.9849215,0.0003637762,0.001580224,0.0004719105,0.00001595126,0.0003098623,0.00104499],"genre_scores_gemma":[0.9940104,0.00001853047,0.003883056,0.00009717164,0.0001896448,0.00004258208,0.00001695246,0.00003208652,0.001709585],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9834032,"threshold_uncertainty_score":0.9258358,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02024861955844544,"score_gpt":0.2816256451740603,"score_spread":0.2613770256156149,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}