Representing network reconstruction solutions with colored Petri nets

被引:3
|
作者
Liu, Fei [1 ]
Heiner, Monika [2 ]
Yang, Ming [1 ]
机构
[1] Harbin Inst Technol, Control & Simulat Ctr, Harbin 150080, Peoples R China
[2] Brandenburg Tech Univ Cottbus, Dept Comp Sci, D-03013 Cottbus, Germany
基金
中国国家自然科学基金;
关键词
Systems biology; Network reconstruction; Colored Petri nets; Folding; SIMULATION; FRAMEWORK;
D O I
10.1016/j.neucom.2015.04.112
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The reconstruction of biological networks from experimental time series data is one of the challenges in systems biology. Currently, most network reconstruction approaches usually yield one solution. In contrast the (automatic) network reconstruction method proposed by Marwan et al. generates all possible minimal solutions fitting the given set of data, and thus reveals all alternative mechanisms to explain the biological phenomena under study. Although this is interesting and helpful, the generated solutions are usually too many and thus difficult to manage. In this paper, we propose the use of colored Petri nets to represent all possible solutions for a network reconstruction problem by encoding each solution as a color. Specifically, we present two folding (coloring) approaches for generating colored Petri net models for a given set of Petri net networks (solutions). To do this, we not only offer a compact representation of all solutions in one colored model for a given network reconstruction problem, but also facilitate the analysis of each solution by choosing its corresponding color. We also give an application of our coloring approaches by taking the phosphate regulatory network in enteric bacteria as example. (C) 2015 Elsevier B.V. All rights reserved.
引用
收藏
页码:483 / 493
页数:11
相关论文
共 50 条
  • [41] Petri Nets Representing the Evolution of Elementary Cellular Automata
    Barragan, I.
    Tuoh, J. C. S.
    Medina, J.
    [J]. IEEE LATIN AMERICA TRANSACTIONS, 2015, 13 (09) : 3103 - 3112
  • [42] Exploiting colored Petri nets to decide on permutation admissibility
    Bashirov, Rza
    Kordon, Fabrice
    Lort, Hueseyin
    [J]. ACTA INFORMATICA, 2009, 46 (01) : 43 - 55
  • [43] A method of workflow scheduling based on colored Petri nets
    Xiao, Zhijiao
    Ming, Zhong
    [J]. DATA & KNOWLEDGE ENGINEERING, 2011, 70 (02) : 230 - 247
  • [44] Synthesis of controllers of processes modeled as colored Petri nets
    Makungu, M
    Barbeau, M
    St-Denis, R
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1999, 9 (02): : 147 - 169
  • [45] Colored Petri Nets to Model Gene Mutation Classification
    Yang, Jinliang
    Gao, Rui
    Meng, Max Q. -H.
    Tarn, Tzyh-Jong
    [J]. PROCEEDINGS OF THE 10TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2012), 2012, : 5077 - 5082
  • [46] Specification of timed authentication protocols with colored Petri nets
    Jakubowska, G
    Srebrny, M
    [J]. ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 383 - 392
  • [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] Automatic synthesis of colored Petri nets for the control of FMS
    Ezpeleta, J
    Colom, JM
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (03): : 327 - 337
  • [49] Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
    Chatain, Thomas
    Fabre, Eric
    [J]. APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2010, 6128 : 165 - +
  • [50] TransCPN - Software Tool for Transformation of Colored Petri Nets
    Mikolajczak, Boleslaw
    Singh, Abhishek
    [J]. PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, VOLS 1-3, 2009, : 211 - 216