Skip to main content
Figure 3 | BMC Systems Biology

Figure 3

From: Computational analysis of the roles of ER-Golgi network in the cell cycle

Figure 3

Asynchronous SMV code for the ER-Golgi network model checking. The asynchronous SMV program consists of more than one module with or without parameters besides the main module. Each asynchronous process/event for a declared variable should be instantiated using the keyword "process". The variable declaration, initialization and update in each module still use the keywords "VAR", "init" and "next" respectively.

Back to article page
\