Contents of Report


[Data of Report]

Report Number:
TM0886
Date of Registration:
1990.08
English Title:
An Analysis of Parallel Program by utilizing Petri Nets
Japanese Title:
ペトリネットを利用した並列プログラムの解析
English Author:
H.Hasagewa,T.Taguchi,S.Nakajima,A.Honjo
Japanese:
長谷川 春朗,田口 毅,中島 俊介,本城 哲
Name of Organization to which author belongs:
OKI,OKI,OKI,OKI
PDF:
tm0886.pdf

[Contents]

概要.... 2
1はじめに.... 2
2ペトリネットの利用.... 2
3GHCとは.... 3
4GHCプログラムの解析.... 4
5ペトリネットとの対応.... 5
6ペトリネットによる解析.... 6
7あとがき.... 8
参考文献.... 8
End.... 9


目次をクリックすると、PDFファイルが表示されます。

ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda