Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension

Table 1 The conditions of the connector type

	connector type		process connector			associate or inhibitory connector
		process type	discrete	continuous	generic	discrete	continuous	generic
(a)	entity	discrete	X	-	X	X	X	X
	type	continuous	X	X	X	X	X	X
		generic	-	-	X	X	X	X
	connector type		process connector			associate or inhibitory connector
		process type	discrete	continuous	generic	discrete	continuous	generic
(b)	entity	discrete	X	-	X	-	-	-
	type	continuous	X	X	X	-	-	-
		generic	X	X	X	-	-	-

Table 1: (a) For a connector c = (e, p) ∈ EP, the entity type h(e), the process type h(p) and the connector type a(c) must satisfy the following conditions, where X means that the connection is allowed and – means that the connection is not allowed. (b) For a connector c = (p, e) ∈ PE, the connector type a(c) is process by definition. The entity type h(e) and the process type h(p) must satisfy the following conditions, where X means that the connection is allowed and – means that the connection is not allowed.

ISSN: 1752-0509