Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets.

Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch

Browse the full FORTE paper archive.