{"id":"W4254050426","doi":"10.1007/bfb0006306","title":"Supervisory control of a class of discrete event processes","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in control and information sciences","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":99,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisor; Asynchronous communication; Supervisory control; Computer science; Class (philosophy); Event (particle physics); Controller (irrigation); Formal language; Grammar; Generator (circuit theory); Process (computing); Control (management); Supervisory control theory; Programming language; Discrete event dynamic system; Theoretical computer science; Control theory (sociology); Control engineering; Artificial intelligence; Discrete system; Engineering; Linguistics","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.001038787,0.0002581941,0.0006173568,0.0005981844,0.00008636463,0.0001264208,0.0009003617,0.0002261256,0.00001204895],"category_scores_gemma":[0.0004206155,0.0001922917,0.00008830641,0.0002844167,0.0003467898,0.002393299,0.0001036009,0.0002147456,0.0000036504],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003786257,"about_ca_system_score_gemma":0.000403509,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002713248,"about_ca_topic_score_gemma":0.00005558147,"domain_scores_codex":[0.9975837,0.0000369703,0.001103028,0.0002691557,0.0007684528,0.0002386883],"domain_scores_gemma":[0.9976659,0.0007274067,0.0008619994,0.0003060496,0.0003832865,0.00005532507],"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.0001346642,0.00003654679,0.0009989038,0.001807058,0.0001252823,0.000002253532,0.007448239,0.2024138,0.0002824494,0.2109202,0.00002882419,0.5758017],"study_design_scores_gemma":[0.002686141,0.0004730054,0.0001940691,0.001407786,0.00004483127,0.00003174386,0.00003472514,0.9442235,0.0004782296,0.0263893,0.02338691,0.0006497435],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001820512,0.00430022,0.9696112,0.0009486272,0.000187079,0.0004364813,0.00005283026,0.00003032198,0.02425115],"genre_scores_gemma":[0.9960015,0.0003331758,0.002820411,0.0006691322,0.00005960251,0.00001380452,0.000003159937,0.000004859123,0.00009436577],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9958194,"threshold_uncertainty_score":0.7841429,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01812401699355516,"score_gpt":0.2411339933187881,"score_spread":0.2230099763252329,"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."}}