Mediante una red de Petri puede modelarse un sistema de evolución en paralelo o eventos concurrentes compuesto de varios procesos que cooperan para la realización de un objetivo común.

La presencia de marcas se interpreta habitualmente como presencia de recursos. El franqueo de una transición (la acción a ejecutar) se realiza cuando se cumplen unas determinadas precondiciones, indicadas por las marcas en las fichas (hay una cantidad suficiente de recursos), y la transición (ejecución de la acción) genera unas postcondiciones que modifican las marcas de otras fichas (se liberan los recursos) y así se permite el franqueo de transiciones posteriores.

Definición: Una red de Petri es un conjunto formado por ${\displaystyle R=\{P,T,Pre,Post\}}$ , donde ${\displaystyle P}$  es un conjunto de lugares de cardinal ${\displaystyle n}$ , ${\displaystyle T}$  un conjunto de transiciones de cardinal ${\displaystyle m}$ , ${\displaystyle Pre}$  la aplicación de incidencia previa que viene definida como

y ${\displaystyle Post}$  la aplicación de incidencia posterior que viene definida como

Definición: Una red marcada es un conjunto formado por ${\displaystyle \{R,M\}}$  donde ${\displaystyle R}$  es una Red de Petri como la definida, ${\displaystyle M}$  es una aplicación denominada marcado y

Se asocia a cada marca un número natural por lo tanto en donde el número de marcas es descrita por la cardinalidad del conjunto de marcas en la red.

• Análisis de datos
• Modelos de simulación con Dinámica de sistemas
• Diseño de software
• Fiabilidad
• Flujo de trabajo
• Programación concurrente

1. ARP
2. CoopnTools
3. CPN-AMI
4. CPN Tools
5. CPN ML
6. DPNSchematic
7. HiQPN-Tool
8. HPSim
9. Integrated Net Analyzer
10. JARP : Petri Nets Analyzer. Web de desarrollo http://jarp.sourceforge.net/
11. JFern: Rakiura JFern (http://sourceforge.net/projects/jfern) "Java based Petri Net framework (2003)" - framework ligero con simulador, desarrollado en java.
12. JPetriNet: web de desarrollo http://jpetrinet.sourceforge.net/
13. Maria: web oficial http://www.tcs.hut.fi/Software/maria/
14. Marigold
15. Model-Checking Kit
16. NEPTUN
17. PEP
18. PetriEdiSim
19. Platform Independent Petri Net Editor
20. Petrigen
21. PetriSim
22. Petri Net Browser
23. Petri Net Kernel
24. Petri Net Simulator
25. PIPE (Platform Independent Petri net Editor 2)
26. PNES
27. PNSim
28. PNtalk
29. Poseidon
30. Poses++
31. Predator
32. PROD
33. Renew
34. SEA
35. SimPRES
36. SIPN-Editor
37. SimulaWorks
38. StpnPlay
39. Tina
40. Visual Object Net ++
41. WebSPN
42. WINSIM
43. Woflan
44. Wolfgang: http://iig-uni-freiburg.github.io/
45. Woped
46. XPetri
47. XRL

• Autómata finito
• Flujo de trabajo
• Diagrama de flujo

• Decidability Issues for Petri Nets a survey. Javier Esparza, Mogens Nielsen 1994
• Harald Störrle: Models of Software Architecture - Design and Analysis with UML and Petri-Nets, Books on Demand GmbH, ISBN 3-8311-1330-0
• Robert-Christoph Riemann: Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus, Herbert Utz Verlag, ISBN 3-89675-629-X
• Kurt Jensen: Coloured Petri Nets, Springer Verlag, ISBN 3-540-62867-3
• Janette Cardoso, Heloisa Camargo: Fuzziness in Petri Nets, Physica-Verlag, ISBN 3-7908-1158-0
• James Lyle Peterson: Petri Net Theory and the Modeling of Systems, Prentice Hall, ISBN 0136619835
• Mengchu Zhou, Frank Dicesare: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publishers, ISBN 0792392892
• Mengchu Zhou: Modeling, Simulation, & Control of Flexible Manufacturing Systems: A Petri Net Approach, World Scientific Publishing Company, ISBN 981023029X

•   Wikimedia Commons alberga una categoría multimedia sobre Red de Petri.
• YASPER Process Modeling Software
• Petri Nets World
• Petri Net Markup Language Archivado el 7 de enero de 2010 en Wayback Machine.
• exchangeable Routing Language
• Citations from CiteSeer
• Introducción a las redes de Petri. Aplicación práctica en multitarea.