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

Jonathan Billington Amar Kumar Gupta Guy Edward Gallasch

Published in: FORTE (2008)

Keyphrases

coloured petri nets
contract net protocol
petri net
formal verification
process model
holonic manufacturing systems
decision making
case study
information processing
simulation platform
multi agent systems
multi dimensional
electronic commerce
complex systems
dynamic systems