Communication-Communication Systems(Date:2003/07/29)

Presentation
表紙

,  

[Date]2003/7/29
[Paper #]
目次

,  

[Date]2003/7/29
[Paper #]
Characterization of Nonnegative Integer and Minimal Solutions by Nonnegative Rational and Elementary Ones for State Equation of a Petri Net : the Set of Instances

Maki TAKATA,  Akira MURAYA,  Seiichiro MORO,  Tadashi MATSUMOTO,  

[Date]2003/7/29
[Paper #]CST2003-7
A SAT-based Model Verification Method for Petri nets

Shougo OGATA,  Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2003/7/29
[Paper #]CST2003-8
Physical Distribution Support System with Multi-Intermediate Depot based on G-XML

Norimitsu NISHIHIRA,  Atsushi OTSUKA,  Morikazu NAKAMURA,  Kenji ONAGA,  

[Date]2003/7/29
[Paper #]CST2003-9
Improving a Heuristic Algorithm AAD for the Minimum Initial Marking Problem of Petri Nets

Satoshi TAOKA,  Toshimasa WATANABE,  Shin'ichiro NISHI,  

[Date]2003/7/29
[Paper #]CST2003-10
A Proposal of Change Type "Selective Shift" for Flexible Dynamic Workflow Changes

Akira MISHIMA,  Shingo YAMAGUCHI,  Qi-Wei GE,  Minoru TANAKA,  

[Date]2003/7/29
[Paper #]CST2003-11
Finding Legal Firing Sequences of Timed Petri Nets Based on Postponing Firing Activity of Transitions

Tsuyoshi TACHIBATAKE,  Satoshi TAOKA,  Toshimasa WATANABE,  

[Date]2003/7/29
[Paper #]CST2003-12
奥付

,  

[Date]2003/7/29
[Paper #]
複写される方へ

,  

[Date]2003/7/29
[Paper #]