Contents of Report

[Data of Report]

Report Number:: TM0243
Date of Registration:: 1986.11
English Title:: ***
Japanese Title:: ペトリネットを利用した通信システム設計仕様の解析
English Author:: H.Hasegawa,W.Tanaka,K.Shibata,M.Yamaguchi
Japanese:: 長谷川　晴朗,田中　亘,柴田　健次,山口　政巳
Name of Organization to which author belongs:: Oki,Oki,Oki,Oki
PDF:: tm0243.pdf

[Contents]

1	まえがき	.... 2
2	通信システム用仕様記述	.... 2
3	仕様設計エキスパートシステムの概要	.... 2
4	サービスグラフの統合	.... 3
5	ペトリネットの関数行列	.... 5
6	論理矛盾の検出	.... 7
7	行列を利用した統合	.... 8
8	新サービスの提示	.... 9
9	おわりに	.... 10
10	参考文献	.... 10
	End	.... 11

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

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