Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/08/01
Vol. E96-A
No. 8
pp. 1783-1793
Type of Manuscript:
PAPER
Category: Concurrent Systems
Keyword:
concurrent systems, Petri nets, liveness, deadlock, resource allocation, |
