Diagnosis system for automatic detection of deadlock in asynchronous concurrent distributed computing systems: using timed Petri net with stacks | IEEE Conference Publication | IEEE Xplore