{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003268669,0.00007755439,0.0002369858,0.00004542693,0.00006460647,0.00002330433,0.001059267,0.00003461036,0.00001068133],"category_scores_gemma":[0.0003831709,0.00003821202,0.000138001,0.0002128165,0.00004723249,0.0001631348,0.00006732198,0.00002795749,6.579721e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000426558,"about_ca_system_score_gemma":0.00004398144,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007480224,"about_ca_topic_score_gemma":0.000007911152,"domain_scores_codex":[0.9980459,0.0003716102,0.0005202547,0.0001666883,0.0007793808,0.0001161859],"domain_scores_gemma":[0.9972933,0.000922614,0.0004010802,0.0009711724,0.0003957728,0.00001604913],"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.00002849312,0.0001247548,0.0006947242,0.0002259693,0.000231165,7.850527e-8,0.001940262,0.8989542,0.009983631,0.03324978,0.0005266147,0.05404038],"study_design_scores_gemma":[0.000350831,0.0000416986,0.0002826868,0.00009826857,0.00006348843,0.000001528924,0.0001895749,0.9914989,0.007269017,0.0001285329,0.00002805444,0.00004741085],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07162546,0.0007290932,0.924099,0.0003357962,0.0005197992,0.001483705,0.00001476117,0.00001842936,0.001173925],"genre_scores_gemma":[0.9980655,0.000006383262,0.00169743,0.0000108833,0.00002504764,0.0001151243,1.004067e-7,0.000004857028,0.00007471253],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.92644,"threshold_uncertainty_score":0.1968399,"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."}}