Meaning of "Petri-net" in English language

Dutch to English English to Dutch