{"id":"W4312912094","doi":"10.1016/j.ifacol.2022.10.355","title":"Expressiveness and analysis of Delayable Timed Petri Net*","year":2022,"lang":"en","type":"article","venue":"IFAC-PapersOnLine","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Petri net; Reachability; Computer science; Stochastic Petri net; Successor cardinal; Extension (predicate logic); Theoretical computer science; State (computer science); Symbolic data analysis; State space; Interval (graph theory); Semantics (computer science); Net (polyhedron); Algorithm; Programming language; Mathematics; Combinatorics","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.0005836803,0.0001058938,0.0002651047,0.0003295505,0.0001756542,0.00003185873,0.0006450363,0.00003160606,0.0001300735],"category_scores_gemma":[0.00008915589,0.0001059469,0.0000861518,0.001774715,0.00005270959,0.0002641358,0.0004211973,0.0001340208,0.000002585829],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000459877,"about_ca_system_score_gemma":0.00004420011,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000636113,"about_ca_topic_score_gemma":0.000003359205,"domain_scores_codex":[0.9986773,0.0001925003,0.0002534283,0.0003387454,0.0003523456,0.000185726],"domain_scores_gemma":[0.9990099,0.0001271751,0.0001867421,0.0005432321,0.00006797133,0.00006497603],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004113366,0.001710593,0.05921789,0.0002700252,0.003356144,0.0001209096,0.01845044,0.1497568,0.2411179,0.09851014,0.0001107336,0.4269671],"study_design_scores_gemma":[0.0003697713,0.0001485457,0.02263143,0.000005462612,0.0001862096,0.00001241894,0.0002404158,0.9692378,0.005236157,0.0001726816,0.001551173,0.0002079393],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.5026464,0.0007329577,0.4945499,0.0004054656,0.0003079941,0.0001961869,0.00008412726,0.0001140203,0.0009630158],"genre_scores_gemma":[0.1300396,0.00002226691,0.8693472,0.0001411418,0.00001884325,0.00002871591,0.00003357792,0.000006960992,0.0003616376],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.819481,"threshold_uncertainty_score":0.4320388,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01701110284747308,"score_gpt":0.2717989095640772,"score_spread":0.2547878067166041,"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."}}