{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007418011,0.0001612572,0.0001981661,0.0001651007,0.000101339,0.0007460407,0.0008729757,0.0000788891,0.000007264137],"category_scores_gemma":[0.00005065475,0.0001248661,0.0001458449,0.0004693978,0.00001869482,0.000640789,0.0002055967,0.000107244,0.0001278553],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001041861,"about_ca_system_score_gemma":0.00006060846,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006725927,"about_ca_topic_score_gemma":0.000007125112,"domain_scores_codex":[0.9983534,0.00006041413,0.0003558518,0.0005486847,0.000325521,0.0003561308],"domain_scores_gemma":[0.998838,0.0003050859,0.00002983578,0.0006408847,0.00007982335,0.0001063844],"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.000004169417,0.00003877435,0.00009878319,0.000785474,0.00009157142,0.00001972211,0.00181581,0.01394137,0.0009446485,0.953626,0.01451878,0.01411489],"study_design_scores_gemma":[0.00008661805,0.00004600032,0.000009021085,0.000168721,0.000006508477,0.0000353582,0.00007694792,0.9621121,0.0003299074,0.001430958,0.03551434,0.000183464],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01050806,0.001473271,0.9788774,0.0007702321,0.003362471,0.0004243859,0.00001212255,0.0008897682,0.003682293],"genre_scores_gemma":[0.9635933,0.00001367443,0.03362029,0.00008813256,0.0002568175,0.0001251049,0.00000279376,0.00001893128,0.002280965],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9530852,"threshold_uncertainty_score":0.7194087,"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."}}