{"id":"W2293794131","doi":"10.1109/wodes.2008.4605969","title":"Generalised nonblocking","year":2008,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Liveness; Computer science; Expressive power; Event (particle physics); Distributed computing; Theoretical computer science; Power (physics); Scheme (mathematics); Mathematics","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.0001226294,0.00006417526,0.00008088157,0.00006651103,0.0001232147,0.00003780243,0.0006338831,0.00002686339,0.00001698705],"category_scores_gemma":[0.00001267491,0.00005539987,0.00003363139,0.000274295,0.0000131456,0.0002699771,0.0001608271,0.00004470886,0.0001306266],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002359649,"about_ca_system_score_gemma":0.00003695773,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002685774,"about_ca_topic_score_gemma":0.000001687653,"domain_scores_codex":[0.9992385,0.00002301058,0.0001375568,0.0002155829,0.0002087931,0.0001765434],"domain_scores_gemma":[0.9994017,0.00002646931,0.00002836181,0.0004490613,0.00004139308,0.00005296776],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009537251,0.0002689533,0.02093195,0.00004990855,0.0001085311,0.001307535,0.01064366,0.04778804,0.06839766,0.6633545,0.1000147,0.0871251],"study_design_scores_gemma":[0.0003342483,0.00001843889,0.000743623,0.00001120769,0.000001043569,0.000415878,0.000007299499,0.9741569,0.01131141,0.0006562168,0.01208023,0.0002635523],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08499327,0.00007236307,0.8785554,0.0002082731,0.0003185802,0.0000368705,9.054119e-8,0.0003045278,0.03551058],"genre_scores_gemma":[0.7988244,0.000006239037,0.1992856,0.0004308741,0.00008016628,0.000003088975,1.543153e-7,0.000003721504,0.001365842],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9263688,"threshold_uncertainty_score":0.2259141,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05326203345584009,"score_gpt":0.2464920427156072,"score_spread":0.1932300092597671,"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."}}