Petri net | Glossary

Definition:

A Petri net, also known as a place/transition net, is one of several mathematical modeling languages for the description of distributed systems. It is a class of discrete event dynamic system. A Petri net is a directed bipartite graph, in which the nodes represent transitions and places.

Further Reading:

Book : Applying UML and Patterns by Craig Larman.