Petri nets

family of modelling languages for distributed systems

German mathematician (1926-2010)

data buffering technique used to avoid reading of incomplete data