{"id":"W2128061767","doi":"10.1109/tac.2012.2191852","title":"Blocking in Fully Connected Networks of Arbitrary Size","year":2012,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Thales (Canada); University of Waterloo","funders":"","keywords":"Blocking (statistics); Undecidable problem; Decidability; Computer science; Topology (electrical circuits); Connected component; Set (abstract data type); Theoretical computer science; Network topology; Component (thermodynamics); Strongly connected component; Distributed computing; Mathematics; Discrete mathematics; Algorithm; Combinatorics; Computer network; Physics; Artificial intelligence","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.0007274874,0.0001971859,0.00043375,0.0002641793,0.0000799358,0.00004350921,0.000532614,0.000123246,0.00005533464],"category_scores_gemma":[0.00002859873,0.0001937803,0.0001335466,0.000753315,0.00003560943,0.0004554674,0.000002596479,0.0002366715,0.00001884616],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009837798,"about_ca_system_score_gemma":0.00007281779,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003524578,"about_ca_topic_score_gemma":0.00002019991,"domain_scores_codex":[0.9980056,0.0002331439,0.0006856865,0.0002532511,0.0003363739,0.0004859483],"domain_scores_gemma":[0.9976524,0.001364973,0.0001952978,0.0006050928,0.00006101224,0.0001212529],"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.0000788334,0.001393873,0.0008104892,0.0002049373,0.0003147821,0.00002879946,0.003997015,0.7224886,0.008697113,0.002592169,0.00006094007,0.2593324],"study_design_scores_gemma":[0.001573511,0.00005436796,0.001526189,0.0001822182,0.00002559276,0.00002889902,0.00003276631,0.9950668,0.001209529,0.00009936283,0.00001511261,0.0001857189],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09950159,0.0001994562,0.8981554,0.0001416239,0.001006776,0.0003689427,0.000003801875,0.0002905808,0.0003318097],"genre_scores_gemma":[0.9871551,0.000005144385,0.01243502,0.0002377406,0.00004959111,0.00007253146,1.548339e-7,0.00001682202,0.00002785179],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8876535,"threshold_uncertainty_score":0.7902131,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01328723495193261,"score_gpt":0.2345836436375281,"score_spread":0.2212964086855956,"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."}}