Tomiji HISAMURA

On Liveness of Extended Partially Ordered Condition Nets
Atsushi OHTA  Kohkichi TSUJI  Tomiji HISAMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/11/20
Vol. E82-A  No. 11  pp. 2576-2578
Type of Manuscript: Special Section LETTER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
Petri net,  liveness,  siphon,  trap, 
  Summary |  Full Text:PDF (128.6KB)
On Liveness of Time POC Nets with the Static Fair Condition
Atsushi OHTA  Tomiji HISAMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/08/20
Vol. E82-A  No. 8  pp. 1648-1655
Type of Manuscript: PAPER
Category: Concurrent Systems
Keyword: 
concurrent system,  time Petri net,  subclass,  liveness, 
  Summary |  Full Text:PDF (351.9KB)
An Algebraic Criterion for State Machine Allocatable Nets
Atsushi OHTA  Tomiji HISAMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/20
Vol. E81-A  No. 4  pp. 626-627
Type of Manuscript: Special Section LETTER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
Petri net,  state machine allocatable net,  free choice net, 
  Summary |  Full Text:PDF (153.2KB)
On Some Analysis Properties of Petri Net Systems under the Earliest Firing Rule
Atsushi OHTA  Tomiji HISAMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/20
Vol. E79-A  No. 11  pp. 1791-1796
Type of Manuscript: Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
Petri nets,  the earliest furing rule,  liveness,  reachability, 
  Summary |  Full Text:PDF (521.7KB)