{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009304742,0.0001954897,0.0003091048,0.0003722002,0.0001240517,0.0003698209,0.001908081,0.0001175047,0.00001935581],"category_scores_gemma":[0.0001394936,0.0002016072,0.00007509156,0.0004741364,0.0000217555,0.0006646689,0.0004670948,0.0002358841,0.0002540011],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007952264,"about_ca_system_score_gemma":0.00002001806,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008653464,"about_ca_topic_score_gemma":0.000008227516,"domain_scores_codex":[0.9977095,0.0001313206,0.0005325124,0.000558425,0.0004606034,0.0006076326],"domain_scores_gemma":[0.9981048,0.0001262826,0.0001416287,0.001421376,0.00006699449,0.0001389369],"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.00003266691,0.0005996053,0.006421804,0.001174135,0.0001917656,0.00150967,0.01079142,0.6878514,0.005448926,0.0944384,0.05868375,0.1328564],"study_design_scores_gemma":[0.0006928513,0.00004422644,0.000755506,0.0006185224,0.000003517624,0.0001189025,0.000112793,0.9676362,0.01184614,0.002926592,0.014674,0.0005707788],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3378817,0.0154405,0.588266,0.002217075,0.002832623,0.0006393403,0.000007387289,0.001074014,0.05164134],"genre_scores_gemma":[0.9905679,0.00008778654,0.007554448,0.0002606417,0.0002062551,0.00002917371,5.507125e-7,0.00001923871,0.00127407],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6526861,"threshold_uncertainty_score":0.8221302,"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."}}