{"id":"W1575143409","doi":"10.1109/icsmc.2003.1244413","title":"Deadlock-free optimal routing in flexible manufacturing cells via supervisory control theory","year":2004,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisor; Computer science; Routing (electronic design automation); Supervisory control; Supervisory control theory; Automaton; Controller (irrigation); Set (abstract data type); Deadlock; Distributed computing; Control (management); Workcell; Robot; Embedded system; Theoretical computer science","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.00140021,0.000255313,0.0003222978,0.0002711427,0.0001355367,0.0002039276,0.002082791,0.0001226107,0.00003054891],"category_scores_gemma":[0.00004282773,0.0002371247,0.0001002121,0.0002957551,0.00003635267,0.0007672712,0.0006179399,0.0002822209,0.0001335907],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002632302,"about_ca_system_score_gemma":0.00010183,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002688056,"about_ca_topic_score_gemma":0.0000430166,"domain_scores_codex":[0.9975759,0.0001500674,0.0005351131,0.0006267258,0.0004109826,0.0007011474],"domain_scores_gemma":[0.9983347,0.000241642,0.00009177765,0.001164067,0.00004113391,0.0001266928],"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.00003748409,0.0001331172,0.0004048979,0.00004771978,0.0000379222,0.0001504139,0.002157531,0.8499461,0.01298922,0.1157871,0.00005108645,0.01825744],"study_design_scores_gemma":[0.00606404,0.0001102631,0.000750311,0.0002333666,0.00001265328,0.0001212134,0.0003691557,0.589466,0.3528849,0.04885914,0.0001641327,0.0009648203],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1512246,0.0001293652,0.8416008,0.0002136418,0.0003911808,0.0002215037,0.000001306231,0.0003861766,0.005831458],"genre_scores_gemma":[0.8868407,0.000003763614,0.1122787,0.0004753439,0.00008548295,0.00001667807,4.262441e-7,0.00002011076,0.0002787773],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7356161,"threshold_uncertainty_score":0.9669664,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01893897360893077,"score_gpt":0.2221768141399725,"score_spread":0.2032378405310417,"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."}}