olemus
ISO/IEC/IEEE 24765:
(i) algebraline struktuur kahe hulgaga, millest üht nimetatakse kohtadeks ja teist siireteks, koos nende juurde kuuluvate seoste ja funktsioonidega, ning mis on nimetatud ta leiutaja Carl Adam Petri järgi
= algebraic structure with two sets, one called places and the other called transitions, together with their associated relations and functions, and named after their inventor, Carl Adam Petri
(ii) infovoo abstraktne formaalmudel, mis näitab süsteemi staatilisi ja dünaamilisi omadusi
= abstract, formal model of information flow, showing static and dynamic properties of a system

ülevaateid
https://en.wikipedia.org/wiki/Petri_net

http://www.lsv.fr/~schwoon/enseignement/verification/ws1415/nets.pdf

https://opencourses.emu.edu.tr/pluginfile.php/53492/mod_resource/content/3/Formal%20introduction%20to%20Petri%20nets.pdf

https://edisciplinas.usp.br/pluginfile.php/298774/mod_resource/content/1/Apps_Ch24.pdf