{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002602262,0.0006960701,0.0007076623,0.001255472,0.0006350577,0.00188118,0.001203269,0.0007560664,0.002424035],"category_scores_gemma":[0.01268966,0.0005908078,0.001854074,0.000811156,0.001652896,0.002580234,0.00264141,0.001384844,0.0003889834],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001352241,"about_ca_system_score_gemma":0.0016485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00486772,"about_ca_topic_score_gemma":0.001881388,"domain_scores_codex":[0.9949666,0.001431017,0.0003625454,0.0006862276,0.00202437,0.0005291243],"domain_scores_gemma":[0.9928604,0.003999723,0.0005451105,0.001261117,0.001138521,0.0001951715],"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.0006388765,0.00006224627,0.001570007,0.00029186,0.0001009664,0.000670467,0.000444965,0.574541,0.03393726,0.3005424,0.001226546,0.0859734],"study_design_scores_gemma":[0.00003133846,0.00007697038,0.0004974705,0.00005229528,0.00003612173,0.0002002468,0.00006701444,0.8336585,0.01705866,0.1445551,0.003723012,0.00004318821],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04427845,0.0003115565,0.9501621,0.0001309722,0.00004816619,0.00005669652,0.0001768533,0.001059092,0.003776122],"genre_scores_gemma":[0.8806816,0.0004086414,0.1153584,0.0000512178,0.00003960674,0.0001328843,0.0004818886,0.0002848611,0.002561066],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00486772,"threshold_uncertainty_score":0.01376224,"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."}}