{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001216765,0.0005363408,0.0006583943,0.0003550469,0.0003666376,0.001081544,0.001079426,0.0003756067,0.002085153],"category_scores_gemma":[0.003077948,0.0003626674,0.0009761987,0.0003708194,0.001858754,0.001695974,0.001491595,0.001102218,0.0003947737],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000796177,"about_ca_system_score_gemma":0.001071765,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00113942,"about_ca_topic_score_gemma":0.0008857302,"domain_scores_codex":[0.998929,0.0003023211,0.0000819291,0.000255635,0.0002880353,0.0001430958],"domain_scores_gemma":[0.9984186,0.0006482099,0.000263606,0.0004401873,0.0001241481,0.0001052892],"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.0003272555,0.0001666357,0.0009403782,0.0001664026,0.00007301869,0.000495609,0.0004216199,0.4434613,0.03436549,0.459643,0.0006111973,0.0593281],"study_design_scores_gemma":[0.00007840464,0.000156349,0.0001441357,0.000008304609,0.00002789672,0.00007934769,0.00003759055,0.8058326,0.01200808,0.1785297,0.003074456,0.00002309039],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02317075,0.00004771357,0.9736596,0.00006431655,0.0000291889,0.00004771584,0.00002051442,0.0002984269,0.002661787],"genre_scores_gemma":[0.7097029,0.0001682769,0.2868544,0.00007272303,0.00005607859,0.0001992842,0.00009875128,0.00009987265,0.002747677],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002085153,"threshold_uncertainty_score":0.006975532,"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."}}