Learn More
This report suggests a way for Petri Net analysis by checking the ordering relations between places and transitions. The method is based on unfolding the original net into an equivalent acyclic description. We improved on the previously known cutoo criterion for truncating the unfolding 10]. No restrictions are imposed on the class of general PNs. The new(More)
Surface acoustic wave mediated transductions have been widely used in the sensors and actuators applications. In this study, a shear horizontal surface acoustic wave (SHSAW) was used for the detection of food pathogenic Escherichia coli O157:H7 (E.coli O157:H7), a dangerous strain among 225 E. coli unique serotypes. A few cells of this bacterium are able to(More)
  • 1