{"id":"W2142604061","doi":"10.1109/cimat.1994.389054","title":"The supervisory control of the automated manufacturing system of the AIP","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":69,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Modular design; Supervisory control; Automaton; Control (management); Computer science; Supervisory control theory; Control system; Control engineering; Artificial intelligence; Engineering; Programming language","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.0006932977,0.0001177111,0.0001973102,0.00003060363,0.0002748303,0.00006213241,0.002841804,0.00005381646,0.000006532055],"category_scores_gemma":[0.00004503734,0.00004716923,0.0001513698,0.0002673645,0.00009297819,0.00009202148,0.0004211624,0.000118026,0.00001179563],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000617933,"about_ca_system_score_gemma":0.00002605401,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007261791,"about_ca_topic_score_gemma":0.00001463912,"domain_scores_codex":[0.9982641,0.0003186803,0.0004705247,0.0001939817,0.0005135718,0.0002391799],"domain_scores_gemma":[0.9977646,0.0003686093,0.0002376941,0.00151736,0.00008448157,0.00002725208],"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.00006395785,0.000626702,0.02410633,0.002673774,0.001419561,0.00002411364,0.02273168,0.3055546,0.06246676,0.4786884,0.02408439,0.07755976],"study_design_scores_gemma":[0.000273023,0.000008995223,0.002012128,0.000125511,0.000008485421,0.00002141183,0.0001709242,0.9772485,0.01965929,0.0000442264,0.0003622654,0.00006525882],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7098634,0.002132606,0.2413279,0.003823876,0.003893844,0.001536043,0.00001175659,0.001210252,0.03620028],"genre_scores_gemma":[0.9988391,0.000003743065,0.0003779787,0.00009605051,0.00002709298,0.000009823172,1.761809e-8,0.000007383261,0.0006388543],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6716939,"threshold_uncertainty_score":0.5280826,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02452625180138966,"score_gpt":0.2045571752229288,"score_spread":0.1800309234215392,"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."}}