2025
A Skeleton Temporal Fusion Graph Convolutional Network for Elderly Action Recognition.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2025
2024
Prohibited Item Detection Within X-Ray Security Inspection Images Based on an Improved Cascade Network.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2024
2023
A Research for Executable Path Automatic Generation Method Based on EFSM.
J. Softw., February, 2023
2021
Construction of a human body model for acupuncture and moxibustion treatment by colored Petri nets.
Biosyst., 2021
2019
Subnets Generation of Program Nets and Its Application to Software Testing.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019
Properties and Judgment of Determiner Sets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019
2017
Dependent Shrink of Transitions for Calculating Firing Frequencies in Signaling Pathway Petri Net Model.
Algorithms, 2017
2015
Dependent shrink for Petri net models of signaling pathways.
Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), 2015
On Modeling internal organs and meridian system based on traditional Chinese medicine.
Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), 2015
2014
A Public-Key Cryptosystem Based On Stochastic Petri Net.
J. Softw., 2014
2013
Incorporation of Cycles and Inhibitory Arcs into the Timed Petri Net Model of Signaling Pathway.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013
2012
Checking system boundedness using ordinary differential equations.
Inf. Sci., 2012
Kernel Set Problem and its Computation.
Proceedings of the Third International Conference on Networking and Computing, 2012
2010
On Determining Firing Delay Time of Transitions for Petri Net Based Signaling Pathways by Introducing Stochastic Decision Rules.
Silico Biol., 2010
Parallel Degree of Well-Structured Workflow Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010
Delay Time Determination for the Timed Petri Net Model of a Signaling Pathway Based on Its Structural Information.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010
2008
An Algorithm to Estimate Delay Times in Petri Net Models of Signaling Pathways with Experimental Data.
Proceedings of the 3rd International ICST Conference on Bio-Inspired Models of Network, 2008
2007
WF-Net Based Modeling and Soundness Verification of Interworkflows.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007
2006
Structural Modeling and Analysis of Signaling Pathways Based on Petri Nets.
J. Bioinform. Comput. Biol., 2006
Dead Problem of Program Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006
Complexity and a Heuristic Algorithm of Computing Parallel Degree for Program Nets with SWITCH-Nodes.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006
Performance Evaluation on Worst Change Time of Flush and SCO Dynamic Changes for State Machine WF-Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006
2005
A Flexible and Efficient Workflow Change Type: Selective Shift.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005
Performance Evaluation of a Two-Processor Scheduling Method for Acyclic SWITCH-less Program Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005
On generating elementary T-invariants of Petri nets by linear programming.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005
2003
Modeling and Performance Evaluation on Change Time for Migrate Dynamic Workflow Changes.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003
2002
An Optimal Two-Processor Scheduling for a Class of SWITCH-less Program Nets with Combined OR-nodes.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002
2001
On optimality of a two-processor scheduling for program nets with combined OR-nodes.
Proceedings of the 2001 International Symposium on Circuits and Systems, 2001