{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00103387,0.0008254597,0.0005783326,0.0007248023,0.0005125334,0.001442437,0.001536913,0.00116559,0.002878532],"category_scores_gemma":[0.001283914,0.0004917036,0.00120141,0.0005742706,0.002633555,0.001887516,0.001217939,0.002357397,0.00101388],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008093524,"about_ca_system_score_gemma":0.001386067,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00339954,"about_ca_topic_score_gemma":0.003253946,"domain_scores_codex":[0.9989047,0.0003644633,0.00006620053,0.0002335988,0.0003532472,0.00007770919],"domain_scores_gemma":[0.9993411,0.0002849834,0.00006140822,0.0001808142,0.00009867454,0.00003315247],"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.00004133851,0.00003041722,0.0001272829,0.0001633148,0.00002724931,0.0002771353,0.0005197435,0.1293119,0.0136722,0.8241226,0.00155684,0.03014989],"study_design_scores_gemma":[0.00004192483,0.0001110508,0.00009529293,0.00007854281,0.00004282126,0.0002356624,0.0001221037,0.3413073,0.01164117,0.5746327,0.07164375,0.00004766389],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001600379,0.000122178,0.9950021,0.0001454594,0.00003958411,0.00003600882,0.00003957467,0.0008186953,0.002195949],"genre_scores_gemma":[0.2058413,0.0008317353,0.7853829,0.000204466,0.00008027266,0.0003562754,0.0002861326,0.0006493475,0.006367576],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00339954,"threshold_uncertainty_score":0.009629607,"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."}}