{"id":"W2037407649","doi":"10.1109/tase.2012.14","title":"A Formal Diagrammatic Approach to Timed Workflow Modelling","year":2012,"lang":"en","type":"article","venue":"","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"St. Francis Xavier University","funders":"","keywords":"Diagrammatic reasoning; Workflow; Computer science; Rotation formalisms in three dimensions; Formal specification; Petri net; Graph rewriting; Theoretical computer science; Graph; Programming language; Predicate (mathematical logic); Software engineering; 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.004043802,0.0008881556,0.0006300759,0.002405603,0.001161984,0.003789968,0.002193161,0.001670986,0.006122714],"category_scores_gemma":[0.006283777,0.0007019754,0.001985591,0.002273911,0.003370893,0.00564436,0.001843716,0.003490624,0.001323679],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003040016,"about_ca_system_score_gemma":0.003074809,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003664708,"about_ca_topic_score_gemma":0.002460755,"domain_scores_codex":[0.9972331,0.001072632,0.000336388,0.0004069975,0.0007774976,0.0001734235],"domain_scores_gemma":[0.9969583,0.001768037,0.0002498167,0.0003298521,0.0005584378,0.0001355432],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000009075266,0.00001782115,0.0000482277,0.00007092529,0.000006792292,0.0001263162,0.000274176,0.006690455,0.000846516,0.9837523,0.0010346,0.007122856],"study_design_scores_gemma":[0.00003375064,0.00003932573,0.0000486382,0.0001016232,0.00002387577,0.0002540336,0.0001037166,0.0523477,0.001643963,0.8425548,0.1028175,0.00003103052],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004536539,0.0002623345,0.9946163,0.0003645745,0.0001047107,0.00005972203,0.0001025941,0.0002515725,0.003784565],"genre_scores_gemma":[0.05188784,0.001294017,0.9406914,0.0003426039,0.0002614056,0.0005373552,0.0004367363,0.0001571045,0.004391563],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006122714,"threshold_uncertainty_score":0.02205694,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03663576575413124,"score_gpt":0.2142377997831746,"score_spread":0.1776020340290434,"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."}}