{"id":"W2387482908","doi":"","title":"Application of Net Reduction to Feedback Controller Design of Petri Nets","year":2003,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"CAE (Canada)","funders":"","keywords":"Petri net; Computer science; Net (polyhedron); Reduction (mathematics); Stochastic Petri net; Controller (irrigation); Set (abstract data type); Algorithm; Mathematical optimization; Mathematics; Programming language","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.0008007342,0.0008953115,0.0006650026,0.0006408533,0.0005773522,0.0006062479,0.0009120965,0.0004380017,0.00159762],"category_scores_gemma":[0.001219837,0.000450254,0.0009361146,0.0003844685,0.001128141,0.0006943286,0.0009787434,0.001115019,0.0002253684],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007454999,"about_ca_system_score_gemma":0.001075865,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002082299,"about_ca_topic_score_gemma":0.002052501,"domain_scores_codex":[0.9994307,0.0001416734,0.00003029289,0.000122937,0.0002219424,0.00005238247],"domain_scores_gemma":[0.999553,0.0002787568,0.00002765375,0.00004073006,0.00008133238,0.00001838802],"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.0001523614,0.00008234565,0.0003445391,0.0002977921,0.00007663113,0.0002827858,0.0002224524,0.7129455,0.0388388,0.1053836,0.000807658,0.1405655],"study_design_scores_gemma":[0.00002622916,0.0001063164,0.00008627804,0.00001468164,0.00002485566,0.00004830164,0.00001615548,0.937256,0.01727162,0.04140995,0.00372599,0.00001366234],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005686416,0.0000661111,0.9919694,0.00003372068,0.00002537895,0.00004549256,0.00001080269,0.0003096531,0.001853067],"genre_scores_gemma":[0.3941791,0.0003617942,0.6010594,0.00007726509,0.00005959957,0.0002757735,0.00009548003,0.0001756006,0.003715965],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002082299,"threshold_uncertainty_score":0.005409062,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02801161028059583,"score_gpt":0.2551707551938701,"score_spread":0.2271591449132743,"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."}}