In this paper, we revisit the forward and backward approaches to the verification of extensions of infinite state Petri Nets. As contributions, we propose an efficient data structure to represent infinite downward closed sets of markings and to compute symbolically the minimal coverability set of Petri Nets, we identify a subclass of Transfer Nets for which the forward approach generalizes and ...

We asked whether podokinetic adaptation to walking on a circular treadmill transfers to different forms of locomotion. Subjects were blindfolded and asked to walk straight across the floor, in the forward and backward directions, following podokinetic (PK) stimulation that consisted of 30 min of forward walking-in-place on the perimeter of a disk rotating in the clockwise direction. During both...

An isotropic scaling formulation is evaluated for transient radiative transfer in a one-dimensional planar slab subject to collimated and/or diffuse irradiation. The Monte Carlo method is used to implement the equivalent scattering and exact simulations of the transient short-pulse radiation transport through forward and backward anisotropic scattering planar media. The scaled equivalent isotro...

Auction mechanisms have attracted a great deal of interest and have been used in diverse emarketplaces. In particular, combinatorial auctions have the potential to play an important role in electronic transactions. Therefore, diverse combinatorial auction market types have been proposed to satisfy market needs. These combinatorial auction types have diverse market characteristics, which require...

Semantic Web services achieve effects in the world through Web services, so the mechanism connecting the ontological representations of services with the on-the-wire messages—the grounding—is of paramount importance. The conventional approach to grounding is to use XML-based translations between ontologies and the SOAP message formats of the services, but these mappings cannot address the growi...

in this paper, exact solution for two-plane transverse vibration analysis of axial-loaded multi-step timoshenko rotor carrying concentrated masses is presented. each attached element is considered to have both translational and rotational inertia. forward and backward frequencies and corresponding modes are obtained using transfer matrix method (tmm). the effect of the angular velocity of spin,...

From a sum rule for backward up scattering, valid only in the limit of large four-momentum transfer q2, we obtain an inequality for backward e-p inelastic scattering which depends ,upon the commutator of space components of isospin currents. Given chiral U(6) X U(6) current algebra, the total backward scattering at fixed large q2. is predicted to be at least as great as that from a point Dirac ...