{"id":"W2431448757","doi":"10.1109/wodes.2016.7497834","title":"Graph transformation as a modelling framework for supervisory control","year":2016,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Graph rewriting; Computer science; Model transformation; Theoretical computer science; Automaton; Supervisory control; Rewriting; Graph; Wait-for graph; Programming language; Control (management); Artificial intelligence","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.0002063837,0.000112336,0.0001220699,0.0001004184,0.000051344,0.00004663638,0.0004601884,0.00009697676,0.00001020887],"category_scores_gemma":[0.000006968104,0.00007751442,0.00009280465,0.0001110738,0.00001373526,0.0006463859,0.00001860239,0.00005695511,0.00001683563],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002552149,"about_ca_system_score_gemma":0.0000204308,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008771102,"about_ca_topic_score_gemma":4.314576e-7,"domain_scores_codex":[0.9992208,0.00001451757,0.000182715,0.0002135568,0.0001457139,0.0002226343],"domain_scores_gemma":[0.999294,0.0001776163,0.00002483974,0.0003633126,0.00007767633,0.00006256788],"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.000005195675,0.000009517062,0.00000721675,0.000009812599,0.000007467538,2.637078e-7,0.0002390108,0.003996226,0.0003329274,0.9455959,0.0000845012,0.04971193],"study_design_scores_gemma":[0.0003106967,0.00006912331,0.000004524098,0.00005655322,0.000003635776,0.000002945776,0.000001057122,0.6176599,0.005450999,0.3677334,0.008556147,0.0001510354],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007849468,0.00002974826,0.9957579,0.001446009,0.0001049451,0.0003733803,0.000004292376,0.001376301,0.0001224968],"genre_scores_gemma":[0.3607712,0.00001688914,0.6388449,0.0001976382,0.00002014701,0.0001046943,3.994463e-7,0.000008292332,0.00003583583],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6136637,"threshold_uncertainty_score":0.3160946,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02843498888813246,"score_gpt":0.2413146055209145,"score_spread":0.2128796166327821,"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."}}