{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00287595,0.001357555,0.001079915,0.0011809,0.0007645299,0.002355174,0.002244759,0.001385926,0.00271434],"category_scores_gemma":[0.01262146,0.0007009362,0.003187198,0.00154947,0.00183383,0.003367987,0.001857374,0.002050887,0.0004075782],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001524019,"about_ca_system_score_gemma":0.002200716,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004781698,"about_ca_topic_score_gemma":0.004542848,"domain_scores_codex":[0.9949826,0.00178128,0.0003778291,0.000751777,0.001752912,0.0003535351],"domain_scores_gemma":[0.9936665,0.0041772,0.0005295186,0.001075173,0.0004560323,0.00009559641],"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.0002692668,0.0001053376,0.001291067,0.0007117372,0.0002381628,0.0005237042,0.0002781504,0.6124793,0.01838012,0.2953436,0.001669552,0.06870998],"study_design_scores_gemma":[0.00006318745,0.00006580577,0.0001946788,0.0001025759,0.00009284438,0.0001381354,0.00002977213,0.7940145,0.01238964,0.1865541,0.006325981,0.00002867967],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009799103,0.0006619171,0.9854232,0.0001379378,0.0001062288,0.00007704093,0.0001466384,0.001087676,0.002560329],"genre_scores_gemma":[0.5010585,0.002252418,0.4908363,0.0002860356,0.0001821257,0.0005176247,0.0008341331,0.0004671645,0.003565674],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004781698,"threshold_uncertainty_score":0.01520967,"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."}}