• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

DMCA

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

Cached

  • Download as a PDF

Download Links

  • [www-tani.ics.es.osaka-u.ac.jp]
  • [www-tani.ics.es.osaka-u.ac.jp]
  • [www.site.uottawa.ca]
  • [www-higashi.ist.osaka-u.ac.jp]
  • [beethoven.site.uottawa.ca]
  • [www-higashi.ist.osaka-u.ac.jp]
  • [www.site.uottawa.ca]
  • [www-higashi.ist.osaka-u.ac.jp]
  • [www.site.uottawa.ca]
  • [beethoven.site.uottawa.ca]
  • [www-higashi.ics.es.osaka-u.ac.jp]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Hirozumi Yamaguchi , Khaled El-fakih , Gregor V. Bochmann , Teruo Higashino
Venue:IEEE Transactions on Information Theory
Citations:6 - 4 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

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.}
}

Share

Facebook Twitter Reddit Bibsonomy

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   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University