{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00126434,0.0006459929,0.0008503436,0.001076208,0.0001136927,0.0003025194,0.004274701,0.0003285784,0.000008785252],"category_scores_gemma":[0.0001798404,0.0005162288,0.0001055062,0.001154137,0.000703531,0.0005636627,0.001379776,0.0009157915,0.00003055951],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003885961,"about_ca_system_score_gemma":0.0009981899,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001136561,"about_ca_topic_score_gemma":0.00003869756,"domain_scores_codex":[0.9945467,0.00004643255,0.0007681889,0.001616633,0.00236083,0.0006612137],"domain_scores_gemma":[0.9961547,0.0004460239,0.0006359727,0.001771062,0.0007555762,0.0002366672],"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.00009038659,0.0001506647,0.0001574193,0.0003965656,0.00004606356,0.0003576785,0.003785166,0.6792856,0.0001289944,0.03040598,0.0002690495,0.2849264],"study_design_scores_gemma":[0.0006991338,0.001272987,0.00001246147,0.003456979,0.00001498388,0.0002462321,6.18552e-7,0.8741899,0.002961379,0.1154798,0.0006423976,0.00102315],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001319092,0.0002509479,0.9920561,0.0003425179,0.001600691,0.0004249832,0.000005631361,0.0001356791,0.003864407],"genre_scores_gemma":[0.7722166,0.000008041522,0.2266236,0.0004859227,0.0003512443,0.000007900565,0.000002651828,0.00005805984,0.000245982],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7708975,"threshold_uncertainty_score":0.9997289,"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."}}