In this paper one of the important “end of life options” (remanufacturing) has been analysed. Among the related studies surveyed the various remanufacturing aspects, less attention has been paid to the stochastic process routing. In this regard, a remanufacturing process routing with stochastic activities is modelled as a GERT network. One of the efficient ways to analyse a remanufacturing proc...

  The optimal harvesting policy is calculated as a function of the entering stock, the price state, the harvesting cost, and the rate of interest in the capital market. In order to determine the optimal harvest schedule, the growth function and stumpage price process are estimated for the Swedish mixed species forests. The stumpage price is assumed to follow a stochastic Markov process. A stoch...

We provide a framework for modeling and analyzing both qualitative and quantitative aspects of mobile ad hoc network (MANET) protocols above the data-link layer. We extend Restricted Broadcast Process Theory [11,9]: delay functions are assigned to actions, while the semantics captures the interplay of a MANET protocol with stochastic behavior of the data-link and physical layer, and the dynamic...