Hirozumi Yamaguchi Khaled El-Fakih Gregor von Bochmann Teruo Higashino Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. 21-35 2003 16 Distributed Computing 1 http://link.springer.de/link/service/journals/00446/bibs/3016001/30160021.htm db/journals/dc/dc16.html#YamaguchiEBH03