{"id":"W2144382935","doi":"10.1109/tsmca.2005.851338","title":"Deadlock-free scheduling and control of flexible manufacturing cells using automata theory","year":2006,"lang":"en","type":"article","venue":"IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Petri net; Computer science; Scheduling (production processes); Automaton; Distributed computing; Deadlock; Job shop scheduling; Supervisory control theory; Flexible manufacturing system; Mathematical optimization; Supervisory control; Control (management); Embedded system; Theoretical computer science; Mathematics; 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.0004754691,0.0005321157,0.0003929486,0.0003262606,0.0005216052,0.0006079504,0.001014321,0.0004521713,0.001355398],"category_scores_gemma":[0.001038029,0.0002717563,0.0007967204,0.0003336208,0.001153879,0.0007557199,0.0005962256,0.0008380181,0.0002256626],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007708362,"about_ca_system_score_gemma":0.001027136,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002607806,"about_ca_topic_score_gemma":0.002611215,"domain_scores_codex":[0.9996124,0.0001209291,0.00002716283,0.00007604967,0.0001275757,0.00003589073],"domain_scores_gemma":[0.999569,0.0002717309,0.00003726406,0.00005455165,0.00004837985,0.00001906976],"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.00006417913,0.00004061245,0.0003055404,0.0001623386,0.0000431871,0.00013707,0.0003354678,0.6520351,0.02594839,0.2250628,0.0009376346,0.0949277],"study_design_scores_gemma":[0.00002278788,0.00006129502,0.00006323107,0.00001588692,0.00001441359,0.00004584454,0.00001827332,0.9497544,0.007488792,0.03493687,0.007559936,0.00001818084],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003756285,0.0001070597,0.9943337,0.00003021423,0.00003286885,0.00001725383,0.00001266375,0.0001753384,0.001534611],"genre_scores_gemma":[0.3724265,0.0004277207,0.6235958,0.00006091036,0.00005223521,0.0002871201,0.00008990771,0.00008701657,0.002972835],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002607806,"threshold_uncertainty_score":0.005592823,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02169636571993883,"score_gpt":0.2305481941994371,"score_spread":0.2088518284794983,"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."}}