SMS versenden: Algebraically Generalised Petri Nets :