{"id":"W2246713304","doi":"10.1109/tencon.2015.7373027","title":"Exploiting symmetry of discrete-event systems with parallel components by relabeling","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":"University of Toronto","funders":"China Scholarship Council","keywords":"Arithmetic underflow; Computer science; Control reconfiguration; Event (particle physics); Component (thermodynamics); Supervisor; Feature (linguistics); Algorithm; Parallel computing; Distributed computing; Embedded system; Operating system","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.0009699775,0.0001908196,0.0003616271,0.0001217655,0.00006904239,0.0001261488,0.0009569633,0.00006578862,9.11955e-7],"category_scores_gemma":[0.00005247479,0.0001443477,0.0000443233,0.0004464592,0.00003412734,0.0005651604,0.0003316535,0.0001334878,0.00002064355],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001107361,"about_ca_system_score_gemma":0.00006966485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003536147,"about_ca_topic_score_gemma":0.000002786431,"domain_scores_codex":[0.9976309,0.0001398536,0.0005898438,0.0004376686,0.0008416265,0.0003601018],"domain_scores_gemma":[0.9984428,0.0001140143,0.0003132538,0.0007051105,0.0002117218,0.0002130702],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002358136,0.0009563331,0.05070027,0.001225057,0.000765035,0.0001993241,0.01072279,0.6488355,0.01628362,0.236927,0.0234487,0.009700554],"study_design_scores_gemma":[0.001074838,0.0001542219,0.00002857034,0.0005282444,0.00001073109,0.00006867525,0.00123272,0.9947696,0.0009285159,0.0001946199,0.0006753723,0.0003338808],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08885378,0.0009558286,0.9051569,0.000100761,0.0004043366,0.0002096562,0.00000297486,0.000190795,0.004125001],"genre_scores_gemma":[0.9198251,0.000006314786,0.07969036,0.00003538598,0.0000485701,0.00001921354,0.000004646128,0.00001776557,0.0003526359],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8309713,"threshold_uncertainty_score":0.5886328,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04791119713054175,"score_gpt":0.2620036392056687,"score_spread":0.2140924420751269,"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."}}