Login / Signup
Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine.
Claudia Täubner
Silke Eckstein
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
reactive systems
signal transduction pathways
discrete event simulation
model checking
petri net
simulation model
mathematical model
temporal logic
agent based modeling
state machines
machine learning
multi agent systems
colored petri nets