Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
The procedure follows after the literature search when a BRN is constructed from the pathway details, upon which the wet-lab experimental observations are applied via CTL Model Checking to generate the set of parameters. The parameters are then modelled as a discrete (Standard) Petri Net for property analysis, after which the system is converted to a Hybrid model for simulations.
