SMS versenden: Advances in Petri Nets 1988 /