Open problems in Petri net modeling and simulation of biological systems

被引：1
|
作者：
Chen, Ming [1 ]
Hofestdt, Ralf [2 ]
机构：
[1] Zhejiang Univ, Coll Life Sci, Dept Bioinformat, Hangzhou 310058, Zhejiang, Peoples R China
[2] Bielefeld Univ, Fac Technol, AG Bioinformat & Med Informat, D-33501 Bielefeld, Germany
来源：
IT-INFORMATION TECHNOLOGY | 2014年 / 56卷 / 02期
关键词：
ACM CCS -> Computing methodologies -> Modeling and simulation; ACM CCS -> Mathematics of computing -> Discrete mathematics;
D O I：
10.1515/itit-2013-1021
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Petri net methodology has been widely used for modeling and simulation of biological systems due to its intuitive graphical representation and mathematical power for concurrent systems. In this article, some of the major problems arising in this field are addressed, ongoing progresses are discussed, and possible solutions are suggested.
引用
收藏
页码：76 / 81
页数：6
相关论文
共 50 条
  • [41] Decidability of opacity verification problems in labeled Petri net systems
    Tong, Yin
    Li, Zhiwu
    Seatzu, Carla
    Giua, Alessandro
    AUTOMATICA, 2017, 80 : 48 - 53
  • [42] Petri nets for simulation and modeling of construction systems
    Wakefield, RR
    Sears, GA
    JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT-ASCE, 1997, 123 (02): : 105 - 112
  • [43] Extended Time Petri Net and Hybrid Petri Net : Modeling Multi-Instance Dynamic Hybrid Systems
    El Touati, Yamen
    Ayari, Mohamed
    Altowaijri, Saleh
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2018, 18 (05): : 75 - 83
  • [44] STOCHASTIC PETRI NET SIMULATION FOR THE EVALUATION OF FLEXIBLE MANUFACTURING SYSTEMS
    BALBO, G
    CHIOLA, G
    FRANCESCHINIS, G
    SIMULATION APPLIED TO MANUFACTURING ENERGY AND ENVIRONMENTAL STUDIES AND ELECTRONICS AND COMPUTER ENGINEERING, 1989, : 5 - 12
  • [45] Application of simulation and Petri net modelling in manufacturing control systems
    Seifoddini, H
    Zhang, J
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1996, 34 (01) : 191 - 207
  • [46] PETRI-NET EXTENSIONS FOR MODELING AND VALIDATING MANUFACTURING SYSTEMS
    CHOI, BW
    KUO, W
    JACKMAN, JK
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1994, 32 (08) : 1819 - 1835
  • [47] Petri net modeling of routing and operation flexibility in production systems
    Tsinarakis, GJ
    Tsourveloudis, NC
    Valavanis, KP
    2005 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL & 13TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1 AND 2, 2005, : 352 - 357
  • [48] A Petri net synthesis theory for modeling flexible manufacturing systems
    Jeng, MD
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1997, 27 (02): : 169 - 183
  • [49] Modeling by Petri net with place invariants for sequential control systems
    Cai, Yigang
    Nishii, Ikuya
    Sekiguchi, Takashi
    Electrical Engineering in Japan (English translation of Denki Gakkai Ronbunshi), 1995, 115 (05): : 100 - 111
  • [50] A Petri Net Modeling Framework for the Control of Flexible Manufacturing Systems
    Wenzelburger, Philipp
    Allgoewer, Frank
    IFAC PAPERSONLINE, 2019, 52 (13): : 492 - 498
12345