{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008476723,0.0002248594,0.0006732832,0.0002614519,0.0003302817,0.0002588429,0.002044022,0.0001433745,0.00001034392],"category_scores_gemma":[0.0004336576,0.0002048232,0.0004358702,0.0004869151,0.00008053557,0.0002984497,0.0003750633,0.0001232503,0.000004249705],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005128987,"about_ca_system_score_gemma":0.00005644932,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008595055,"about_ca_topic_score_gemma":0.00008006782,"domain_scores_codex":[0.9980173,0.00006404789,0.0005569665,0.0005866724,0.0003376169,0.0004374159],"domain_scores_gemma":[0.9967532,0.0003669354,0.0005841868,0.002000942,0.0001964122,0.00009831746],"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.0003140093,0.0005766268,0.02228691,0.0002474369,0.005516947,0.00007342854,0.002464734,0.5880834,0.01390672,0.0178107,0.0000741416,0.3486449],"study_design_scores_gemma":[0.0005694296,0.0000769601,0.002772647,0.00004123052,0.0002481752,0.000004018913,0.00001705281,0.9955002,0.0002001259,0.0001426728,0.0001889656,0.0002385188],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2110354,0.0001910781,0.7873553,0.0004614237,0.0003944469,0.0002695206,0.00004438782,0.00008074252,0.0001676724],"genre_scores_gemma":[0.5145645,0.00001188822,0.4849482,0.0001235012,0.0001163701,0.00002908517,0.00001125306,0.00001080226,0.0001845069],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4074167,"threshold_uncertainty_score":0.8352448,"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."}}