🔵Petri net

Model to describe distributed systems

A Petri net, also known as a place/transition net (PT net), is one of several mathematical modeling languages for the description of distributed systems.