{"id":"W4403864194","doi":"10.23919/annsim61499.2024.10732500","title":"DEVS Formal Modeling and Simulation in Manufacturing Systems","year":2024,"lang":"en","type":"article","venue":"","topic":"Flexible and Reconfigurable Manufacturing Systems","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"DEVS; Computer science; Formal verification; Software engineering; Formal methods; Systems engineering; Modeling and simulation; Programming language; Simulation; Engineering","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.00224145,0.0009717237,0.0008341355,0.001165413,0.0006713741,0.001978803,0.001595607,0.001134441,0.004255613],"category_scores_gemma":[0.005159109,0.0007315309,0.001951872,0.0009412842,0.002200477,0.001920191,0.001896861,0.002043521,0.0007637598],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00145864,"about_ca_system_score_gemma":0.001828256,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006619298,"about_ca_topic_score_gemma":0.005013891,"domain_scores_codex":[0.9983302,0.0007809181,0.0001632981,0.0001607385,0.0004510079,0.0001138297],"domain_scores_gemma":[0.9969433,0.002138219,0.0001739121,0.00039527,0.0002695924,0.0000798202],"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.00002348899,0.00002755191,0.00047805,0.0001374065,0.00002813946,0.0001439896,0.0001285005,0.6808352,0.001183422,0.303213,0.0009095712,0.01289165],"study_design_scores_gemma":[0.00001545893,0.00001482225,0.00006429092,0.00003755249,0.000009511558,0.00004228176,0.0000205357,0.9106588,0.001410714,0.07578406,0.01193081,0.00001120201],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003379225,0.0002311437,0.9913156,0.0002018645,0.0000526788,0.00005703307,0.0002065086,0.0007141393,0.003841787],"genre_scores_gemma":[0.2634184,0.001632289,0.7249383,0.0002526438,0.0001313968,0.0006919067,0.001257941,0.0005815805,0.007095521],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006619298,"threshold_uncertainty_score":0.01423645,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01389492858934883,"score_gpt":0.2206048207383781,"score_spread":0.2067098921490293,"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."}}