{"id":"W1821547875","doi":"10.1109/ccece.1995.526418","title":"A comparison of two synthesis methods for timed discrete-event systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Axiom; Event (particle physics); Process (computing); Process calculus; Strengths and weaknesses; Axiomatic system; Control (management); Distributed computing; Theoretical computer science; Programming language; Artificial intelligence; 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.002192062,0.000876828,0.0008000177,0.001642351,0.000421413,0.00155744,0.00110876,0.001056071,0.005991787],"category_scores_gemma":[0.005586367,0.0005746572,0.001029713,0.001064876,0.0008393899,0.001856359,0.0009059843,0.0009704761,0.001356961],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000704449,"about_ca_system_score_gemma":0.00116133,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007271456,"about_ca_topic_score_gemma":0.0009956904,"domain_scores_codex":[0.997816,0.0005757106,0.0001771572,0.0002197948,0.001126163,0.00008524667],"domain_scores_gemma":[0.996588,0.002221692,0.0001795445,0.0004801144,0.0004497556,0.00008093537],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006652284,0.000185817,0.0005354255,0.001694527,0.0001573413,0.0001501183,0.0005470076,0.1142653,0.02951856,0.1588552,0.001655749,0.6917698],"study_design_scores_gemma":[0.0004780222,0.0008628773,0.0008834754,0.0004577408,0.0001956236,0.0006293276,0.0003559705,0.7769111,0.05331993,0.09275566,0.07300043,0.0001498028],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002080757,0.001040729,0.9923881,0.00008437772,0.0001217985,0.0000642485,0.00002375787,0.0005159129,0.003680227],"genre_scores_gemma":[0.1276783,0.002988365,0.8636662,0.0001183439,0.0001109648,0.0002926499,0.0001888353,0.0003770364,0.004579241],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005991787,"threshold_uncertainty_score":0.02004451,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1216726983737958,"score_gpt":0.426859427922959,"score_spread":0.3051867295491631,"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."}}