{"id":"W1195199320","doi":"10.1007/978-3-319-19488-2_4","title":"On Interval Process Semantics of Petri Nets with Inhibitor Arcs","year":2015,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Petri net; Operational semantics; Semantics (computer science); Computer science; Programming language; Process architecture; Process (computing); Theoretical computer science","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.002446528,0.00136265,0.0009130546,0.001393564,0.001033934,0.003404628,0.002542385,0.001196858,0.005045424],"category_scores_gemma":[0.003774458,0.0007885679,0.001988776,0.002163411,0.002752268,0.007121341,0.00193367,0.004236441,0.001199345],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002084063,"about_ca_system_score_gemma":0.001195416,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002750692,"about_ca_topic_score_gemma":0.00200107,"domain_scores_codex":[0.9984096,0.0004135684,0.0001553419,0.0002740842,0.0005782851,0.0001691164],"domain_scores_gemma":[0.9984992,0.0007973831,0.0001316663,0.0002036196,0.0002738794,0.0000942792],"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.00003136001,0.00001960865,0.00004111846,0.00005798333,0.000007541936,0.00007685529,0.000203598,0.007630922,0.001049545,0.9812897,0.0005329856,0.009058718],"study_design_scores_gemma":[0.00001868174,0.00002623614,0.00005135028,0.00005251235,0.00001911478,0.00006167236,0.00005640429,0.03816881,0.0008296637,0.9522608,0.008438505,0.00001631984],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007243007,0.001062961,0.967128,0.0002714991,0.0002223466,0.00007440657,0.0001382334,0.0003584528,0.02350113],"genre_scores_gemma":[0.3857508,0.003706955,0.5822383,0.0006278719,0.0008104994,0.000574157,0.0007681085,0.0007580117,0.02476526],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005045424,"threshold_uncertainty_score":0.0168786,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02995477455747082,"score_gpt":0.2694302461675772,"score_spread":0.2394754716101063,"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."}}