{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009304014,0.0003712159,0.0006654076,0.0003328839,0.0004618654,0.0005482796,0.0004162049,0.0001909117,0.000002653029],"category_scores_gemma":[0.000002023497,0.000350887,0.0000838228,0.0001446677,0.000157441,0.0003039364,0.00001986222,0.0002189915,0.000003318231],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005870926,"about_ca_system_score_gemma":0.00003794044,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001050008,"about_ca_topic_score_gemma":0.00004677932,"domain_scores_codex":[0.9972736,0.0002729969,0.000901592,0.000668274,0.0004398555,0.0004437123],"domain_scores_gemma":[0.9983261,0.0002220052,0.0003526863,0.0008410552,0.00009235557,0.0001658093],"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.0001597231,0.0006164555,0.0006032335,0.00476143,0.0008721343,0.00009867255,0.006388418,0.7474049,0.027975,0.2050532,0.0002070693,0.005859694],"study_design_scores_gemma":[0.003529557,0.0003210712,0.0002594436,0.00222622,0.0002630915,0.000436293,0.001510092,0.9769368,0.01079046,0.001005913,0.001692218,0.001028831],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2869261,0.003266159,0.7074827,0.00001081425,0.001141835,0.0004897303,0.00004530824,0.0001364446,0.0005008776],"genre_scores_gemma":[0.9971905,0.00009135086,0.001344614,0.00001362879,0.0001674106,0.00004795636,7.567461e-7,0.00003702724,0.001106748],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7102644,"threshold_uncertainty_score":0.9998943,"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."}}