Modelling the configuration/management API middleware using coloured petri nets.

Paul Fleischer Lars Michael Kristensen

Published in: SimuTools (2008)

Keyphrases

configuration management
coloured petri nets
network management
formal verification
version control
source code
low level
distributed systems
open source
mobile agents
application programming interface
high level
model checking
third party
access control
application developers
peer to peer