Communication-Communication Systems(Date:1994/07/18)

Presentation
表紙

,  

[Date]1994/7/18
[Paper #]
目次

,  

[Date]1994/7/18
[Paper #]
Controlled Complementary-Places Petri Nets and Forbidden Marking Problems

Wooi Voon Chang,  Toshimitsu Ushio,  Shigemasa Takai,  Sadatoshi Kumagai,  Shinzo Kodama,  

[Date]1994/7/18
[Paper #]CST94-10
An Efficient Verification Method for Discrete Event Systems using Binary Decision Diagrams

Minoru Nakano,  Kunihiko Hiraishi,  

[Date]1994/7/18
[Paper #]CST94-11
Issues on Models and Tools for Supporting Computer Supported Cooperative Works

Koichiro Ochimizu,  

[Date]1994/7/18
[Paper #]CST94-12
Recent Topics on Supervisory Control of Discrete Event Systems

Toshimitsu Ushio,  

[Date]1994/7/18
[Paper #]CST94-13
Concurrent System Control based on Multi-layered State Machine Model

Tomohiro Murata,  

[Date]1994/7/18
[Paper #]CST94-14
A Framework on Structual Liveness for General Petri Nets

Tadashi Matsumoto,  Shinichi Yamazaki,  

[Date]1994/7/18
[Paper #]CST94-15
[OTHERS]

,  

[Date]1994/7/18
[Paper #]