(Promela) Some calculations regarding token rates..