{"id":"W1587734337","doi":"10.1109/robot.2003.1241591","title":"Deadlock-free scheduling of flexible manufacturing workcells using automata theory","year":2004,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Scheduling (production processes); Computer science; Automaton; Job shop scheduling; Automation; Distributed computing; Directed acyclic graph; Workcell; Supervisory control theory; Batch processing; Robotics; Schedule; Supervisory control; Robot; Mathematical optimization; Artificial intelligence; Control (management); Engineering; Algorithm; Programming language; Mathematics; Operating system","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.0009408065,0.0001934497,0.0002696145,0.0002466833,0.0001309593,0.0001305597,0.002096158,0.00009578431,0.00002673775],"category_scores_gemma":[0.00005429389,0.0001778083,0.00009887037,0.0004045455,0.00004820729,0.0006489966,0.001010963,0.0001496839,0.00003730584],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000152091,"about_ca_system_score_gemma":0.0001459902,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009711373,"about_ca_topic_score_gemma":0.000002909014,"domain_scores_codex":[0.9980947,0.00006831998,0.0004859375,0.0004614916,0.0004562112,0.0004333615],"domain_scores_gemma":[0.9978815,0.0001354009,0.0001867885,0.001628767,0.00006540723,0.0001020844],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000009585317,0.00007457029,0.00009273749,0.00007418607,0.00005072224,0.00002649478,0.00086541,0.6720363,0.00642056,0.3073314,0.00001218523,0.01300581],"study_design_scores_gemma":[0.00130165,0.00004632005,0.0001457759,0.0005686168,0.00001899208,0.0001166705,0.0002543875,0.3370036,0.5320792,0.127885,0.00006634458,0.0005135323],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2575779,0.0002553503,0.7353911,0.00005335585,0.0004116425,0.0001030221,7.962338e-7,0.0003606655,0.005846193],"genre_scores_gemma":[0.5643846,0.00000279696,0.4353654,0.00005075699,0.00004346748,0.000001883168,1.843727e-7,0.00001143272,0.0001394718],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5256586,"threshold_uncertainty_score":0.7250811,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03458948995194525,"score_gpt":0.2680468653504972,"score_spread":0.2334573753985519,"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."}}