Interaction and coordination, enabling versus governing interaction, classes of coordination models, and workflow management systems as real-world coordination.
course of the deck
used in the lectures
reference publication
Petri Nets (article in journal, 1977) — James L. Peterson