{"id":"W4402264007","doi":"10.23919/acc60939.2024.10644910","title":"Limited-Capacity Supervisors for Discrete-Event Systems","year":2024,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Discrete event simulation; Event (particle physics); Simulation; Physics","routes":{"ca_aff":true,"ca_fund":true,"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.001929892,0.0006416209,0.0006349849,0.0005058067,0.000514055,0.001462558,0.001329578,0.0007171558,0.002953472],"category_scores_gemma":[0.007694849,0.0004882481,0.0005971481,0.0005169301,0.002079041,0.002394162,0.00171909,0.002160162,0.0003117884],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009138719,"about_ca_system_score_gemma":0.001249073,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009352535,"about_ca_topic_score_gemma":0.001131412,"domain_scores_codex":[0.9984914,0.0005464713,0.0001230867,0.000256799,0.0004676843,0.0001145457],"domain_scores_gemma":[0.9928889,0.005182562,0.0005232204,0.0006624813,0.0004156115,0.0003271258],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009680343,0.00005494578,0.0004596128,0.000214677,0.00003107961,0.0002756828,0.0003135601,0.3851798,0.004562614,0.5899209,0.001164338,0.01772592],"study_design_scores_gemma":[0.00003977806,0.00003635205,0.0000961491,0.00003784271,0.00001107634,0.00005694049,0.00004796329,0.6525877,0.00256499,0.340483,0.004020462,0.00001766593],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01156882,0.0002447817,0.9826868,0.0002800695,0.00004006295,0.00005794125,0.0001061456,0.0003984932,0.004616961],"genre_scores_gemma":[0.7927296,0.0005283419,0.2025312,0.000141018,0.000129815,0.000344086,0.0002661752,0.000104191,0.003225508],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002953472,"threshold_uncertainty_score":0.0102064,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05405998462120914,"score_gpt":0.2812311289979326,"score_spread":0.2271711443767235,"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."}}