{"id":"W2047124927","doi":"10.1016/s0278-6125(02)90011-7","title":"Formal modeling methodologies for control of manufacturing cells: Survey and comparison","year":2002,"lang":"en","type":"article","venue":"Journal of Manufacturing Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Control (management); Engineering; Industrial engineering; Manufacturing engineering; Computer science; 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.006147412,0.000290268,0.001141177,0.0004273385,0.0001690597,0.0002576986,0.001079652,0.0001602386,0.000001709085],"category_scores_gemma":[0.0002153798,0.0002367461,0.000217822,0.00007952088,0.00003858085,0.001061674,0.0001902612,0.0003258949,0.000001474009],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001117278,"about_ca_system_score_gemma":0.00002773073,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007599452,"about_ca_topic_score_gemma":0.000006348026,"domain_scores_codex":[0.9961765,0.000586862,0.001789381,0.0003207135,0.0006124982,0.0005140875],"domain_scores_gemma":[0.9956461,0.001862328,0.001606554,0.0004576589,0.0002770452,0.000150353],"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.00008973154,0.00004405352,0.0004137666,0.0006035165,0.0002040758,0.0000113784,0.001014667,0.9864537,0.0008505933,0.0001086567,0.0001980411,0.01000779],"study_design_scores_gemma":[0.001459787,0.0002361082,0.000306144,0.0003093817,0.00003587485,0.0002139631,0.0002826564,0.932938,0.06358777,0.0001580186,0.0002219031,0.0002504184],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.327865,0.002324424,0.6681615,0.00003456547,0.001287997,0.0002471244,0.000009720279,0.00003258056,0.00003708438],"genre_scores_gemma":[0.9526815,0.00008372514,0.04693013,0.00001685452,0.000219571,0.000007502778,4.141594e-7,0.00002258825,0.00003767328],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6248165,"threshold_uncertainty_score":0.9654226,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1398644363181047,"score_gpt":0.3124186766381532,"score_spread":0.1725542403200485,"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."}}