{"id":"W2153779413","doi":"10.1109/wodes.2006.1678401","title":"Supervisory Control of Flowlines by Modelling the Legal Language As Inequalities","year":2006,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Modular design; Inequality; Computer science; Set (abstract data type); Class (philosophy); Control (management); Architecture; Space (punctuation); State (computer science); State space; Event (particle physics); Supervisory control; Programming language; Theoretical computer science; Artificial intelligence; Mathematics; 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.0005350945,0.0001230795,0.000199615,0.00005997213,0.00008210211,0.0001132069,0.0008732235,0.00004655787,0.00001427977],"category_scores_gemma":[0.00001932113,0.00008013404,0.00007340902,0.0001984099,0.00004378135,0.0003632496,0.0001040556,0.00008662529,0.00001707313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001660344,"about_ca_system_score_gemma":0.00004659869,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005732659,"about_ca_topic_score_gemma":0.00004538589,"domain_scores_codex":[0.9986902,0.0001116337,0.0003967485,0.0002209907,0.0003546632,0.0002257848],"domain_scores_gemma":[0.9990073,0.0002548546,0.00007893425,0.0005363183,0.00009646254,0.00002611026],"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.00001248369,0.00007988875,0.0002110977,0.00005462679,0.00003431817,0.00001063996,0.002788559,0.575753,0.01296925,0.4020775,0.004172805,0.00183581],"study_design_scores_gemma":[0.0002816405,0.00001755169,0.000002062957,0.00001644298,0.000004269838,0.000009702822,0.0004587667,0.9886628,0.007259455,0.001486507,0.001688779,0.0001119762],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1487258,0.001899037,0.8404409,0.0004769824,0.0001564959,0.00009825135,0.000007572116,0.0001172871,0.008077685],"genre_scores_gemma":[0.9875748,0.000006453452,0.008802095,0.0003080749,0.0001335499,0.00001017275,0.000002571844,0.000008927798,0.003153359],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.838849,"threshold_uncertainty_score":0.8666104,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02435842215821733,"score_gpt":0.2364297727172488,"score_spread":0.2120713505590315,"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."}}