{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001603191,0.00009020796,0.0001608011,0.00003667556,0.0001574117,0.0001102524,0.0006775888,0.00003126695,0.00001434003],"category_scores_gemma":[0.0006521249,0.00003637778,0.00007000184,0.0001804078,0.0001608093,0.0001669999,0.00007910029,0.00006676805,0.000001340768],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001012832,"about_ca_system_score_gemma":0.00007691672,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002292866,"about_ca_topic_score_gemma":0.00000395406,"domain_scores_codex":[0.9988756,0.0002065131,0.0002932496,0.0001666927,0.000319368,0.0001385832],"domain_scores_gemma":[0.9927436,0.006334194,0.0001529981,0.0006183379,0.0001310406,0.00001985671],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003595428,0.00001577705,0.00003923645,0.000004574257,0.00003738935,1.370946e-7,0.0002007681,0.01450325,0.00007027905,0.982511,0.001733121,0.0008485261],"study_design_scores_gemma":[0.001338067,0.00005372504,0.0001579971,0.00001252733,0.00001338931,0.00001162619,0.00004897689,0.9915592,0.0007278568,0.004150114,0.001874858,0.00005162541],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01486416,0.000242577,0.9798633,0.003649742,0.0001520647,0.0005780606,0.000009249299,0.00002168223,0.0006191823],"genre_scores_gemma":[0.9743011,0.00001159891,0.02461255,0.0008062423,0.00001663036,0.00004188012,3.510698e-7,0.00000486558,0.0002048039],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9783609,"threshold_uncertainty_score":0.1483443,"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."}}