We introduce a family of modeling techniques consisting of Petri nets together with a set of rules. For reconfigurable Petri nets, e.g. in [3] not only the follower marking can be computed but also the structure can be changed by rule application to obtain a new net. Motivation is the observation that in increasingly many application areas the underlying system has to be dynamic in a structural...

present communication deals with the study of four village fish culture ponds (two wild and two managed ponds) from district hisar of haryana, india was undertaken, to correlate the water quality and biological cycles in ponds with fish production. studies have revealed that the ponds are in good trophic status. chlorides, total hardness, calcium, magnesium, biochemical oxygen demand (bod), pho...

in order to compare the performance of different weed mangement methods in spring and waiting planting of rainfed chickpea this experiment was carrid out as split plot in randomized complete block design with four replications at maragheh agricaltural research station during 2004–2005 crop season. the main factors were planting ِdates including the waiting and spring planting. sub plots were wee...

There is a growing body of research focused on how angled fish respond to catch-and-release (C&R). However, most those studies do not span wide range sizes for the targeted species. Physical injury and physiological responses C&R can be size-dependent, methods used landing different vary. As such, studying response across may help inform best practices that improve outcomes released fis...

The aim of this study was to compare the effects of grab rail position, orientation, and number of hands used on the kinetics of assisted sit-to-stand transfers. Participants were 12 able-bodied older adults between the ages of 69 and 88 years. While each one performed the sit-to-stand transfer, a motion analysis system with 9 cameras recording at 60 Hz tracked the 3-D trajectories of retrorefl...

Bighorn sheep (Ovis canadensis) herds have suffered recent declines across their previous range, and desert bighorn sheep (O. c. mexicana) are listed as an endangered species in New Mexico. One factor affecting growth rates of these populations is low and variable lamb recruitment. Capturing and radio-collaring lambs can provide opportunities for collecting valuable information on factors poten...

Private monetary transfers from parents to adult children living in a separate household constitute an important share of aggregate net worth in the economies of major economies like the United States or Germany. Evidence from the United States from the middle eighties suggests that parental intervivos transfers gifts given from living parents to adult childrenare the source of at least 11 perc...

In this study we created a new routing fabric for reducing power and delay. The power consumed in a FPGA core consists of both static and dynamic components. Static power contributes only 10% of the total power consumed in a FPGA. On the other hand, dynamic power contributes over 90% of the total power consumed and it is the main source for their power inefficiency. By reducing net length and/o...

This paper introduces an approach to model checking of reconfigurable Petri nets. The main task is to flatten the two levels of dynamic behavior that reconfigurable nets provide, the firing of transitions on the one hand and the transformation of the nets on the other hand. We show how to translate a reconfigurable net into Maude modules. Maude’s LTL model-checker is then used to verify propert...