{"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,"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","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.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"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01462028552831373,"score_gpt":0.2257360555745237,"score_spread":0.2111157700462099,"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."}}