Petri net

family of modelling languages for distributed systems