{"id":"W2403500288","doi":"","title":"Parametric verification of time workflow nets","year":2012,"lang":"en","type":"preprint","venue":"PolyPublie (École Polytechnique de Montréal)","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Workflow; Parametric statistics; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001126241,0.0006331707,0.0009460817,0.00192228,0.0002011623,0.0004943405,0.00107983,0.000803592,0.0001842184],"category_scores_gemma":[0.0004043736,0.0006483741,0.0004720753,0.002115996,0.0001066908,0.0008541199,0.0009721249,0.0008337085,0.0002139611],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002077452,"about_ca_system_score_gemma":0.0001735552,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.016657,"about_ca_topic_score_gemma":0.0002244708,"domain_scores_codex":[0.9968115,0.00003976492,0.0009712763,0.0007444728,0.0006529231,0.0007800526],"domain_scores_gemma":[0.9963189,0.00007236778,0.001434437,0.001451298,0.0006553647,0.00006758305],"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.0004584613,0.002856134,0.1897131,0.00539517,0.001159662,0.00003902659,0.0002393665,0.4107661,0.007085097,0.02618787,0.02005696,0.3360431],"study_design_scores_gemma":[0.000379673,0.000008718512,0.02190218,0.0005074135,0.0007807473,0.000005647854,0.00002799125,0.9553384,0.0007542088,0.01403913,0.005128775,0.001127139],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2888046,0.00928315,0.6891149,0.004804985,0.0007557333,0.001399245,0.00006468764,0.001894084,0.003878642],"genre_scores_gemma":[0.9777742,0.0003731627,0.01784195,0.001273674,0.00118545,0.000388023,0.0004491901,0.0001412927,0.000573084],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6889696,"threshold_uncertainty_score":0.9995968,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01718991863750662,"score_gpt":0.2247858935804787,"score_spread":0.2075959749429721,"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."}}