Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
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)
An extendable system for conceptual modeling and simulation of signal transduction pathways
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Discrete event multi-level models for systems biology
Transactions on Computational Systems Biology I
Modeling Biology using Generic Reactive Animation
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
Hi-index | 0.00 |
Signal transduction pathways describe how cells respond to extracellular signals which are received by receptors at the cell membrane and usually transferred into the nucleus. In this paper we present our approach to model these signal transduction pathways as concurrent reactive systems by means of Life Sequence Charts and to simulate them using the Play-Engine tool. This aspect is part of a bigger approach, where we provide an extendable system to generate models of signal transduction pathways in different modeling languages and to simulate these models with the corresponding simulation tools.