{"id":"W1896424741","doi":"10.1109/ccece.1993.332300","title":"An evaluation of the TCT tool for the synthesis of controllers of discrete event systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Parsing; Computer science; Programming language; Event (particle physics); Controller (irrigation); Software engineering; Software; Natural language processing; Artificial intelligence","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.003515572,0.001082771,0.0005165844,0.001275001,0.0004980768,0.0009713669,0.001522424,0.001436133,0.003508978],"category_scores_gemma":[0.01777606,0.0005366701,0.0006592532,0.0009742713,0.0008046037,0.001075788,0.0007919763,0.0006828217,0.0005536204],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008576673,"about_ca_system_score_gemma":0.00154288,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009127768,"about_ca_topic_score_gemma":0.00454816,"domain_scores_codex":[0.9954848,0.001707837,0.0003192664,0.0004421291,0.001820742,0.0002252184],"domain_scores_gemma":[0.9785858,0.01613772,0.0005016227,0.001378364,0.003055783,0.0003406455],"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.00206988,0.001124431,0.006244879,0.001419649,0.000244891,0.001431991,0.001105051,0.6313063,0.06995829,0.01716051,0.006482488,0.2614516],"study_design_scores_gemma":[0.0003482063,0.001759715,0.001467278,0.00007751494,0.00007778427,0.0003003592,0.0001800122,0.9336482,0.05230582,0.001736895,0.008050734,0.00004744864],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5483193,0.001192375,0.4062631,0.0004445627,0.0002607271,0.000687912,0.0009686128,0.02060887,0.0212545],"genre_scores_gemma":[0.7176071,0.0004101469,0.2773054,0.0001173698,0.00003086948,0.0002805028,0.0009784388,0.0009633907,0.002306711],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009127768,"threshold_uncertainty_score":0.01859236,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05719905220997326,"score_gpt":0.2931933548371294,"score_spread":0.2359943026271561,"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."}}