Please use this identifier to cite or link to this item: https://doi.org/10.1109/ICCA.2009.5410303
Title: Validation of Petri net apoptosis models using P-invariant analysis
Authors: Low, I.W.J.
Yang, Y.
Lin, H. 
Issue Date: 2009
Source: 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 [1], 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
URI: http://scholarbank.nus.edu.sg/handle/10635/72147
ISBN: 9781424447060
DOI: 10.1109/ICCA.2009.5410303
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

1
checked on Dec 14, 2017

Page view(s)

22
checked on Dec 10, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.