Modeling and analyzing biomedical processes using workflow/petri net models and tools

Studies in Health Technology and Informatics

Volumn 107, Issue , 2004, Pages 74-78

  Peleg, Mor ^a   Tu, Samson ^b   Manindroo, Abhijit ^c   Altman, Russ B ^b  

^a UNIVERSITY OF HAIFA   (Israel)

^b STANFORD UNIVERSITY   (United States)

^c Stanford University   (United States)

Author keywords

biological systems; Clinical guidelines; Petri Net; Process model; simulation; Workflow

Indexed keywords

BIOINFORMATICS; COMPUTER SOFTWARE; MEDICAL COMPUTING; PETRI NETS; BIOLOGICAL SYSTEMS; HEALTH CARE;

BIOLOGICAL PROCESS; BIOMEDICAL SYSTEMS; CLINICAL GUIDELINE; PROCESS MODELING; SIMULATION; SIMULATION AND ANALYSIS; THEORETICAL SYSTEM; WORKFLOW; ACTUAL SYSTEM; ANALYSIS TOOLS; BIOMEDICAL PROCESS; PETRI NET MODELS; PROCESS-MODELS; SYSTEM DEVELOPERS; WORK-FLOWS;

BIOLOGICAL SYSTEMS; PETRI NETS;

EID: 68249127746     PISSN: 09269630     EISSN: 18798365     Source Type: Book Series    
DOI: 10.3233/978-1-60750-949-3-74     Document Type: Article

References (18)

1. Peleg M, Yeh I, Altman RB. Modeling biological processes using Workflow and Petri Net models. Bioinformatics 2002;18(6):825-837.
2. Peleg M, Tu SW, Bury J, Ciccarese P, Fox J, Greenes RA, et al. Comparing Computer-Interpretable Guideline Models: A Case-Study Approach. J Am Med Inf Assoc 2003;10(1):52-68.
3. Girault C, Valk R. (eds). Petri Nets for Systems Engineering. Berlin Heidelberg: Springer-Verlag; 2003.
4. Reddy VN, Liebman MN, Mavrovouniotis ML. Qualitative Analysis of Biochemical Reaction Systems. Comput Biol Med 1996;26(1):9-24.
5. Matsuno H, Doi A. Hybrid Petri Net Representation of Gene Regulatory Network. In: Pacific Symposium on Biocomput-ing; 2000: 338-349.
6. Peleg M, Gabashvili IS, Altman RB. Qualitative models of molecular function: linking genetic polymorphisms of tRNA to their functional sequelae. Proc IEEE 2002;90(12): 1875-1886.
7. Layna Fischer (Ed). Workflow Handbook: Future Strategies Inc., Lighthouse Point, FL, USA.; 2002.
8. Baker PG, Goble CA, Bechhofer S, Paton NW, Stevens R, Brass A. An ontology for bioinformatics applications. Bioinformatics 1999;15(6):510-520.
9. Lindberg C. The Unified Medical Language System (UMLS) of the National Library of Medicine. J Am Med Rec Assoc 1990;61(5):40-42.
10. van der Aalst WMP. The application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 1998;8(1):21-66.
11. Quaglini S, Stefanelli M, Cavallini A, Micieli G, Fassino C, Mossa C. Guideline-based careflow systems. Artif Intell Af2000;20(1):5-22.
12. Peleg M, Boxwala A, Ogunyemi O, Zeng Q, Tu S, Lacson R, et al. GLIF3: The Evolution of a Guideline Representation Format. Proc. AMIA Symp; 2000: 645-649.
13. Tu SW, Campbell J, Musen MA. The structure of guideline recommendations: A synthesis. Proc AMIA Symp, in press. 2003.
14. Gennari J, Musen MA, Fergerson RW, Grosso WE, Crubezy M, Eriksson H, et al. The Evolution of Protege: An Environment for Knowledge-Based Systems Development. International Journal of Human-Computer Interaction 2002;58(1):89-123.
15. Crubezy M. Chapter 17. Ontologies and Problem-Solving Methods. In: S. Staab RSe, editor. Handbook on Ontologies in Information Systems: Springer; 2003.
16. Verbeek HMW, Basten T, van der Aalst WMP. Diagnosing Workflow Processes using Woflan. The Computer Journal 2001;44(4):246-279.
17. Zimmermann A. TimeNET 3.0 User Manual. Berlin: Insti-tut fur Technische Informatik of the Technische Universitat Berlin; 2001.
18. Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: Springer Verlag; 1995.