In this paper, a new method is proposed to evaluate the performance of concurrent systems. A concurrent system consisting of multiple processes that communicate via message passing mechanisms is modeled by a Petri net, which is in turn represented by a set of ordinary differential equations (ODEs)of a restricted type. The equations describe the system state changes, and the solutions, also call…
Abstract. The increasing thirst for energy to fuel its fast growing economy has made China keen to explore the potential of modern form of bioenergy, biofuel. This study investigates the land and water requirements of biofuel in China with reference to the government biofuel development plans for 2010 and 2020. The concept of land and water footprints of biofuel is applied for the investigatio…