The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symbolic backward reachability. In a recent paper, we have introduced the theory underlying a new algorithmic solution, called ‘Expand, Enlarge and Check’, which can be implemented in a forward manner. In this paper, we provide add...

The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symbolic backward reachability. In a recent paper, we have introduced the theory underlying a new algorithmic solution, called ‘Expand, Enlarge and Check’, which can be implemented in a forward manner. In this paper, we provide add...

We prove two existence theorems for the integrodifferential equation of mixed type: x′(t) = f (t,x(t), t0k1(t,s)g(s,x(s))ds, ∫ a 0k2(t,s)h(s,x(s))ds), x(0) = x0, where in the first part of this paper f , g, h, x are functions with values in a Banach space E and integrals are taken in the sense of Henstock-Kurzweil (HK). In the second part f , g, h, x are weakly-weakly sequentially continuous fu...

zafar as a new rapeseed cultivar is the cross which was made between 19h and sarigol line/cultivar in 2003. the pedigree selection was applied to mange the segregating generations. the results of evaluation made during 2008-09 and 2009-10 showed that zafar with an average seed yield of 3810 kg ha-1 was among superior genotypes identified. further evaluation on these genotypes as a mid-maturity/...