Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2013/02/01 Vol. E96-ANo. 2 ;
pp. 540-553 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Algorithms and Data Structures Keyword: timed Petri nets, legal firing sequence problems, deficient siphons, heuristic algorithms, performance evaluation,
Propositional Temporal Linear Logic and Its Application to Concurrent Systems Takaharu HIRAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/11/25 Vol. E83-ANo. 11 ;
pp. 2219-2227 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: temporal linear logic, concurrent systems, synchronous communication, timed Petri nets, reachability,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/10/25 Vol. E75-ANo. 10 ;
pp. 1407-1421 Type of Manuscript: Special Section PAPER (Special Section on Application of Petri Nets to Concurrent System Design) Category: Keyword: timed Petri nets, scheduling, approximation algorithms, time complexity, NP-hardness,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/10/25 Vol. E75-ANo. 10 ;
pp. 1394-1406 Type of Manuscript: Special Section PAPER (Special Section on Application of Petri Nets to Concurrent System Design) Category: Keyword: scheduling, priority-lists, approximation algorithms, timed Petri nets,