Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A module-based approach to biomodel engineering with Petri nets
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
We present a detailed model of the JAK-STAT pathway in IL-6 signaling as non-trivial case study demonstrating a new database-supported modular modeling method. A module is a self-contained and autonomous Petri net, centred around an individual protein. The modelling approach allows to easily generate and modify coherent, executable models composed from a collection of modules and provides numerous options for advanced biomodel engineering.