A model for a Petri Net.