{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002157499,0.0005135004,0.0009751925,0.000774733,0.0003382123,0.001167467,0.001357936,0.000546409,0.001573605],"category_scores_gemma":[0.004720352,0.000349717,0.001191284,0.00052588,0.001142277,0.002010102,0.001112819,0.0007507298,0.00008887101],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009867206,"about_ca_system_score_gemma":0.0008972919,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001760266,"about_ca_topic_score_gemma":0.001196778,"domain_scores_codex":[0.9988704,0.0004425539,0.00007154866,0.0001943429,0.0002504917,0.0001706075],"domain_scores_gemma":[0.9962524,0.002509418,0.000353005,0.0004322272,0.0003112613,0.0001418295],"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.0002643825,0.00004086229,0.001207596,0.00008699889,0.0000998734,0.0001981038,0.00009723075,0.8831182,0.006270623,0.09770808,0.0002590163,0.0106491],"study_design_scores_gemma":[0.00000844524,0.00001926335,0.0001593278,0.000003505484,0.00001549821,0.00002081957,0.00001302036,0.971749,0.0009423575,0.02692916,0.0001329334,0.000006541803],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1617568,0.0002372842,0.8351581,0.0001046073,0.00002599639,0.00004700932,0.00009532292,0.0004394996,0.002135416],"genre_scores_gemma":[0.9636428,0.0000959311,0.03514966,0.00001940988,0.00001420888,0.00003626907,0.00009690061,0.00006064995,0.0008840854],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002157499,"threshold_uncertainty_score":0.01141006,"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."}}