{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002414779,0.0006329272,0.0007598911,0.0009400827,0.001289088,0.002142478,0.001815113,0.00128824,0.002041871],"category_scores_gemma":[0.01989878,0.0009407041,0.000902285,0.0007796368,0.002340106,0.004507896,0.001615957,0.001030416,0.0001774556],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001830158,"about_ca_system_score_gemma":0.00185919,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006197582,"about_ca_topic_score_gemma":0.006108886,"domain_scores_codex":[0.9976036,0.0007566035,0.0001432262,0.0005468126,0.0005184789,0.000431316],"domain_scores_gemma":[0.9706823,0.02346378,0.002415845,0.001590771,0.001342006,0.000505212],"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.0005552208,0.00009228219,0.004208243,0.0003267164,0.00009412726,0.0006108256,0.0005441437,0.7531812,0.01433423,0.2057001,0.0009566796,0.01939613],"study_design_scores_gemma":[0.00004223141,0.00004746027,0.0003832581,0.00002426196,0.00003580419,0.00009042645,0.00006685017,0.882048,0.006331879,0.1100042,0.0009061107,0.00001954302],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.399197,0.0003165465,0.5890741,0.0005367059,0.00003468021,0.0002016789,0.0004693783,0.001690274,0.008479544],"genre_scores_gemma":[0.9317949,0.0002062726,0.06491596,0.0001000961,0.0000237055,0.0002510961,0.0005044758,0.0001362571,0.002067327],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006197582,"threshold_uncertainty_score":0.01327878,"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."}}