{"id":"W2143384647","doi":"10.1109/pnpm.1999.796564","title":"On the rational use of Petri nets, automata and the max algebra for the optimal control of DEDS","year":2003,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Group for Research in Decision Analysis","funders":"","keywords":"Petri net; Liveness; Automaton; Stochastic Petri net; Computer science; Optimal control; Nondeterministic algorithm; Automata theory; Algebra over a field; Finite-state machine; Theoretical computer science; Mathematics; Algorithm; Mathematical optimization; Pure mathematics","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.002643833,0.0005914583,0.0006278696,0.0007509646,0.0008803583,0.001816478,0.0008510497,0.0006187969,0.002156121],"category_scores_gemma":[0.003709898,0.0003404783,0.0009540633,0.0004758684,0.005468546,0.003016755,0.001754224,0.00107261,0.000235409],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001608457,"about_ca_system_score_gemma":0.001307476,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002151564,"about_ca_topic_score_gemma":0.002920818,"domain_scores_codex":[0.9989256,0.00043358,0.00008593579,0.0001948769,0.0002629909,0.00009700938],"domain_scores_gemma":[0.9985964,0.0008449301,0.0001568728,0.0001705772,0.0001279091,0.000103425],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002474998,0.000009737018,0.000080945,0.00002026267,0.00000654539,0.0000334218,0.00009919509,0.03144024,0.0009444825,0.9620548,0.0001242478,0.005161445],"study_design_scores_gemma":[0.00001320394,0.00002475541,0.00005746345,0.00001883684,0.000007087784,0.00001979434,0.00004148235,0.1440448,0.0007700823,0.8530107,0.001973838,0.00001806882],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03048092,0.0007540668,0.9462011,0.0008483669,0.00007158679,0.00004321497,0.00003653061,0.0001293392,0.0214348],"genre_scores_gemma":[0.8228059,0.0009017723,0.1707762,0.0002352732,0.0001111866,0.0001602129,0.00004057598,0.00008335152,0.004885614],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002643833,"threshold_uncertainty_score":0.01398212,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03449765575154701,"score_gpt":0.2431886567655334,"score_spread":0.2086910010139864,"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."}}