|
| Keyword : reachability
| |
|
Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection
Yunkai DU Naijie GU Xin ZHOU | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/12/01
Vol. E99-D
No. 12 ;
pp. 2978-2985
Type of Manuscript:
Special Section PAPER (Special Section on Parallel and Distributed Computing and Networking)
Category: Distributed system
Keyword:
deadlock detection, Petri-net, mutual exclusion, reachability, | | | Summary | Full Text:PDF | |
| |
|
RRT-Based Computation for Dynamic Security Analysis of Power Systems
Qiang WU Yoshihiko SUSUKI T. John KOO | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2016/02/01
Vol. E99-A
No. 2 ;
pp. 491-501
Type of Manuscript:
Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category:
Keyword:
power system, security, hybrid automaton, reachability, RRT, | | | 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 | |
| |
| |
|
|