Keyword : reachability


Structural and Behavioral Properties of Well-Structured Workflow Nets
Zhaolong GOU Shingo YAMAGUCHI 
Publication:   
Publication Date: 2017/02/01
Vol. E100-A  No. 2 ; pp. 421-426
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
Petri networkflow netwell-structuredsoundnessreachabilityseparability
 Summary | Full Text:PDF(721.3KB)

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 detectionPetri-netmutual exclusionreachability
 Summary | Full Text:PDF(539.7KB)

Proposal for Designing Method of Radio Transmission Range to Improve Both Power Saving and Communication Reachability Based on Target Problem
Ryo HAMAMOTO Chisa TAKANO Hiroyasu OBATA Masaki AIDA Kenji ISHIDA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2016/11/01
Vol. E99-B  No. 11 ; pp. 2271-2279
Type of Manuscript:  Special Section PAPER (Special Section on Deepening and Expanding of Information Network Science)
Category: 
Keyword: 
ad hoc networkpower savingreachabilitytarget problemtopology management
 Summary | Full Text:PDF(3MB)

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 systemsecurityhybrid automatonreachabilityRRT
 Summary | Full Text:PDF(1MB)

Polynomial Time Verification of Reachability in Sound Extended Free-Choice Workflow Nets
Shingo YAMAGUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2014/02/01
Vol. E97-A  No. 2 ; pp. 468-475
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
Petri networkflow netreachabilityextended free-choicewell-structuredpolynomial time algorithm
 Summary | Full Text:PDF(605.8KB)

Reachability Analysis of Variants of Communication-Free Petri Nets
Chien-Liang CHEN Suey WANG Hsu-Chun YEN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/03/01
Vol. E92-D  No. 3 ; pp. 377-388
Type of Manuscript:  PAPER
Category: Algorithm Theory
Keyword: 
reachabilitycommunication-free Petri nets
 Summary | Full Text:PDF(450.9KB)

A Reachability Estimation Scheme for Group Membership Services in MANETs
Dukyun NAM Dongman LEE Han NAMGOONG 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2008/06/01
Vol. E91-B  No. 6 ; pp. 2029-2032
Type of Manuscript:  LETTER
Category: Network Management/Operation
Keyword: 
reachabilityMANETsgroup membership
 Summary | Full Text:PDF(469.3KB)

Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata
Yosuke MUTSUDA Takaaki KATO Satoshi YAMANE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11 ; pp. 2972-2981
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
verificationperformance evaluationformal specificationprobabilistic hybrid automatareachabilitysymbolic methods
 Summary | Full Text:PDF(641.7KB)

Petri Nets with Simple Circuits
Hsu-Chun YEN Lien-Po YU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/09/01
Vol. E88-D  No. 9 ; pp. 2113-2125
Type of Manuscript:  PAPER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
Petri netreachabilitycomplexitydecomposition approach
 Summary | Full Text:PDF(861.2KB)

An Efficient Method for Testing Reachability Using Knowledge in Detecting Non-determinacy Feature Interactions
Junpei KOBAYASHI Tae YONEDA Tadashi OHTA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/04/01
Vol. E85-D  No. 4 ; pp. 607-614
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Specification
Keyword: 
feature interactionnon-determinacyservice specificationreachabilityknowledge
 Summary | Full Text:PDF(255.1KB)

On Cellular Arrays and Other Topics in Parallel Computing
Oscar H. IBARRA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/02/01
Vol. E85-D  No. 2 ; pp. 312-321
Type of Manuscript:  INVITED SURVEY PAPER
Category: 
Keyword: 
cellular arraycomputational complexityparallel complexityreachabilitycommutativity analysis
 Summary | Full Text:PDF(259.6KB)

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-A  No. 11 ; pp. 2219-2227
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
temporal linear logicconcurrent systemssynchronous communicationtimed Petri netsreachability
 Summary | Full Text:PDF(292.7KB)

An Algorithm for Petri Nets Reachability by Unfoldings
Toshiyuki MIYAMOTO Shun-ichiro NAKANO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/03/25
Vol. E82-A  No. 3 ; pp. 500-503
Type of Manuscript:  Special Section LETTER (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
Petri netunfoldingsreachabilityavoidance of state space explosion
 Summary | Full Text:PDF(206KB)

Reachability Criterion for Petri Nets with Known Firing Count Vectors
Tadashi MATSUMOTO Yasushi MIYANO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4 ; pp. 628-634
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
general Petri netsreachabilitystate equationspurious solutionsnet decomposition immature siphons/traps
 Summary | Full Text:PDF(646.6KB)

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 netsthe earliest furing rulelivenessreachability
 Summary | Full Text:PDF(520KB)

A Method to Validate the Correctness of Test Logic Programs Applied in a Protocol Conformance Test System Using Petri Nets
Hiroto SUZUKI Kohkichi TSUJI Tetsuo ARAKI Osamu TAKAHASHI Shizuo YOSHITAKE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10 ; pp. 1663-1671
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
Petri netsreachabilityconformance testOSI protocoltest logictest spquence
 Summary | Full Text:PDF(845.8KB)

LR Parsing with a Category Reachability Test Applied to Speech Recognition
Kenji KITA Tsuyoshi MORIMOTO Shigeki SAGAYAMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/01/25
Vol. E76-D  No. 1 ; pp. 23-28
Type of Manuscript:  Special Section PAPER (Special Issue on Speech and Discourse Processing in Dialogue Systems)
Category: 
Keyword: 
speech recognitionHMMsLR parsingreachabilityLR-CRT algorithm
 Summary | Full Text:PDF(526.6KB)