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

DOI10.1007/S00446-002-0074-4zbMath1448.68170OpenAlexW2003887790MaRDI QIDQ5138481

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

Publication date: 4 December 2020

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00446-002-0074-4

zbMATH Keywords

distributed systemPetri netprotocol specificationprotocol synthesisservice specificationprotocol re-synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Cites Work

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

This page was built for publication: Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets