Trap spaces of Boolean networks are conflict-free siphons of their Petri net [pdf]