This workshop intends to gather students and researchers, who have interests in the application of Petri nets or other concurrency modelling and analysis techniques for biological processes. Its main goal will be to demonstrate that concurrency modelling and analysis can be effective techniques to tackle the issues which reside in many biological problems. The workshop also promotes discussions between advanced researchers and beginners, which may enhance the world-wide activities in the applications of concurrency techniques to biological processes.
Topics of interest include, but are not limited to:
qualitative approaches (e.g., qualitative Petri nets), if kinetics are unknown or deliberately abstracted away
stochastic approaches (e.g., stochastic Petri nets) to account for intrinsic noise of molecular fluctuation, and/or sources of extrinsic noise
continuous approaches (e.g., continuous Petri nets, and thus Ordinary Differential Equations) as averaged deterministic abstractions
hybrid approaches (e.g., hybrid Petri nets), or how to handle different abstraction and time scales in biological processes
dedicated support of space, multi-scale and/or multi-level issues
case studies of metabolic, signalling, regulatory, and combined networks, or other biological applications
dedicated analysis and simulation techniques
related tool development, including exchange formats, dedicated to biological processes
06月20日
2016
会议日期
注册截止日期
留言