Red de Petri

Modelo bipartito dirigido y multigrafo compuesto por lugares, transiciones y tokens; las marcas (markings) asignan cantidades de tokens a lugares y una transición se activa cuando sus lugares de entrada tienen suficientes tokens, consumiendo y produciendo tokens para modelar comportamientos concurrentes, síncronos y limitados por recursos en sistemas distribuidos.