{"id":"W4211192761","doi":"10.14236/ewic/vecos2007.2","title":"Model checking of time Petri nets","year":2007,"lang":"en","type":"article","venue":"Electronic workshops in computing","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Petri net; Model checking; Computer science; Abstraction; Abstraction model checking; Construct (python library); Programming language; Theoretical computer science; Process architecture; Stochastic Petri net; Temporal logic; Distributed computing","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.004127518,0.0002471291,0.0004255154,0.0005127312,0.0001154635,0.00007531414,0.001559136,0.0001573794,0.000004175646],"category_scores_gemma":[0.000124434,0.0002749392,0.0001084234,0.00194876,0.00004041119,0.0003053744,0.0005768662,0.0006832172,0.00001606256],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005116901,"about_ca_system_score_gemma":0.0002982655,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001398016,"about_ca_topic_score_gemma":0.00002491825,"domain_scores_codex":[0.9965049,0.00008622278,0.000911926,0.00062319,0.0005374346,0.001336303],"domain_scores_gemma":[0.9981195,0.000605444,0.0003430999,0.0007410643,0.0001043392,0.00008659715],"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.00001522965,0.00008223479,0.001567263,0.00002803515,0.00002386177,0.0000234055,0.001510947,0.8332549,0.002947225,0.02257944,0.0001117512,0.1378557],"study_design_scores_gemma":[0.0003773913,0.00003280409,0.0002946725,0.0002353363,0.000002940812,0.00003517627,0.00002326357,0.9940904,0.001534839,0.003038486,0.00007517794,0.0002595628],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2108288,0.001071096,0.7838867,0.00008266868,0.0001882852,0.0001454829,1.456636e-7,0.0001734543,0.00362338],"genre_scores_gemma":[0.9280894,0.00001297752,0.07154705,0.00009958064,0.0001103502,0.000001380679,0.00000111882,0.0000245711,0.0001135013],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7172607,"threshold_uncertainty_score":0.9999703,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01728870312147543,"score_gpt":0.2702457089107404,"score_spread":0.252957005789265,"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."}}