{"id":"W2886052689","doi":"10.1007/978-3-319-77452-7_3","title":"Supervision of Discrete-Event Systems: Basics","year":2018,"lang":"en","type":"book-chapter","venue":"Communications and control engineering/Communications and control engineering series","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisor; Mutual exclusion; Computer science; Control reconfiguration; Event (particle physics); State (computer science); Controller (irrigation); Generator (circuit theory); Set (abstract data type); Distributed computing; Computation; Software; Supervisory control; Control (management); Theoretical computer science; Control engineering; Programming language; Engineering; Embedded system; Artificial intelligence; Power (physics)","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"],"consensus_categories":[],"category_scores_codex":[0.0007786384,0.0007123616,0.001180642,0.0004985497,0.0004116902,0.0003618232,0.004040695,0.0004240845,0.000007935024],"category_scores_gemma":[0.0001005742,0.0007386636,0.0002200073,0.0002005583,0.000376109,0.0006505264,0.001825409,0.0007455239,0.000007743288],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000106541,"about_ca_system_score_gemma":0.0001128699,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003811627,"about_ca_topic_score_gemma":0.00001586433,"domain_scores_codex":[0.997255,0.00008927453,0.001287666,0.0005662863,0.0003649988,0.000436753],"domain_scores_gemma":[0.9903314,0.0008490609,0.00047871,0.007581421,0.0005211035,0.00023837],"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.00002121743,0.00005915092,0.00002793092,0.0005055055,0.0006663902,0.000002422448,0.0006253246,0.01155577,0.0007147301,0.9798983,0.0000663352,0.005856969],"study_design_scores_gemma":[0.0009476748,0.0001853355,0.00005252497,0.0009635512,0.0001895261,0.00006692061,0.00004841434,0.8047256,0.00000544317,0.0006294815,0.1915358,0.000649688],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00005709226,0.11408,0.8777015,0.001720502,0.0003863308,0.001036651,0.000280994,0.000480009,0.004256962],"genre_scores_gemma":[0.9258276,0.02907432,0.04075525,0.00005327136,0.0001425105,0.0003683163,0.00008469435,0.0001519866,0.003541994],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9792688,"threshold_uncertainty_score":0.9995064,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01329774457145057,"score_gpt":0.2162039997665423,"score_spread":0.2029062551950917,"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."}}