{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004580775,0.0012086,0.0009670772,0.001400941,0.001102094,0.001552948,0.00203054,0.0006619667,0.002104971],"category_scores_gemma":[0.009829726,0.0006967554,0.002439807,0.0008518273,0.001907808,0.001684912,0.001372513,0.001586686,0.0002326571],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003929313,"about_ca_system_score_gemma":0.009586096,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.04846383,"about_ca_topic_score_gemma":0.04347978,"domain_scores_codex":[0.996632,0.0009273534,0.0001958578,0.0005937235,0.001281874,0.0003692146],"domain_scores_gemma":[0.9940935,0.003446186,0.0005728206,0.0004388103,0.001271777,0.0001768951],"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.0001057765,0.00006382449,0.0009005529,0.0001364467,0.00003864998,0.0001672123,0.00009442296,0.9465306,0.005525833,0.03128497,0.0003180891,0.0148335],"study_design_scores_gemma":[0.00001336032,0.00002124264,0.00009801304,0.00001023436,0.00001472008,0.00001164606,0.000009203817,0.9916955,0.003391281,0.004319573,0.0004076081,0.000007600803],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02530468,0.000080074,0.971429,0.0001333962,0.00005611314,0.0002124237,0.0001191906,0.0007497977,0.001915377],"genre_scores_gemma":[0.6701107,0.0002262155,0.3264675,0.0001159222,0.00001998234,0.000325648,0.0003267614,0.0001692836,0.002237942],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.04846383,"threshold_uncertainty_score":0.09636348,"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."}}