Communication-Communication Systems(Date:1997/07/11)

Presentation
表紙

,  

[Date]1997/7/11
[Paper #]
目次

,  

[Date]1997/7/11
[Paper #]
On the Use of Binary Decision Diagram to Describe the State Space of the Earliest Firing Petri Net.

Atsushi OHTA,  

[Date]1997/7/11
[Paper #]CST97-7
Robust Finite State Supervisor

Shigemasa Takai,  

[Date]1997/7/11
[Paper #]CST97-8
A Simple Method of Deriving a Basis for Invariants in Petri Nets

Tadashi MATSUMOTO,  

[Date]1997/7/11
[Paper #]CST97-9
On General Structure of Behavioral Traps in Petri Nets

Tadashi MATSUMOTO,  Takeshi NAKAO,  Tomoya KAWAKOSHI,  

[Date]1997/7/11
[Paper #]CST97-10
Finding an Upper Bound of Petri Nets by Using Unfoldings

Toshiyuki Miyamoto,  Sadatoshi Kumagai,  

[Date]1997/7/11
[Paper #]CST97-11
化学工業とコンカレントエンジニアリングの役割

,  

[Date]1997/7/11
[Paper #]CST97-12
A Study on Solution Methods of Condition/Event Nets Construction Problem

,  

[Date]1997/7/11
[Paper #]CST97-13
An Analysis of Concurrent System specification on Petri Nets

Yoshihiro UEDA,  Tsuyoshi ANDO,  

[Date]1997/7/11
[Paper #]CST97-14
Petri nets Modeling for Satisfiability Problem of Telecommunication Systems

Naomoto KATO,  Yoshiaki SHIGETA,  Tsuyoshi ANDO,  

[Date]1997/7/11
[Paper #]CST97-15
Modeling and Scheduling for Mecanical Assembly using Timed Petri Net

Akio Inaba,  Fumiharu Fujiwara,  Tatsuya Sizuki,  Shigeru Okuma,  

[Date]1997/7/11
[Paper #]CST97-16
Identification of Task Skill with Hidden Markov Model

Kaiji ITABASHI,  Tatsuya SUZUKI,  Shigeru OKUMA,  

[Date]1997/7/11
[Paper #]CST97-17
[OTHERS]

,  

[Date]1997/7/11
[Paper #]