{"id":"W2078272095","doi":"10.1243/0954405011515415","title":"A software environment for flexible manufacturing system control software testing","year":2001,"lang":"en","type":"article","venue":"Proceedings of the Institution of Mechanical Engineers Part B Journal of Engineering Manufacture","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Software construction; Computer science; Software development; Software engineering; System integration testing; Software reliability testing; Software; Task (project management); Petri net; Software system; Verification and validation; Real-time Control System Software; Embedded system; Systems engineering; Engineering; Operating system; Distributed computing","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001108542,0.0003245878,0.0006588113,0.0002884691,0.0001131299,0.00005816847,0.001447411,0.0002027894,0.000002050459],"category_scores_gemma":[0.001026819,0.0002466643,0.0003715749,0.000285912,0.00003716182,0.000613641,0.0001827559,0.0004490794,8.43944e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002923536,"about_ca_system_score_gemma":0.00007282602,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002210516,"about_ca_topic_score_gemma":6.488614e-8,"domain_scores_codex":[0.9974017,0.000009645389,0.001140018,0.0002833242,0.0007628809,0.0004024057],"domain_scores_gemma":[0.9978775,0.0002981006,0.001009998,0.0002678378,0.0003804094,0.0001661812],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00005718804,0.00004782154,0.00006461702,0.0008869174,0.0001555493,0.000004939092,0.00009168784,0.9813162,0.008264753,0.006834841,0.0001145328,0.002160927],"study_design_scores_gemma":[0.003959225,0.0006952199,0.0002854932,0.004991044,0.0003395078,0.001518911,0.0001632375,0.474643,0.5024334,0.001316936,0.008779315,0.0008746357],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04975243,0.0002736128,0.9480588,0.000126098,0.001209312,0.0003886625,0.00001183115,0.0001602606,0.00001899616],"genre_scores_gemma":[0.7980519,0.0000134056,0.2016429,0.00001858256,0.0002205057,0.00001499429,3.728765e-7,0.00002400599,0.00001333768],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7482995,"threshold_uncertainty_score":0.9999986,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01630161389274785,"score_gpt":0.2016303899601379,"score_spread":0.1853287760673901,"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."}}