Add more petri nets to text