A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources

DMCA

A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources (2000)

Cached

Download Links

by Hirozumi Yamaguchi , Khaled El-fakih , Gregor V. Bochmann , Teruo Higashino

Venue:	IEEE Transactions on Information Theory
Citations:	6 - 4 self

BibTeX

@INPROCEEDINGS{Yamaguchi00apetri,
    author = {Hirozumi Yamaguchi and Khaled El-fakih and Gregor V. Bochmann and Teruo Higashino},
    title = {A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources},
    booktitle = {IEEE Transactions on Information Theory},
    year = {2000},
    pages = {pp.}
}

OpenURL

Abstract

In this paper, we present a method for the synthesis of extended Petri net based distributed specification. Although a lot of synthesis methods have been proposed, only a few synthesis methods have treated resources (computational data) such as databases and files. In contrast to previous methods that assume some fixed resource allocation, our method finds an optimal resource allocation that optimizes the derived distributed specification, based on some reasonable communication cost criteria. The method starts by identifying the set of rules for deriving a protocol specification from a given service specification. Based on these rules, an optimal resource allocation problem is formulated using an integer linear programming model. An example application is discussed. 1. Introduction Synthesis methods have been used (for surveys see [2]) to derive a specification of a distributed system (hereafter called protocol specification) automatically from a given specification of the service to...

Keyphrases

petri net deriving distributed specification optimal allocation protocol specification synthesis method reasonable communication cost criterion optimal resource allocation optimal resource allocation problem service specification extended petri net integer linear programming model distributed system fixed resource allocation computational data introduction synthesis method example application distributed specification previous method

DMCA