Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources

Authors:
Khaled El-Fakih;Gregor v. Bochmann;Hirozurni Yarnaguchi;Teruo Higashino
Affiliations:
-;-;-;-
Venue:
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Year:
2000

Citing 0
Cited 2

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

Distributed Computing
Deriving protocol specifications from service specifications written as predicate/transition-nets

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present a method for the synthesis of extended Petri net based distributed specification. Our method finds an optimal allocation of resources (computational data) that optimizes the derived distributed specification, based on some reasonable communication cost criteria.