Communication-Communication Systems(Date:1995/07/07)

Presentation
表紙

,  

[Date]1995/7/7
[Paper #]
目次

,  

[Date]1995/7/7
[Paper #]
On Reduced State Space Generation for Concurrent Systems with Unbounded States

Kunihiko Hiraishi,  

[Date]1995/7/7
[Paper #]
A Study on Reachability for Petri Nets via Pontryagin's Minimum Principle

Tadashi Matsumoto,  Ahmed Tarek,  Salihen Saleh,  

[Date]1995/7/7
[Paper #]
Algorithm for Finding a Set of All Atoms Compatible with a Given Partial Language

Shinsuke Kani,  Susumu Hashizume,  Katsuaki Onogi,  Yoshiyuki Nishimura,  

[Date]1995/7/7
[Paper #]
On the Minimal Time Reachability Problem of Timed Petri Nets.

Atsushi Ohta,  Tomiji Hisamura,  

[Date]1995/7/7
[Paper #]
A Fast Verification Method of the Reachabelity set on Discrete Event Systems

Yoshihiro Ueda,  Akira Takura,  Tadashi Ohta,  

[Date]1995/7/7
[Paper #]
[OTHERS]

,  

[Date]1995/7/7
[Paper #]