Runtime Monitoring of Multi-agent Manufacturing Systems for Deadlock Detection Based on Models.

Nariman Mani Vahid Garousi Behrouz H. Far

Published in: ICTAI (2009)

Keyphrases

manufacturing systems
deadlock detection
multi agent
complex systems
distributed systems
manufacturing processes
real time
distributed database systems
cooperative
petri net
manufacturing environment
shop floor
lower bound
database management systems
process model