Models for software, computer systems, and communications networks, with discrete states, instantaneous transitions and stochastic behaviour. Communicating finite state machines and Petri Nets. Review of concepts of probability, and of Markov Chains with discrete and continuous parameters. Basic queuing theory. Numerical methods for Markov Models.