{"id":"W2025559347","doi":"10.1016/s0007-8506(07)61539-x","title":"Deadlock-free Rescheduling in Flexible Manufacturing Systems","year":2002,"lang":"en","type":"article","venue":"CIRP Annals","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Windsor","funders":"","keywords":"Deadlock; Schedule; Petri net; Computer science; Limit (mathematics); Distributed computing; Deadlock prevention algorithms; Scheduling (production processes); Real-time computing; Engineering; Operations management; Mathematics","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.002735327,0.0004260007,0.0008120211,0.0006791565,0.001130082,0.001145992,0.001467406,0.0009042292,0.001794199],"category_scores_gemma":[0.00503759,0.0005725381,0.0006892919,0.0007385708,0.00150717,0.001487139,0.001048101,0.001042204,0.0001782687],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001038936,"about_ca_system_score_gemma":0.002036321,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00381018,"about_ca_topic_score_gemma":0.003740494,"domain_scores_codex":[0.9989364,0.0004134722,0.00007790443,0.000128918,0.0002463395,0.0001969895],"domain_scores_gemma":[0.9973978,0.001787098,0.0002185488,0.0002367334,0.0002444611,0.0001153465],"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.0002158673,0.00009746732,0.0005871896,0.0001330992,0.00004196108,0.0002989607,0.0002427795,0.7797683,0.004977073,0.160295,0.001388197,0.05195403],"study_design_scores_gemma":[0.00002896267,0.00005588486,0.0001881644,0.00001215072,0.00001924576,0.00005317635,0.00003001485,0.8634809,0.001935577,0.1330326,0.001147442,0.00001591479],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1550818,0.001481398,0.8285331,0.0007321609,0.0002229227,0.00007211432,0.00009782541,0.0007793541,0.01299935],"genre_scores_gemma":[0.9352838,0.0005809205,0.05926745,0.0001073614,0.00005214601,0.0000973937,0.00009933678,0.0000879357,0.004423633],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00381018,"threshold_uncertainty_score":0.01446599,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09844336902206095,"score_gpt":0.2823061979061318,"score_spread":0.1838628288840709,"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."}}