In computer science, a Petri net is a mathematical modeling tool used in analysis and simulations of concurrent systems.
În informatică, o rețea Petri este un instrument de modelare matematică utilizat în analize și simulări ale sistemelor concurente.