{"id":"W2049602507","doi":"10.3182/20130904-3-uk-4041.00040","title":"Synthesizing bounded-delay communication protocols for decentralized discrete-event systems","year":2013,"lang":"en","type":"article","venue":"IFAC Proceedings Volumes","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Mount Allison University","funders":"","keywords":"Bounded function; Computer science; Protocol (science); Domain (mathematical analysis); Upper and lower bounds; Event (particle physics); Control theory (sociology); Distributed computing; Mathematics; Control (management)","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.00134378,0.0006577226,0.0006833395,0.000364774,0.0006308089,0.001241709,0.001248667,0.0009340651,0.002504492],"category_scores_gemma":[0.004422271,0.0005542331,0.0007282055,0.0003577875,0.0008854315,0.0008820788,0.001430117,0.001369834,0.0003248924],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009508061,"about_ca_system_score_gemma":0.002039902,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00189554,"about_ca_topic_score_gemma":0.003365814,"domain_scores_codex":[0.9991978,0.0001934916,0.00007132938,0.0001485929,0.0002888009,0.00009996436],"domain_scores_gemma":[0.9976352,0.001637925,0.0001735692,0.0002750427,0.0002095538,0.00006872782],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001141364,0.00007670964,0.0002254506,0.0001766397,0.00003169637,0.0001488561,0.0001527277,0.8899071,0.01275731,0.06621416,0.0005069019,0.02968837],"study_design_scores_gemma":[0.00004459155,0.00004412469,0.0000304016,0.00001280243,0.00001687707,0.00001679282,0.00002255537,0.9704199,0.00887876,0.01927816,0.001227946,0.000006962656],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02135325,0.00007102405,0.9745854,0.0001102132,0.00006388731,0.0001078759,0.00004320103,0.0006325127,0.003032623],"genre_scores_gemma":[0.7503378,0.000170717,0.2463337,0.00006848733,0.00002746154,0.000292531,0.0001235511,0.0001273545,0.002518344],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002504492,"threshold_uncertainty_score":0.008378386,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02870201514920633,"score_gpt":0.296202387129088,"score_spread":0.2675003719798816,"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."}}