Streszczenie, formalny model przepływu informacji, Wyświetlono statycznych i dynamicznych właściwości systemu. Sieć Petriego A jest zwykle reprezentowany jako wykres o dwa rodzaje węzłów (o nazwie miejsca i przejścia), połączone łuki i oznakowania (nazywane tokenów) wskazujące właściwości dynamicznych.