{"id":"W1601014517","doi":"10.1007/978-3-642-18098-9_2","title":"A Summary of Some Discrete-Event System Control Problems","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Decidability; Computer science; Automaton; Event (particle physics); Process (computing); Control (management); Formal language; Key (lock); Regular language; Discrete event dynamic system; Theoretical computer science; Distributed computing; Algorithm; Programming language; Discrete system; Artificial intelligence; Computer security","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":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.00208009,0.0007329649,0.001219469,0.001199545,0.000188864,0.0002741801,0.0060007,0.0004548053,0.000006172084],"category_scores_gemma":[0.00006136039,0.00063257,0.0002962295,0.0006399141,0.0006895742,0.0009357807,0.001721271,0.0007905409,0.00003422259],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005752859,"about_ca_system_score_gemma":0.0007629402,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007563426,"about_ca_topic_score_gemma":0.00002727436,"domain_scores_codex":[0.9941108,0.0001007916,0.001349168,0.001902308,0.001633362,0.0009035421],"domain_scores_gemma":[0.9953943,0.000468168,0.0009748906,0.002517208,0.0003992964,0.000246108],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003561315,0.0001107416,0.0001729512,0.00165769,0.0001326273,0.0003033875,0.003219378,0.2830632,0.0007072203,0.3731011,0.00005316959,0.337443],"study_design_scores_gemma":[0.0006689435,0.0002998424,0.0000261298,0.004415969,0.00002605907,0.0001663133,3.535563e-7,0.9130187,0.0007781103,0.07912534,0.0005219176,0.0009522971],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00003512449,0.00239483,0.9890173,0.0001392849,0.002891708,0.0008957452,0.00001974895,0.0002560757,0.004350188],"genre_scores_gemma":[0.8719685,0.00004948781,0.1267141,0.0003230773,0.0005163586,0.0000354012,0.00000333487,0.0000627811,0.0003269613],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8719334,"threshold_uncertainty_score":0.9996126,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01974524477320751,"score_gpt":0.2293628391256533,"score_spread":0.2096175943524458,"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."}}