{"id":"W2677538387","doi":"10.3182/20140514-3-fr-4046.00080","title":"Deadlock Analysis of Generalized Parameterized Discrete Event Systems with Ring Topology","year":2014,"lang":"en","type":"article","venue":"IFAC Proceedings Volumes","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Parameterized complexity; Undecidable problem; Deadlock; Decidability; Computer science; Ring (chemistry); Theoretical computer science; Invariant (physics); Discrete event simulation; Ring network; Topology (electrical circuits); Network topology; Distributed computing; Mathematics; Discrete mathematics; Algorithm; Combinatorics","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.000856543,0.0002711225,0.0009060133,0.0005886146,0.0001256316,0.0002388224,0.001108035,0.0001165746,0.000005098827],"category_scores_gemma":[0.0001280429,0.0002183035,0.0001877723,0.001707043,0.00009778042,0.0004812868,0.0002967227,0.0001281559,0.000006255904],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008389661,"about_ca_system_score_gemma":0.00004004982,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003293488,"about_ca_topic_score_gemma":0.00001444119,"domain_scores_codex":[0.9975122,0.00006282578,0.0006858067,0.0006945705,0.0005555042,0.0004890935],"domain_scores_gemma":[0.9983685,0.0001033628,0.0005671999,0.0004743652,0.0003493179,0.0001372784],"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.0004075627,0.0003164644,0.3168469,0.00153783,0.008973648,0.0000231965,0.01190021,0.1950695,0.0560716,0.3894679,0.0006104239,0.01877477],"study_design_scores_gemma":[0.0005906228,0.000173083,0.001908334,0.0001020245,0.0003058978,0.00002416347,0.0001215506,0.9942498,0.001401024,0.0002988347,0.0005182524,0.0003064117],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5234888,0.0001593319,0.475044,0.00007582614,0.0001852474,0.0001692358,0.00000251438,0.0001490761,0.0007260279],"genre_scores_gemma":[0.9427168,0.00001034387,0.05684311,0.00004166071,0.00006937272,0.00006483763,0.000002706044,0.00001906175,0.0002321006],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7991803,"threshold_uncertainty_score":0.8902158,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01442758377607794,"score_gpt":0.2515295848426493,"score_spread":0.2371020010665714,"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."}}