{"id":"W2122378552","doi":"10.5772/5318","title":"Model Checking of Time Petri Nets","year":2008,"lang":"en","type":"book-chapter","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Petri net; Computer science; Stochastic Petri net; Programming language; Petri dish; Biology","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":[],"consensus_categories":[],"category_scores_codex":[0.0002439361,0.0001843746,0.0002727782,0.0001781901,0.00004041626,0.00002006306,0.0009791795,0.0002151745,0.00009832434],"category_scores_gemma":[0.00002690667,0.0001767012,0.0001125035,0.00004655767,0.00006597478,0.0002570806,0.000266334,0.0001958923,0.0002676286],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004713474,"about_ca_system_score_gemma":0.0001018664,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004013714,"about_ca_topic_score_gemma":2.931897e-7,"domain_scores_codex":[0.9987981,0.00001171716,0.0003461298,0.0003360484,0.0003631015,0.0001449501],"domain_scores_gemma":[0.9986452,0.00003676637,0.0002773831,0.0008654307,0.0001257894,0.00004944973],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002266344,0.000008520593,4.856097e-7,0.00001939181,0.00001595394,0.000003402819,0.0001751919,0.001075495,0.0002273114,0.9603663,0.004420655,0.03368502],"study_design_scores_gemma":[0.00007103108,0.00003495579,0.000005510253,0.00005437537,0.000006034345,0.00002299847,2.504775e-7,0.9499519,0.001499111,0.01828675,0.0298156,0.0002515102],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.000002553286,0.00008323427,0.4837146,0.00001940128,0.00007910792,0.00006605139,0.0000014129,0.00007511528,0.5159585],"genre_scores_gemma":[0.0001075433,0.0001267371,0.5857974,0.00007000595,0.00002362534,0.000001422824,0.000002527705,0.00001398176,0.4138567],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9488764,"threshold_uncertainty_score":0.7205666,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07366863599740656,"score_gpt":0.2727233702364684,"score_spread":0.1990547342390619,"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."}}