Abstrakti, muodollinen malli tiedonkulkua, osoittaa staattisia ja dynaamisia ominaisuuksia järjestelmän. A Petri net on yleensä edustaa graafina ottaa kahdentyyppisiä solmuja (kutsutaan paikkoja ja siirroksia) kaaret ja merkinnät (kutsutaan tokens) dynaamisia ominaisuuksia.