Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Perspectives on systems biology
New Generation Computing
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
Combining state-based and scenario-based approaches in modeling biological systems
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Discrete event multi-level models for systems biology
Transactions on Computational Systems Biology I
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
In this paper we present an extendable system to generate models of signal transduction pathways in different modeling languages and to simulate these models with the belonging simulation tools. Systems biology is an emerging research area in Life Sciences with the aim "to develop a system level understanding of biological systems"(Kitano). One step in this direction - besides a lot of other necessary steps - is to model and simulate signal transduction pathways, which describe the flow of signals inside the cell. This can very well be done by using discrete modeling languages such as Petri Nets or Life Sequence Charts. Another step forward is to generate such models out of databases for signal transduction pathways.