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
来源：
1ST INTERNATIONAL NORTH-AMERICAN SIMULATION TECHNOLOGY CONFERENCE | 2008年
关键词：
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 条
  • [21] A Petri Net Approach for Business Process Modeling and Simulation
    Medina-Garcia, Samuel
    Medina-Marin, Joselito
    Montano-Arango, Oscar
    Gonzalez-Hernandez, Manuel
    Hernandez-Gress, Eva Selene
    APPLIED SCIENCES-BASEL, 2023, 13 (20):
  • [22] Modelling biological processes using workflow and Petri Net models
    Peleg, M
    Yeh, I
    Altman, RB
    BIOINFORMATICS, 2002, 18 (06) : 825 - 837
  • [23] Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks
    Shaw, Oliver
    Steggles, Jason
    Wipat, Anil
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 151 (03) : 111 - 129
  • [24] Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
    Ahishakiye, Faustin
    Jarabo, Jose Ignacio Requeno
    Kristensen, Lars Michael
    Stolz, Volker
    VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 68 - 83
  • [25] A Petri Net Modeling Framework for the Control of Flexible Manufacturing Systems
    Wenzelburger, Philipp
    Allgoewer, Frank
    IFAC PAPERSONLINE, 2019, 52 (13): : 492 - 498
  • [26] Petri Net Modeling and Analysis of SMART ATM
    Sharma, Madhu
    Sharma, Cmaune
    ADVANCES IN COMPUTING AND INTELLIGENT SYSTEMS, ICACM 2019, 2020, : 519 - 530
  • [27] MATLAB tools for the analysis of Petri net models
    Julvez, Jorge
    Matcovschi, Mihaela H.
    Pastravanu, Octavian
    2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
  • [28] ANALYSIS OF PETRI-NET PERFORMANCE MODELS
    BILLINGTON, J
    HENDERSON, B
    PERFORMANCE EVALUATION, 1993, 18 (01) : 1 - 2
  • [29] Analysis of Scenarios with Petri-Net Models
    Sarmiento, Edgar
    Sampaio do Prado Leite, Julio Cesar
    Almentero, Eduardo
    2015 29TH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, 2015, : 90 - 99
  • [30] A Petri Net-based framework for modeling and simulation of resource scheduling policies in Edge Cloud Continuum
    Vardakis, Christoforos
    Dimolitsas, Ioannis
    Spatharakis, Dimitrios
    Dechouniotis, Dimitrios
    Zafeiropoulos, Anastasios
    Papavassiliou, Symeon
    SIMULATION MODELLING PRACTICE AND THEORY, 2025, 141
12345