Title	A Formal Verification Case Study for IEEE-P.896 Bus Arbiter by using A Model Checking Tool
Author	Katsumi Wasaki
Citation	Vol. 7  No. 3  pp. 184-192
Keywords	Formal Verification, Model Checking, Temporal Logic, Bus Arbiter, Hardware Description Languages

Title	A Realization and Verification of A Parallel Image Processing Controller by using An Extended Petri net
Author	Katsumi Wasaki
Citation	Vol. 7  No. 3  pp. 258-263
Keywords	Extended Petri nets, Flexible Manufacturing Systems, Image Processing Controllers, System Verification

Title	A Realization of the Persistence of Petri Net State Spaces using XML Data Deployment
Author	Katsumi Wasaki
Citation	Vol. 8  No. 3  pp. 92-97
Keywords	System Reliability, Petri Nets, State Space Persistency and XML

Title	Self-Stabilizing Model of A Memory Controller based on the Cellular Automata
Author	Katsumi Wasaki
Citation	Vol. 8  No. 3  pp. 222-227
Keywords	Cellular Automata, Self-Stabilizing, Fault Tolerant and Fault Masking