the main Petri Net through control nodes such that all the
action nodes ground out in operators. Thus for each team
goal, there is a single Petri Net that describes its plan for
solving it. By placing tokens on the topologically-first
node(s) of the Petri Net, and moving them forward
whenever steps are completed, agents can keep track of the
progress of the team. Though not every agent is involved in
or responsible for every step, this Petri-Net model of the
overall team plan forms a common understanding of the
team’s goals and process, which they use to determine how
their individual actions fit together, and is thus a primary
constituent of their shared mental model.