Added the dining philosophers sample.
Made LTS.edges accept identifiers not being defined.