{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002278797,0.001713511,0.001204351,0.002318682,0.001447358,0.003272202,0.002510566,0.002986848,0.009085831],"category_scores_gemma":[0.01298565,0.0007193965,0.00189655,0.002783146,0.004129344,0.004922071,0.003696045,0.002877423,0.0009332222],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001625957,"about_ca_system_score_gemma":0.000815166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002488878,"about_ca_topic_score_gemma":0.002754582,"domain_scores_codex":[0.9976961,0.0007680385,0.000160798,0.0004741897,0.0006292788,0.000271565],"domain_scores_gemma":[0.9895657,0.007990741,0.0006748273,0.0006944906,0.000800752,0.0002734043],"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.0003192281,0.0003459739,0.003022061,0.001335379,0.0001426151,0.00712195,0.001437231,0.3661408,0.005850941,0.4857693,0.006966945,0.1215476],"study_design_scores_gemma":[0.00007619908,0.0002258021,0.0008524355,0.0002086638,0.0001647054,0.003002598,0.000871952,0.4899112,0.004450296,0.4842624,0.01589919,0.00007445814],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02200612,0.003511526,0.9421184,0.0008833976,0.0001565958,0.00007706722,0.0001069155,0.0004151025,0.03072482],"genre_scores_gemma":[0.7117764,0.00607281,0.2561308,0.0003444629,0.0005019636,0.0003623077,0.00038651,0.0003558701,0.02406886],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009085831,"threshold_uncertainty_score":0.03039515,"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."}}