We motivate and study the subnet reduction of Petri nets. Subnet reduction can avoid the state exploration problem by guaranteeing the correctness in the Petri net. For systems specified in Petri nets, this paper proposes two subnet reduction methods. One major advantage of these reduction methods is that the resultant ordinary Petri net is guaranteed to be live, bounded and reversible. A group...

BICUVOX.10 (Bi Cu V O ) might be a very attractive material for use in oxygen sensors, fuel cells and oxygen 2 0.1 0.9 5.35 separators. The electrochemical stability of BICUVOX.10 is an important factor for its future application. The electrochemical reduction and oxidation can be recognized very easily by the voltammetric technique. Our previous voltammetric measurements were made on 3-electro...

The electrochemistry, UV-vis spectrophotometry, photoluminescence, and electrogenerated chemiluminescence (ECL) of perylenedicarboxylic imide, perylenetetracarboxylic diimide (PDI), terrylenetetracarboxylic diimide (TDI), and quaterrylenecarboxylic diimide (QDI) were investigated. All compounds undergo two reversible one-electron reductions and one reversible one-electron oxidation reaction. Th...

In the investigation of minimal machinery in reversible computing, we proved that each nondegenerate 2-state 3-symbol reversible logic element is logically universal. So far, a 2-state 4-symbol element called “rotary element” was shown to be logically universal in the framework of reversible logic element with memory. The main result in this paper not only improves the previous result with resp...

A woman aged 68 years who experienced recurrent right hemiparesis caused by hypoglycemia was admitted to our hospital. When she was experiencing a low level of glucose, diffusion-weighted MR imaging showed the presence of hyperintensity lesions in the bilateral internal capsule. Diffusion-weighted MR imaging has been infrequently performed in patients with hypoglycemia. We report the reversible...

Power loss in the electronic system is a limiting fector that can be reduced or minim help of using the reversible logics “ a conce Thermodynamics”. In this paper the autho concept of reversible logics for the Electr The logical and physical designing approa the paper in detail. The contradiction o physical reversibility with the convent designing is also shows and the solu contradiction is als...