标题：Petri net modeling and analysis based on gene logic network
作者：Zhang, Yulin ;Wang, Shudong ;Wu, Hongyue ;Yi, Yan
作者机构：[Zhang, Yulin ;Wang, Shudong ;Wu, Hongyue ;Yi, Yan ] College of Information Science and Engineering, Shandong University of Science and Technology, Qi 更多
来源：Advances in Intelligent Systems and Computing
摘要：Petri net has recently emerged as a promising tool for the modeling and analysis of molecular networks. In this research, gene logic network constructed by approach-logic analysis of phylogenetic profiles method is described. In order to depict the logic interactions between genes, a new Petri net formalism with augmented inhibitor arc is proposed, which is called ALTPN. Two different types of places and different transitions are formulated in ALTPN, and then corresponding firing rule is given. Further, ALTPN of all 1-order and 2-order gene logic types are listed. Finally reachability graph method is used to accomplish asynchronous dynamic analysis of gene logic interactions in colon cancer and some conclusions are drawn. © Springer-Verlag Berlin Heidelberg 2013.