We use the theory of Dirichlet spaces to construct symmetric Markov processes of pure jump type and to identify the Lévy measures for these processes. Particular attention is paid to lattice and hard sphere systems which interact through speed change and exclusion.