{"id":"W4399889189","doi":"10.1145/3661814.3662086","title":"Soundness of reset workflow nets","year":2024,"lang":"en","type":"article","venue":"","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Soundness; Computer science; Reset (finance); Workflow; Programming language; Database","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002452605,0.0001149617,0.0001813306,0.0003548689,0.0000661143,0.0002525712,0.0001914573,0.00004838244,0.0009323324],"category_scores_gemma":[0.00004911065,0.00008469197,0.00008462375,0.001266617,0.00005617366,0.0007609625,0.00008112896,0.00007568803,0.0003240176],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005967207,"about_ca_system_score_gemma":0.00001505404,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000850035,"about_ca_topic_score_gemma":0.00005406349,"domain_scores_codex":[0.9991598,0.000002588359,0.0002326141,0.0002324234,0.0002092643,0.0001633411],"domain_scores_gemma":[0.9995522,0.00002722921,0.00005142835,0.0001825143,0.0001810409,0.000005523665],"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.00005456021,0.0001656846,0.008639728,0.004066592,0.0003259762,0.00004746452,0.0001868158,0.008692389,0.001447929,0.5581703,0.1584933,0.2597092],"study_design_scores_gemma":[0.0002468303,0.000004960466,0.0004928558,0.0006805171,0.0002660762,0.000001848791,0.000235628,0.5426176,0.00009818505,0.169504,0.2854113,0.000440108],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2404481,0.00764219,0.2297557,0.02296716,0.003015139,0.0003005995,0.000006438687,0.002258858,0.4936058],"genre_scores_gemma":[0.9957041,0.00002123965,0.000222648,0.0005388379,0.0007604424,0.000005691307,0.00001919131,0.00002113672,0.002706773],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7552559,"threshold_uncertainty_score":0.9999809,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02314522732327888,"score_gpt":0.2434461380389581,"score_spread":0.2203009107156792,"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."}}