A linear algebraic characterization of dead markings in a place/transition net