{"id":"W2088998139","doi":"10.1109/acc.2012.6314999","title":"Invariant weak simulation and analysis of parameterized networks","year":2012,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Parameterized complexity; Undecidable problem; Computer science; Invariant (physics); Theoretical computer science; Blocking (statistics); Model checking; Process (computing); Distributed computing; Algorithm; Mathematics; Programming language; Decidability; Computer network","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.001370508,0.000525226,0.000508283,0.0007256067,0.0005802126,0.001164098,0.001072001,0.0005948634,0.00195509],"category_scores_gemma":[0.005905322,0.0003477026,0.0008116122,0.0005576105,0.001838931,0.002419045,0.001506747,0.001189851,0.0001813116],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001692306,"about_ca_system_score_gemma":0.001244914,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004472151,"about_ca_topic_score_gemma":0.002392857,"domain_scores_codex":[0.9989088,0.0004008622,0.00006332112,0.0001864625,0.0002883744,0.0001521684],"domain_scores_gemma":[0.9967387,0.001808252,0.000544806,0.0004261187,0.0003226859,0.0001594162],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004393685,0.00002213204,0.0009657751,0.00003534937,0.00003127363,0.00008101125,0.0001234556,0.5634577,0.004189283,0.4259315,0.0001587765,0.004959759],"study_design_scores_gemma":[0.000006367831,0.0000126199,0.0001147459,0.00000431072,0.000007935163,0.000008587046,0.00002019744,0.8868511,0.001256779,0.1109987,0.0007136762,0.000004954454],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07731151,0.00009475149,0.9177914,0.0001391373,0.00001159062,0.00004763977,0.00006886891,0.0001807015,0.004354449],"genre_scores_gemma":[0.9318404,0.0002687412,0.063421,0.00004699984,0.00002436142,0.0002390111,0.0001661115,0.00008472082,0.003908751],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004472151,"threshold_uncertainty_score":0.01227862,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04307640429166215,"score_gpt":0.2879570409322249,"score_spread":0.2448806366405628,"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."}}