{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006922226,0.0003934617,0.0003962302,0.0003079685,0.0003291433,0.0006745813,0.0005081202,0.0003931876,0.0006491632],"category_scores_gemma":[0.001386296,0.0002244776,0.0005579261,0.0002706873,0.001537889,0.0006100254,0.0005337832,0.0005547151,0.00007405993],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007187308,"about_ca_system_score_gemma":0.0009460552,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002287791,"about_ca_topic_score_gemma":0.001856798,"domain_scores_codex":[0.9996309,0.0001080886,0.00001869631,0.00006008785,0.0001381049,0.0000440622],"domain_scores_gemma":[0.9994695,0.0003214649,0.00008386369,0.00003617656,0.00006949256,0.00001952774],"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.00002773667,0.00001662048,0.0002257468,0.00003776495,0.000009802664,0.00007867005,0.0001271208,0.9105579,0.005448188,0.07050691,0.0001812434,0.01278231],"study_design_scores_gemma":[0.00001529152,0.00003345296,0.00006191561,0.000007379947,0.00000564523,0.00001424572,0.00001424067,0.9544196,0.001975587,0.04288218,0.0005634854,0.000006925273],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03901916,0.0001728457,0.9579584,0.00009298549,0.00001728023,0.00002386596,0.00001760159,0.0001694071,0.00252855],"genre_scores_gemma":[0.9025222,0.0002351193,0.09588232,0.00003486827,0.00001490452,0.000150611,0.00004181424,0.0000255276,0.001092582],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002287791,"threshold_uncertainty_score":0.005214751,"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."}}