Login / Signup
Stochastic Petri net-based modeling and formal analysis of fault tolerant Contract Net Protocol.
Djamila Boukredera
Ramdane Maamri
Samir Aknine
Published in:
Web Intell. (2016)
Keyphrases
</>
fault tolerant
formal analysis
fault tolerance
contract net protocol
distributed systems
formal methods
load balancing
ban logic
machine learning
knowledge based systems
modeling language
artificial intelligence
response time
petri net