通信-通信方式(開催日：1996/05/23)

タイトル/著者/発表日/資料番号
表紙 ,   [発表日]1996/5/23 [資料番号]
目次 ,   [発表日]1996/5/23 [資料番号]
一般ペトリネットが可到達であるための必要十分条件に関する枠組 松本 忠,   [発表日]1996/5/23 [資料番号]CST96-1
半順序条件ペトリネットが構造活性であるための必要十分条件 松本 忠,  鶴田 康彦,   [発表日]1996/5/23 [資料番号]CST96-2
Verification of asynchronous systems based on Petri Net unfoldings ,   [発表日]1996/5/23 [資料番号]CST96-3
Deadlock Prevention by Petri Net Transformations ,   [発表日]1996/5/23 [資料番号]CST96-4
Synthesis of General Petri Nets ,   [発表日]1996/5/23 [資料番号]CST96-5
[OTHERS] ,   [発表日]1996/5/23 [資料番号]