Login / Signup
Extended coloured Petri nets with structured tokens formal method for distributed systems.
Khaoula Al Ali
Wolfgang Fengler
Bernd Däne
Published in:
SpringSim (TMS-DEVS) (2011)
Keyphrases
</>
distributed systems
objective function
fault tolerant
fault tolerance
digital libraries
artificial intelligence
data management
dynamic environments
operating system
intelligent agents
geographically distributed