Colored Petri Nets for Multiscale Systems Biology - Current Modeling and Analysis Capabilities in Snoopy

被引：0
|
作者：
Liu, Fei [1 ]
Heiner, Monika [2 ]
Yang, Ming [1 ]
机构：
[1] Harbin Inst Technol, Control & Simulat Ctr, Harbin 150001, Peoples R China
[2] Brandenburg Tech Univ Cottbus, Dept Comp Sci, D-03044 Cottbus, Germany
来源：
2013 7TH INTERNATIONAL CONFERENCE ON SYSTEMS BIOLOGY (ISB) | 2013年
基金：
中国国家自然科学基金;
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Systems biology has introduced a number of multiscale challenges, which, however, can be tackled by colored Petri nets, but not by traditional approaches like ordinary differential equations or Petri nets. In this paper, after a brief covering of multiscale challenges of systems biology, we report the modeling and analysis capabilities of colored Petri nets, which Snoopy by now offers, and describe how these capabilities are used to address those multiscale challenges. In doing so, we aim to attract more researchers to use the powerful capabilities of colored Petri nets to model and analyze multiscale biological systems.
引用
收藏
页码：24 / 30
页数：7
相关论文
共 50 条
  • [41] Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems
    Jensen, Kurt
    Kristensen, Lars M.
    [J]. COMMUNICATIONS OF THE ACM, 2015, 58 (06) : 61 - 70
  • [42] Stochastic Petri Nets in Systems Biology
    Ole Schulz-Trieglaff
    [J]. BMC Bioinformatics, 6 (Suppl 3)
  • [43] Stochastic Petri Nets in systems biology
    不详
    [J]. BMC BIOINFORMATICS, 2005, 6
  • [44] Petri Nets for Systems and Synthetic Biology
    Heiner, Monika
    Gilbert, David
    Donaldson, Robin
    [J]. FORMAL METHODS FOR COMPUTATIONAL SYSTEMS BIOLOGY, 2008, 5016 : 215 - +
  • [45] Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems
    Gharbi, Nawel
    Dutheillet, Claude
    Ioualalen, Malika
    [J]. MATHEMATICAL AND COMPUTER MODELLING, 2009, 49 (7-8) : 1436 - 1448
  • [46] Correctness analysis of snoopy cache coherence protocols using Petri nets
    Hassan, A
    Mahgoub, I
    [J]. INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 10TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 1997, : 338 - 343
  • [47] Modeling Software Contention Using Colored Petri Nets
    Roy, Nilabja
    Dabholkar, Akshay
    Hamm, Nathan
    Dowdy, Larry
    Schmidt, Douglas
    [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS & SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS), 2008, : 243 - 250
  • [48] Complex selecting criteria modeling with colored petri nets
    Arjona, E
    Bueno, G
    [J]. 1st International Industrial Simulation Conference 2003, 2003, : 125 - 130
  • [49] Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets
    Ali, Nazakat
    Punnekkat, Sasikumar
    Rauf, Abdul
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 210
  • [50] Flexible Negotiation Modeling by Using Colored Petri Nets
    Bai, Quan
    Zhang, Minjie
    Sim, Kwang Mong
    [J]. JOURNAL OF INFORMATION TECHNOLOGY RESEARCH, 2009, 2 (03) : 1 - 16
12345