|
| 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/25
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 | |
| |
|
|
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/25
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 | |
|
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/25
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 | |
|
|