{"id":"W4289922222","doi":"10.1007/978-3-031-13188-2_23","title":"Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations","year":2022,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"Fonds de recherche du Québec – Nature et technologies; Natural Sciences and Engineering Research Council of Canada","keywords":"Soundness; Petri net; Computer science; Workflow; Reachability; Formalism (music); Scalability; Business process; Data mining; Theoretical computer science; Programming language; Algorithm; Database; Work in process; Engineering","routes":{"ca_aff":true,"ca_fund":true,"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.009664196,0.0009207982,0.001177615,0.001225482,0.0008187961,0.003109645,0.002259419,0.001179949,0.003382325],"category_scores_gemma":[0.04874478,0.001162569,0.003199729,0.0009070993,0.005887342,0.004350459,0.004861626,0.006067518,0.0007221991],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001672991,"about_ca_system_score_gemma":0.003513313,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002916124,"about_ca_topic_score_gemma":0.002582395,"domain_scores_codex":[0.9893342,0.003663665,0.0009438832,0.001963766,0.003195039,0.0008994507],"domain_scores_gemma":[0.9361481,0.05144092,0.002904003,0.005191223,0.003354502,0.0009612355],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001279125,0.0004139902,0.002228168,0.001095641,0.0002918683,0.0009214451,0.001483913,0.4551597,0.05041396,0.3778457,0.002404019,0.1064625],"study_design_scores_gemma":[0.0001323547,0.0002152755,0.0004511315,0.0001309112,0.00008417902,0.0001847536,0.0002113775,0.6316539,0.01974078,0.3446877,0.002436942,0.0000706956],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04357915,0.0001112089,0.9512945,0.000275441,0.00005539407,0.000210907,0.0001909646,0.001224028,0.00305839],"genre_scores_gemma":[0.5325133,0.0002364311,0.4635617,0.0002520497,0.00007797821,0.0003241854,0.0006292969,0.0004354399,0.001969538],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009664196,"threshold_uncertainty_score":0.05110973,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0198667367749768,"score_gpt":0.2276080102825123,"score_spread":0.2077412735075355,"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."}}