Modelado con Redes de Petri

Formalismo gráfico y matemático para modelar sistemas discretos concurrentes, asincrónicos y distribuidos mediante lugares, transiciones, arcos dirigidos y fichas (tokens); el comportamiento se define por la distribución de tokens (marcado) y las reglas de disparo de transiciones que mueven tokens entre lugares.