{"id":"W2151944132","doi":"10.1109/cdc.1992.370955","title":"Protocol verification using discrete-event systems","year":2005,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; Queen's University","funders":"Technische Universiteit Eindhoven","keywords":"Correctness; Protocol (science); Computer science; Property (philosophy); Event (particle physics); Transmission (telecommunications); Channel (broadcasting); Data transmission; Communications protocol; Computer network; Theoretical computer science; Distributed computing; Algorithm","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.0004282153,0.0001005709,0.0001128906,0.00007937349,0.0000965189,0.0002373797,0.0006237971,0.00004519624,0.000008137619],"category_scores_gemma":[0.00001317935,0.00008253992,0.00003603796,0.0002671211,0.00001057211,0.0006563984,0.0001294016,0.00005838625,0.0001013928],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001782128,"about_ca_system_score_gemma":0.0000609985,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004727771,"about_ca_topic_score_gemma":0.000002512517,"domain_scores_codex":[0.9987596,0.00007194316,0.0003300208,0.0003138873,0.0003165132,0.0002080765],"domain_scores_gemma":[0.999073,0.00001974879,0.0001187919,0.0006552303,0.00006867127,0.00006454495],"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.00001250078,0.0001622766,0.0005107348,0.0002235009,0.00003110714,0.000007191286,0.001029843,0.6929459,0.01579604,0.2358101,0.001702307,0.05176855],"study_design_scores_gemma":[0.000168964,0.00001243416,0.00002899016,0.00004594512,0.000001179721,0.00002232003,0.00001782302,0.9731683,0.00127447,0.00004187231,0.02510132,0.0001163755],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009750357,0.00001235806,0.9692113,0.0001564227,0.0002017504,0.02468219,3.510343e-7,0.0002341557,0.004526397],"genre_scores_gemma":[0.8319513,1.903827e-7,0.1435848,0.00005749927,0.0002544792,0.02347352,4.631315e-7,0.00001004638,0.0006676936],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8309762,"threshold_uncertainty_score":0.336588,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05808076717527802,"score_gpt":0.3391522618506791,"score_spread":0.281071494675401,"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."}}