Modeling and analyzing biomedical processes using workflow/Petri Net models and tools

被引：0
|
作者：
Peleg, M [1 ]
Tu, S [1 ]
Manindroo, A [1 ]
Altman, RB [1 ]
机构：
[1] Univ Haifa, Dept Management Informat Syst, IL-31905 Haifa, Israel
来源：
MEDINFO 2004: PROCEEDINGS OF THE 11TH WORLD CONGRESS ON MEDICAL INFORMATICS, PT 1 AND 2 | 2004年 / 107卷
关键词：
workflow; Petri Net; simulation; process model; clinical guidelines; biological systems;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Computer simulation enables system developers to execute a model of an actual or theoretical system on a computer and analyze the execution output. We have been exploring the use of Petri Net (PN) tools to study the behavior of systems that are represented using three kinds of biomedical models: a biological workflow model used to represent biological processes, and two different computer-interpretable models of health care processes that are derived from clinical guidelines. We developed and implemented software that maps the three models into a single underlying process model (workflow), which is then converted into PNs in formats that are readable by several PN simulation and analysis tools. We show how these analysis tools enabled us to simulate and study the behavior of two biomedical systems: a Malaria parasite invading a host cell, and patients undergoing management of chronic cough.
引用
收藏
页码：74 / 78
页数：5
相关论文
共 50 条
  • [1] Modelling biological processes using workflow and Petri Net models
    Peleg, M
    Yeh, I
    Altman, RB
    [J]. BIOINFORMATICS, 2002, 18 (06) : 825 - 837
  • [2] Modeling workflow using XML and Petri net
    Yang Dong
    [J]. Journal of Systems Engineering and Electronics, 2004, (03) : 440 - 446
  • [3] On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools
    Barros, Joao Paulo
    Gomes, Luis
    Costa, Aniko
    [J]. 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 6138 - 6143
  • [4] Making workflow models sound using Petri net controller synthesis
    Dehnert, J
    Zimmermann, A
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPIS, DOA, AND ODBASE, PT 1, PROCEEDINGS, 2004, 3290 : 139 - 154
  • [5] Petri net modeling and performance analyzing for MGC
    Huang, YF
    Li, X
    Zhang, K
    [J]. CHINESE JOURNAL OF ELECTRONICS, 2004, 13 (04) : 634 - 637
  • [6] Petri Net based AUV modeling and analyzing
    Zhang, GY
    Gu, GC
    Meng, W
    Zhang, R
    [J]. PROCEEDINGS OF THE 3RD WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-5, 2000, : 1295 - 1299
  • [7] An extended petri net for modeling workflow with critical sections
    Kotb, YT
    Baumgart, AS
    [J]. ICEBE 2005: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2005, : 134 - 141
  • [8] Token Transportation in Petri Net Models of Workflow Patterns
    Pradhan, Ahana
    Joshi, Rushikesh K.
    [J]. PROCEEDINGS OF THE 7TH INDIA SOFTWARE ENGINEERING CONFERENCE 2014, ISEC '14, 2014,
  • [9] Modeling workflow processes with colored Petri nets
    Liu, DS
    Wang, JM
    Chan, SCF
    Sun, JG
    Zhang, L
    [J]. COMPUTERS IN INDUSTRY, 2002, 49 (03) : 267 - 281
  • [10] RESEARCH ON WORKFLOW MODELING BASED ON COLOURED PETRI NET
    Zhang Liang
    Yao Jiayi
    Zhang Yingrui
    [J]. ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 1, 2011, : 423 - 426
12345