The source of every must be a sibling place or transition. The target of every must be a sibling place or transition. The reference of every must be a sibling (reference) place of its containing page. Every place a C/R/U/D arc connects to is a store.