{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005451306,0.00006041982,0.0001988309,0.0001950493,0.0000274343,0.00004105526,0.0001911159,0.00004250349,0.00001142095],"category_scores_gemma":[0.00003741542,0.00004967152,0.00004723851,0.0009309886,0.00001335873,0.0004018128,0.0001370394,0.00003267005,0.000001482117],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001127675,"about_ca_system_score_gemma":0.00000583766,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002590871,"about_ca_topic_score_gemma":0.000002661608,"domain_scores_codex":[0.9992707,0.00006991417,0.0002312298,0.0001386631,0.0001357414,0.0001538026],"domain_scores_gemma":[0.9992117,0.0002581672,0.0000965037,0.0003326626,0.00003896033,0.00006200802],"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.000003514889,0.00002122958,0.01783701,0.000004215452,0.0001932461,1.901722e-7,0.0003473329,0.9572991,0.0002373139,0.01623767,0.000009764403,0.007809374],"study_design_scores_gemma":[0.0000892125,0.000007483244,0.01079748,0.000003779006,0.00007010002,6.991155e-7,0.000009121322,0.9888152,0.00003722609,0.0000552443,0.00005524907,0.0000591966],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.107874,0.0001469267,0.8908353,0.00001770647,0.0001028976,0.00004721437,3.51417e-7,0.00003800701,0.0009375772],"genre_scores_gemma":[0.9256061,0.000004496873,0.07428971,0.00003893564,0.00002171692,0.000001878342,0.000001324626,0.000002206881,0.00003363018],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8177321,"threshold_uncertainty_score":0.2025546,"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."}}