Room 2.25a Dept. of Computer Science The University Manchester M13 9PL EnglandTelephone: (+44) 161 275 3531, email: nicklins@cs.man.ac.uk
From here you can read the simple introduction to my thesis , download the sources to the Petri net analysis tool (AMUnet) developed within the AMULET group, view screen shots from AMUnet and follow a number of links to sites which provide background reading to my work.
Since my thesis WILL be given in this June, my CV can be viewed (and downloaded in a number of formats) from here.