Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages-Reference-Cited by-同舟云学术

Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages

Published:2009 Issue: Volume: Page:348-360
ISSN:1865-1348
Container-title:Business Process Management Workshops
language:
Short-container-title:

Author:

Grando María Adela,Glasspool David W.,Fox John

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00328-8_35

Reference14 articles.

1. Agostini, A., De Michelis, G., Petruni, K.: Keeping Workflow Models as Simple as Possible. In: Proceeding of the workshop on CSCW, Petri Nets and related formalism, pp. 11–29 (1994)

2. Chen, B., Avrunin, G.S., Henneman, E.A., Clarke, L.A., Osterweil, L.J., Henneman, P.L.: Analyzing medical processes. In: ICSE 2008: Proceedings of the 30th international conference on Software engineering, pp. 623–632 (2008)

3. Edinburgh Concurrency Workbench, http://homepages.inf.ed.ac.uk/perdita/cwb//

4. Lecture Notes in Computer Science;C.A. Ellis,1993

5. Garg, A.X., Adhikari, N.K.J., McDonald, H.: Effects of computerized clinical decision support systems on practitioner performance and patient outcomes: a systematic review. JAMIA 293, 1223–1238 (2005)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards an Integration of Workflows and Clinical Guidelines: A Case Study;Lecture Notes in Computer Science;2016

2. Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets;Foundations of Health Information Engineering and Systems;2013

3. Goal-Based Decisions for Dynamic Planning;Artificial Intelligence in Medicine;2009