Deriving protocol specifications from service specifications written as Predicate/Transition-nets

DOI10.1016/J.COMNET.2006.03.011zbMath1118.68028OpenAlexW2116538305MaRDI QIDQ856741

Hirozumi Yamaguchi, Teruo Higashino, Khaled El-Fakih, Gregor von Bochmann

Publication date: 7 December 2006

Published in: Computer Networks (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.comnet.2006.03.011

zbMATH Keywords

distributed systemPetri netspecificationautomated design

Mathematics Subject Classification ID

Network protocols (68M12)

Related Items (2)

Synthesizing distributed protocol specifications from a UML state machine modeled service specification ⋮ Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets

Uses Software

• CPN/Tools

This page was built for publication: Deriving protocol specifications from service specifications written as Predicate/Transition-nets