{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003068823,0.001345334,0.0007197504,0.00191197,0.001408488,0.005339134,0.002366088,0.001515517,0.005359566],"category_scores_gemma":[0.007147965,0.0008780705,0.002304981,0.001913494,0.0103973,0.008439112,0.002449043,0.005473348,0.000919509],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00330327,"about_ca_system_score_gemma":0.001838234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002614333,"about_ca_topic_score_gemma":0.001886423,"domain_scores_codex":[0.996855,0.001047541,0.0002428247,0.0006830788,0.0008907195,0.0002809398],"domain_scores_gemma":[0.9942045,0.004089403,0.000425093,0.0006368259,0.0004033938,0.0002408152],"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.00001924398,0.00001283919,0.0001098937,0.0001112426,0.000009838954,0.0001064284,0.0001095956,0.01062986,0.0007972582,0.9826151,0.0004177541,0.005060795],"study_design_scores_gemma":[0.00001877728,0.0000305473,0.00008109106,0.00006018182,0.00001720834,0.00009592505,0.00006257793,0.03594344,0.001106749,0.9509139,0.01165493,0.00001464664],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006137711,0.001461098,0.9747407,0.001882064,0.0002114847,0.00006049699,0.0002890378,0.000274681,0.01494277],"genre_scores_gemma":[0.3520688,0.00478323,0.6287934,0.001680774,0.001331204,0.0006227904,0.0008052107,0.0002728034,0.009641833],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005359566,"threshold_uncertainty_score":0.02396703,"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."}}