Links for petri-net-core