Dynamic process modelling using Petri nets with applications to nuclear power plant emergency management. (18th December 2008)