SMS: Biological petri nets