Please use this identifier to cite or link to this item:
|Title:||Validation of Petri net apoptosis models using P-invariant analysis|
|Citation:||Low, I.W.J., Yang, Y., Lin, H. (2009). Validation of Petri net apoptosis models using P-invariant analysis. 2009 IEEE International Conference on Control and Automation, ICCA 2009 : 416-421. ScholarBank@NUS Repository. https://doi.org/10.1109/ICCA.2009.5410303|
|Abstract:||Apoptosis, the genetically programmed cell death, is essential to the physiology of most metazoan species, including the human. It involves a complex signal transduction pathway for the initiating of apoptotic signals, and the ultimate execution of apoptosis. This paper demonstrates the modeling of both the extrinsic and intrinsic human apoptotic pathways using Petri nets. This model is then validated using P-invariant analysis. Validation is required to systematically check the model and increase our confidence in it. While Heiner et al. has shown how T-invariants can be used for this purpose , this paper will explore the use of P-invariant analysis and ultimately establish it as an alternative way of performing validation for our qualitative model. ©2009 IEEE.|
|Source Title:||2009 IEEE International Conference on Control and Automation, ICCA 2009|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Jun 18, 2018
checked on May 4, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.