Fig. 1
From: A methodological approach for using high-level Petri Nets to model the immune system response

Example of introduction of new entities into the system. 10 new TH cells are introduced at random times into the system as resting cells (STATE = “resting”), with a random position (POSITION = p, where p is defined as a variable of type POSITION), LIFE = 10, and a random receptor (RECEPTOR = r, where r is defined as a variable of type RECEPTOR)