{"id":"W63786410","doi":"10.1007/978-3-642-38697-8_8","title":"On Multi-enabledness in Time Petri Nets","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Petri net; Computer science; Bisimulation; Semantics (computer science); Focus (optics); Theoretical computer science; State space; Stochastic Petri net; State (computer science); Time complexity; Algorithm; Programming language; Discrete mathematics; Mathematics; Physics","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.003125305,0.001504189,0.00114376,0.002224178,0.00108776,0.00219241,0.002030723,0.001240152,0.003936998],"category_scores_gemma":[0.007020087,0.001106433,0.002208495,0.00307588,0.004064434,0.006967783,0.002816715,0.005838774,0.0005814221],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002218126,"about_ca_system_score_gemma":0.0009295369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002285131,"about_ca_topic_score_gemma":0.002085546,"domain_scores_codex":[0.9980532,0.0005150232,0.0001902161,0.0004080348,0.0006250504,0.0002084444],"domain_scores_gemma":[0.993108,0.005437565,0.0003065421,0.0004203778,0.0004839645,0.0002435335],"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.00004544803,0.00002355668,0.0002323348,0.0001942917,0.00002753323,0.0002676624,0.0003191452,0.02786112,0.001261258,0.948759,0.0007361029,0.02027259],"study_design_scores_gemma":[0.000008441612,0.00001558609,0.0001135581,0.00006478655,0.00001913249,0.00008544171,0.00003427237,0.03221438,0.0004645605,0.9635456,0.003420825,0.00001339616],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0179587,0.008259319,0.9311122,0.0008106825,0.0006589329,0.00006585619,0.0001178542,0.0002120939,0.04080424],"genre_scores_gemma":[0.6012567,0.01583237,0.3507882,0.0009650759,0.001814149,0.0004319612,0.0005371692,0.0003920431,0.02798237],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003936998,"threshold_uncertainty_score":0.01652843,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02431149532603585,"score_gpt":0.2480266088327658,"score_spread":0.2237151135067299,"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."}}