{"id":"W2765489289","doi":"10.1016/j.ifacol.2017.08.543","title":"A Tool for Deadlock Analysis of Parameterized-chain Networks","year":2017,"lang":"en","type":"article","venue":"IFAC-PapersOnLine","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Parameterized complexity; Computer science; Decidability; Dependency graph; Undecidable problem; Deadlock; Theoretical computer science; Dependency (UML); Graph; Discrete mathematics; Mathematics; Distributed computing; Algorithm","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.003016426,0.001352926,0.0009712856,0.002821984,0.001033393,0.00176554,0.003156343,0.001355832,0.008576926],"category_scores_gemma":[0.01411581,0.0009679949,0.003012534,0.001836463,0.002314506,0.004271746,0.003545021,0.002731624,0.001185173],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001358165,"about_ca_system_score_gemma":0.00181006,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001988428,"about_ca_topic_score_gemma":0.001651703,"domain_scores_codex":[0.9979758,0.0006370931,0.0001797461,0.0003906264,0.0006350204,0.0001816548],"domain_scores_gemma":[0.9924847,0.005275494,0.0004386198,0.001145065,0.0005025457,0.0001535611],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001079653,0.0001082877,0.001896818,0.0003044249,0.0001414412,0.0004447107,0.0004773394,0.2495512,0.008988872,0.6586151,0.002771084,0.07659288],"study_design_scores_gemma":[0.00002750666,0.00003593112,0.0001535347,0.00006345672,0.00004249383,0.00015266,0.00004819013,0.6498449,0.005295325,0.3330548,0.01124904,0.00003205685],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001503996,0.00003060133,0.9968144,0.00003113696,0.00001120359,0.00003574514,0.00006093281,0.0008203555,0.0006915967],"genre_scores_gemma":[0.1427376,0.0002217801,0.8529555,0.0001024126,0.00005746855,0.0004888504,0.0007440633,0.0007966154,0.001895624],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008576926,"threshold_uncertainty_score":0.02869266,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03495018063365187,"score_gpt":0.301852641168678,"score_spread":0.2669024605350261,"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."}}