Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Introduction to General Net Theory
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Rule-Based Modelling and Model Perturbation
Transactions on Computational Systems Biology XI
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
A unifying framework for modelling and analysing biochemical pathways using Petri nets
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems 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
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
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Multiple representations of biological processes
Transactions on Computational Systems Biology VI
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Hi-index | 0.00 |
A signalling network is a network of reactions that govern how a cell responds to its environment. A pathway is a dynamic flow of "signal" through the network (signal transduction), for example from a receptor to a transcription factor that enables expression of a gene. In this paper we introduce a method to compute all pathways in a signalling network that satisfy a simple property constraining initial, final and intermediate states. This method, concerned with signal transduction, is compared to the steady state view underlying Petri net place/transition invariants and flux balance analysis. We apply the method to the signalling network model being developed in the Pathway Logic project and identify knockout/inhibition targets and common (pathway) events. This approach also allows us to better understand and formalise the interaction between pathways in a network, for example to identifying pathway inhibition targets that limit the effect on unrelated pathways.