Figure 3.

A Mobius model of malaria parasites invading a human host. Mobius uses composition to compose several atomic Petri Nets (PNs) into a composed model. Top: Shows a model composed of Rep1 copies of a Red_Blood_Cell PN (bottom left), Rep2 copies of the host's immune system cells PN (middle bottom), and one copy of the host's bloodstream PN (bottom right). The three atomic nets have a shared place (Place1). In the atomic PNs, places are depicted by circles and timed transitions as vertical bars. Small circles attached to a vertical bar depict transition cases (i.e., mutually exclusive processes that are all enabled by the same set of input places). Triangle depicts output gate. The output gate shown in the figure produces an integer number of tokens (burst size) in the output place to which it is linked, which allows the representation of several malaria parasites that are released from the host cell at the end of asexual development.