Towards Action-Based Analysis of Discrete Regulatory Networks 
with Short-Term Stimuli
C. Krause, C. Krause and E.P. de Vink

To incorporate instant effects and different timescales within a single
biological system, an extension of discrete regulatory networks with
short-term stimuli is proposed. By maintaining a vector of recent changes,
activities initiated by a steep increase or decrease can be captured in a
qualitative setting. In order to compensate for the blow-up due to enhanced
states, we focus on observable behavior. Identification of bisimilar states
yields a compact system representation truthfully expressing the information
relevant for deciding logical properties. The approach is implemented by
means of a front-end to the mCRL2 tool set and illustrated for the switching
of bacteriophage lambda and a bio-medical case study related to TGFbeta driven
fibrotic conditions.