Tony Spiteri Staines. Using a Timed Petri Net (TPN) to Model a Bank ATM. In 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany. pages 151-158, IEEE Computer Society, 2006. [doi]