{"id":"W2745248131","doi":"10.1145/3105908","title":"The Logical View on Continuous Petri Nets","year":2017,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"Centre National de la Recherche Scientifique; Agence Nationale de la Recherche","keywords":"Petri net; Decidability; Reachability; Reachability problem; Stochastic Petri net; Computer science; Process architecture; Theoretical computer science; Mathematics; Algorithm; Discrete 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":["sts"],"consensus_categories":[],"category_scores_codex":[0.0005463752,0.0002094021,0.0002188704,0.00009923853,0.002594254,0.0008117406,0.003037047,0.00009122946,0.00002416493],"category_scores_gemma":[0.0002286095,0.0001440728,0.0001554812,0.000174355,0.0001556892,0.0003120659,0.00005693892,0.000350631,0.0004357084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008962519,"about_ca_system_score_gemma":0.00008367198,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001123791,"about_ca_topic_score_gemma":0.000007730699,"domain_scores_codex":[0.9979905,0.0001574192,0.0003587525,0.0005161989,0.0006440579,0.0003330343],"domain_scores_gemma":[0.99625,0.00165864,0.0002177454,0.001587485,0.0001805855,0.0001055344],"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.00003957665,0.0002362594,0.00003787897,0.000007977594,0.00005945072,0.00004805631,0.00009993802,0.4522096,0.00001228758,0.1822412,0.0006598516,0.364348],"study_design_scores_gemma":[0.001388345,0.000779273,0.009395226,0.0001435622,0.00002324699,0.0002153616,0.00003596058,0.5929594,0.0001048388,0.3678587,0.02644487,0.000651195],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002019957,0.0001475564,0.9791844,0.01295728,0.001260298,0.0002400912,0.000008441206,0.0001957878,0.003986113],"genre_scores_gemma":[0.954999,0.00004631367,0.04295668,0.001432085,0.00007921986,0.00004365019,0.000002687887,0.00001066686,0.0004297433],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.952979,"threshold_uncertainty_score":0.9987043,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0655201784738755,"score_gpt":0.3138251653201195,"score_spread":0.248304986846244,"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."}}