{"id":"W3080796873","doi":"10.1155/2020/2162869","title":"Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions","year":2020,"lang":"en","type":"article","venue":"Discrete Dynamics in Nature and Society","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"Hong Kong Polytechnic University; Department of Education of Liaoning Province; Natural Science Foundation of Liaoning Province; National Natural Science Foundation of China","keywords":"Workflow; Computer science; Six Sigma; Process (computing); Systems engineering; Petri net; Variety (cybernetics); Slicing; Time constraint; Resource (disambiguation); Manufacturing engineering; Industrial engineering; Distributed computing; Engineering; Database; 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.0002781955,0.00009909014,0.0001610558,0.00002444369,0.00009609036,0.00003647926,0.0001735911,0.0001305567,2.23335e-7],"category_scores_gemma":[0.00004887373,0.00007768946,0.00006411404,0.0001586687,0.00006425429,0.0001075678,0.00009866373,0.0001704876,4.123115e-8],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007462421,"about_ca_system_score_gemma":0.00005128696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001877638,"about_ca_topic_score_gemma":0.00001791593,"domain_scores_codex":[0.9992055,0.00003018921,0.0002343227,0.0002470912,0.0001717814,0.0001111083],"domain_scores_gemma":[0.999258,0.0002461856,0.0001914725,0.0001908839,0.00007499525,0.00003839906],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001365254,0.0005871901,0.003187903,0.003600693,0.0009040567,0.000005315039,0.1058706,0.2182152,0.4736587,0.1006259,0.000977563,0.09100164],"study_design_scores_gemma":[0.0004651858,0.0001526215,0.0005211422,0.00005488126,0.00001502538,4.155067e-7,0.001179143,0.970122,0.02718666,0.000187333,0.0000373894,0.00007816739],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5980451,0.0001743749,0.3992085,0.00183551,0.00006958362,0.0005157565,0.00005058451,0.00001656992,0.00008399982],"genre_scores_gemma":[0.9841798,0.0000522815,0.01553045,0.0001614166,0.00001490969,0.00001279533,0.0000310107,0.000005653661,0.00001171311],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7519068,"threshold_uncertainty_score":0.3168084,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01371220147649409,"score_gpt":0.2492643559472124,"score_spread":0.2355521544707183,"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."}}