{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001276838,0.0006392627,0.0006056983,0.0007710419,0.0009640442,0.001228353,0.001218346,0.000683924,0.004021454],"category_scores_gemma":[0.006057281,0.0002887534,0.0008005457,0.0004177685,0.002094527,0.00179283,0.001802716,0.001249529,0.0005009235],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007380328,"about_ca_system_score_gemma":0.001317123,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002643616,"about_ca_topic_score_gemma":0.003588823,"domain_scores_codex":[0.9983441,0.000372812,0.0001201479,0.0002949333,0.0006394378,0.0002285193],"domain_scores_gemma":[0.9952202,0.002330272,0.0005129596,0.0009339884,0.000833852,0.0001686863],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001138896,0.0001404435,0.002978204,0.001166453,0.0001377872,0.001365914,0.001486118,0.1183,0.08310679,0.662753,0.004002284,0.1234241],"study_design_scores_gemma":[0.0002388093,0.0006682178,0.001642362,0.0003187234,0.0002476151,0.001266678,0.0003753793,0.3625978,0.06769647,0.497418,0.06735501,0.0001749996],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08812246,0.0005786002,0.8851871,0.0002578166,0.0002536099,0.0002986945,0.0001959733,0.001837116,0.02326853],"genre_scores_gemma":[0.8802752,0.0003845088,0.1109007,0.0002819538,0.00006790792,0.0002902195,0.0002174525,0.0003280605,0.007253953],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004021454,"threshold_uncertainty_score":0.01345313,"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."}}