A Petri net framework for the modeling, simulation and data analysis of biological models

被引:0
|
作者
Hardy, Simon [1 ]
Robillard, Pierre N. [2 ]
机构
[1] Mt Sinai Sch Med, New York, NY 10029 USA
[2] Ecole Polytech Montreal, Montreal, PQ, Canada
关键词
Petri nets; Biochemical modeling; Model validation; Simulation; Quantitative analyses; Invariants;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Petri nets have been used for the modeling and simulation of molecular biology systems for almost two decades. Different methodologies and techniques have been developed; a modeling and simulation software tool designed specifically for biological applications has been implemented. In this paper, we discuss the integration of some of these methodologies and techniques into a unified modeling and simulation framework where Petri net theory is used to validate biological models, simulate them and finally, analyze the simulation data.
引用
收藏
页码:57 / +
页数:3
相关论文
共 50 条
  • [31] Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach
    Zhou, MC
    Jeng, MD
    IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 1998, 11 (03) : 333 - 357
  • [32] Sensitivity analysis in Petri net representation of biological systems
    Zahirazami, Shauheen
    Dadar, Mahsa
    Hashtrudi-Zad, Shahin
    2013 AMERICAN CONTROL CONFERENCE (ACC), 2013, : 4569 - 4574
  • [33] Colored Petri net modeling and simulation of signal transduction pathways
    Lee, DY
    Zimmer, R
    Lee, SY
    Park, S
    METABOLIC ENGINEERING, 2006, 8 (02) : 112 - 122
  • [34] Petri net-based modeling of switching arrangements & simulation
    Liao, Xiaoping
    Zhang, XinFang
    Liao, Xiaoping
    Jiang, Juan
    2005 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATIONS, VOLS 1-4, CONFERENCE PROCEEDINGS, 2005, : 1545 - 1550
  • [35] Optimized method of petri net modeling and simulation for production systems
    School of Economics and Management, Beihang University, Beijing 100083, China
    Xitong Fangzhen Xuebao, 2006, SUPPL. 2 (559-562):
  • [36] Modeling and Simulation of Flowers Production Logistics Based on Petri Net
    Lv, Kechi
    Liu, Yuliang
    2015 8TH INTERNATIONAL CONFERENCE ON INTELLIGENT NETWORKS AND INTELLIGENT SYSTEMS (ICINIS), 2015, : 113 - 116
  • [37] Modeling and Simulation of Metallurgical Process Based on Hybrid Petri Net
    Ren, Yujuan
    Bao, Hong
    2016 SECOND INTERNATIONAL CONFERENCE ON MECHANICAL ENGINEERING AND AUTOMATION SCIENCE (ICMEAS 2016), 2016, 157
  • [38] A hierarchical petri net framework for the representation and analysis of assembly
    Thomas, JP
    Nissanke, N
    Baker, KD
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1996, 12 (02): : 268 - 279
  • [39] Highway Traffic Modeling Using Probabilistic Petri Net Models
    Ruan, Keyu
    Li, Lingxi
    Chen, Yaobin
    2020 IEEE 23RD INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2020,
  • [40] Data decision diagrams for Petri net analysis
    Couvreur, JM
    Encrenaz, E
    Paviot-Adet, E
    Poitrenaud, D
    Wacrenier, PA
    APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 101 - 120