{"id":"W2244449293","doi":"10.1109/smc.2015.33","title":"Behavior Composition Meets Supervisory Control","year":2015,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; sort; Artifact (error); Software engineering; Software; Software development; Software agent; Software system; Component-based software engineering; Software evolution; Software construction; Artificial intelligence; Programming language","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.0004083166,0.00009201203,0.0001327619,0.00007887727,0.00004962513,0.0001203833,0.0006285638,0.00004949811,0.000009703659],"category_scores_gemma":[0.00001114837,0.00008150364,0.00003876522,0.00017027,0.00001578833,0.0004985118,0.0001144995,0.00006205517,0.0002236425],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006982629,"about_ca_system_score_gemma":0.00005565811,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004228016,"about_ca_topic_score_gemma":0.000004245725,"domain_scores_codex":[0.9989303,0.00008373416,0.0001993381,0.0002507771,0.0003391547,0.00019668],"domain_scores_gemma":[0.999159,0.0000378743,0.00003711875,0.0004658258,0.0001452041,0.0001549722],"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.0000866932,0.001477714,0.03134421,0.0000648171,0.0001332801,0.0005433877,0.006973884,0.01738907,0.07910039,0.67216,0.04735169,0.1433749],"study_design_scores_gemma":[0.00312269,0.0001805736,0.002492398,0.00003531231,0.00002627446,0.0002461592,0.0001068185,0.9811067,0.004341616,0.001262374,0.006532541,0.0005465441],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05917282,0.0001659659,0.9291302,0.0007028895,0.0006325635,0.0001742291,0.000001439037,0.0003563215,0.009663552],"genre_scores_gemma":[0.948199,8.734044e-7,0.05103123,0.0004919568,0.00006641469,0.00002919087,0.000001461133,0.000005908904,0.000174002],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9637176,"threshold_uncertainty_score":0.3323622,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07594076959612092,"score_gpt":0.2711789819257784,"score_spread":0.1952382123296575,"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."}}