Explore discrete event properties, reliability, parallelism, availability