Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources
Abstract
In this paper, we present a method for the synthesis of extended Petri net-based distributed specifications. Our method finds an optimal allocation of resources (computational data) that optimizes the derived distributed specification, based on some reasonable communication-cost criteria.
BibTeX
@inproceedings{ElFakih-al:ASE00,
author = {Khaled El{-}Fakih and
Hirozumi Yamaguchi and
Gregor von Bochmann and
Teruo Higashino},
title = {Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources},
booktitle = {ASE},
pages = {305--308},
publisher = {{IEEE} Computer Society},
year = {2000},
}