##  [Modelado con Redes de Petri](/es/node/64954) 

  ##  [Modelado con Redes de Petri](https://engineering.quantumdictionary.io/es/node/64955) 

  

 [![Engineering & Applied Technologies Dictionary](/sites/default/files/styles/large/public/2026-01/Engineering%20%26%20Applied%20Technologies.png.webp?itok=_IKO7_-n)](/topic-specific-dictionaries/engineering-applied-technologies)



**Engineering & Applied Technologies Dictionary**

 







 

 

 

 



 

 

 

 

Definición

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.