TY - BOOK AU - Zaki, M.J.:Ho, Ching-Tien TI - application and theory of petri nets : lecture notes in computer science :proceedings SN - 0003540671943 U1 - 004.3 PB - Springer: Tokyo KW - petri nets : distributed systems ER -