{"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,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Computer science; Computation; Control (management); Programming language; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004213937,0.0001045878,0.000168314,0.00009547226,0.0001020685,0.0001575519,0.0004286567,0.00005053158,0.000006753611],"category_scores_gemma":[0.00006549827,0.0000941523,0.00008101902,0.0001731727,0.00001262934,0.0003454265,0.0000460704,0.00003242816,0.00003904867],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004751509,"about_ca_system_score_gemma":0.00003851877,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004277409,"about_ca_topic_score_gemma":0.00001045662,"domain_scores_codex":[0.9989256,0.00005007381,0.0002859501,0.0003041353,0.000201504,0.0002327292],"domain_scores_gemma":[0.9988551,0.0006643971,0.0000549891,0.0002800282,0.0001187279,0.00002680566],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005226963,0.0003290657,0.004265869,0.0002185422,0.00009035649,0.00002419482,0.0003848062,0.2661214,0.007963815,0.4767552,0.03888384,0.2049107],"study_design_scores_gemma":[0.0004432174,0.00001874349,0.0004341813,0.00001569191,0.000006615229,0.00001408776,0.000007165448,0.9916986,0.001184787,0.004875613,0.001152263,0.0001490893],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01724276,0.00007204094,0.9780383,0.0005158087,0.0002447664,0.0003233446,0.000005159499,0.0002933871,0.003264446],"genre_scores_gemma":[0.8274813,4.635854e-7,0.1717911,0.000232786,0.0001096813,0.00009747145,0.00000138905,0.000007799285,0.0002780089],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8102385,"threshold_uncertainty_score":0.3839419,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02707418376481781,"score_gpt":0.2383186887042866,"score_spread":0.2112445049394688,"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."}}