DocumentCode
2486419
Title
Automatic derivation of Petri net based distributed specification with optimal allocation of resources
Author
El-Fakih, Khaled ; Yamaguchi, Hirozumi ; v.Bochmann, G. ; Higashino, Teruo
Author_Institution
Sch. of Inf. Technol. & Eng., Ottawa Univ., Ont., Canada
fYear
2000
fDate
2000
Firstpage
305
Lastpage
308
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
Keywords
Petri nets; communication complexity; computer aided software engineering; distributed processing; formal specification; optimisation; resource allocation; Petri net-based distributed specification; automatic specification derivation; communication cost criteria; computational data allocation; optimal resource allocation; specification optimization; Context; Cost function; Distributed computing; Fires; Information technology; Input variables; Integer linear programming; Optimization methods; Protocols; Resource management;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on
Conference_Location
Grenoble
ISSN
1938-4300
Print_ISBN
0-7695-0710-7
Type
conf
DOI
10.1109/ASE.2000.873684
Filename
873684
Link To Document