Optimization of Concurrent Process Program Specification

June KATO  Masaki ITOH  Haruhisa ICHIKAWA  

Publication
IEICE TRANSACTIONS (1976-1990)   Vol.E73   No.12   pp.1994-2000
Publication Date: 1990/12/25
Online ISSN: 
DOI: 
Print ISSN: 0000-0000
Type of Manuscript: Special Section PAPER (Special Issue on the 3rd Karuizawa Workshop on Circuits and Systems)
Category: Graphs and Petri Nets
Keyword: 


Full Text: PDF(512.9KB)
>>Buy this Article


Summary: 
This paper proposes an algorithm for optimizing concurrent program specification generated by design automation techniques. Some of the information in automatically generated specifications can be modified for optimization. The proposed algorithm changes some signals between processes. The computational complexity of the algorithm is O(nlogn), where n is the number of states in a given process specification. Experimental application results demonstrate it useful not only to optimize individual process descriptions but also to change signals transferred between processes in the optimization.