Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets

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. Distributed Computing, 16(1):21-35, 2003. [doi]

Abstract

Abstract is missing.