application and theory of petri nets : lecture notes in computer science :proceedings - Zaki, M.J.:Ho, Ching-Tien (Springer: Tokyo, 2000)
Keywords: petri nets : distributed systems