| Keyword : trap
| |
|
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(126.3KB) | |
| |
|
|