{"id":"W148891405","doi":"","title":"Deadlock resolution in flexible manufacturing systems: A Petri nets based approach.","year":2001,"lang":"en","type":"article","venue":"Scholarship at UWindsor (University of Windsor)","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Petri net; Computer science; Deadlock; Resolution (logic); Process architecture; Distributed computing; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002270113,0.001099559,0.0006799625,0.001342114,0.0008978611,0.001762809,0.001495189,0.001065049,0.001410719],"category_scores_gemma":[0.002505147,0.0007218854,0.001931252,0.0007898919,0.001793686,0.001672906,0.001534105,0.001735741,0.0002566162],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001716681,"about_ca_system_score_gemma":0.002468988,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003186336,"about_ca_topic_score_gemma":0.003740467,"domain_scores_codex":[0.9989085,0.0004452518,0.00008140569,0.0001424357,0.0003359119,0.00008645449],"domain_scores_gemma":[0.9988539,0.0007992396,0.0001026182,0.00008174641,0.0001216482,0.0000407848],"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.00006762972,0.00009572913,0.001038534,0.0008310736,0.0001917513,0.0005408074,0.0005366211,0.6532395,0.01511337,0.1916122,0.001948607,0.1347843],"study_design_scores_gemma":[0.0000235039,0.00008484929,0.0002589914,0.0001481409,0.00008685969,0.0002629166,0.0001268541,0.8991922,0.005513341,0.08359171,0.01066429,0.00004636875],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003173481,0.001425998,0.9922825,0.0001847003,0.0001116165,0.0001124652,0.00002576543,0.0002020231,0.002481505],"genre_scores_gemma":[0.1863386,0.003818079,0.8043422,0.0001912222,0.0001467907,0.0003615263,0.0001632847,0.0001233458,0.004514921],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003186336,"threshold_uncertainty_score":0.01245552,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03651745815671329,"score_gpt":0.2240570763651383,"score_spread":0.187539618208425,"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."}}