Describir: Algebraically Generalised Petri Nets