[permalink] [id link]
If a Petri net is equivalent to an elementary net, then Z can be the countable set
from
Wikipedia
Some Related Sentences
If and net
If Af denotes the net profit from stage R and Af, then the principle of optimality gives Af.
If the net force on some body is directed always toward some fixed point, the center, then there is no torque on the body with respect to the center, and so the angular momentum of the body about the center is constant.
If a player does not lift, his only remaining option is to push the shuttlecock softly back to the net: in the forecourt this is called a netshot ; in the midcourt or rearcourt, it is often called a push or block.
If the rearcourt attacker plays a dropshot, his partner will move into the forecourt to threaten the net reply.
If the current account is in surplus, the country's net international asset position increases correspondingly.
If F ( r ) represents gravity, it is a negative term proportional to 1 / r < sup > 2 </ sup >, so the net acceleration in r in the rotating frame depends on a difference of reciprocal square and reciprocal cube terms, which are in balance in a circular orbit but otherwise typically not.
If these other charges and currents are comparable in size to the sources producing the above electromagnetic field, then a new net electromagnetic field will be produced.
If some of the magnetic ions subtract from the net magnetization ( if they are partially anti-aligned ), then the material is " ferrimagnetic ".
If the moments of the aligned and anti-aligned ions balance completely so as to have zero net magnetization, despite the magnetic ordering, then it is an antiferromagnet.
If necessary, a second net may be clasped to the back of the net on the inside.
If this rule is interpreted as saying that straight-line motion is an indication of zero net force, the rule does not identify inertial reference frames, because straight-line motion can be observed in a variety of frames.
If the rule is interpreted as defining an inertial frame, then we have to be able to determine when zero net force is applied.
If the net excitation received by a neuron over a short period of time is large enough, the neuron generates a brief pulse called an action potential, which originates at the soma and propagates rapidly along the axon, activating synapses onto other neurons as it goes.
If X is a topological space, a net in X is a function from some directed set A to X.
If A is a directed set, we often write a net from A to X in the form ( x < sub > α </ sub >), which expresses the fact that the element α in A is mapped to the element x < sub > α </ sub > in X.
If ( x < sub > α </ sub >) is a net from a directed set A into X, and if Y is a subset of X, then we say that ( x < sub > α </ sub >) is eventually in Y ( or residually in Y ) if there exists an α in A so that for every β in A with β ≥ α, the point x < sub > β </ sub > lies in Y.
If ( x < sub > α </ sub >) is a net in the topological space X, and x is an element of X, we say that the net converges towards x or has limit x and write
If the system is displaced from the equilibrium, there is a net restoring force on the mass, tending to bring it back to equilibrium.
If there was a net gain, one could in theory use a number of control nodes for which many hosts on the Internet form a distributed computing network completely unawares.
If the number of photons being amplified per unit time is greater than the number of photons being absorbed, then the net result is a continuously increasing number of photons being produced ; the laser medium is said to have a gain of greater than unity.
If the ground state has a higher population than the excited state ( N < sub > 1 </ sub > > N < sub > 2 </ sub >), the process of absorption dominates and there is a net attenuation of photons.
If the higher energy state has a greater population than the lower energy state ( N < sub > 1 </ sub > < N < sub > 2 </ sub >), then the emission process dominates, and light in the system undergoes a net increase in intensity.
If the rotor disk is to be tilted forward ( to gain forward velocity ), its rotation requires that the downward net force on the blade be applied roughly 90 degrees ( depending on blade configuration ) before, or when the blade is to one side of the pilot and rotating forward.
If and is
If the circumstances are faced frankly it is not reasonable to expect this to be true.
If his dancers are sometimes made to look as if they might be creatures from Mars, this is consistent with his intention of placing them in the orbit of another world, a world in which they are freed of their pedestrian identities.
If a work is divided into several large segments, a last-minute drawing of random numbers may determine the order of the segments for any particular performance.
If they avoid the use of the pungent, outlawed four-letter word it is because it is taboo ; ;
If Wilhelm Reich is the Moses who has led them out of the Egypt of sexual slavery, Dylan Thomas is the poet who offers them the Dionysian dialectic of justification for their indulgence in liquor, marijuana, sex, and jazz.
If he is the child of nothingness, if he is the predestined victim of an age of atomic wars, then he will consult only his own organic needs and go beyond good and evil.
If it is an honest feeling, then why should she not yield to it??
If he thus achieves a lyrical, dreamlike, drugged intensity, he pays the price for his indulgence by producing work -- Allen Ginsberg's `` Howl '' is a striking example of this tendency -- that is disoriented, Dionysian but without depth and without Apollonian control.
If love reflects the nature of man, as Ortega Y Gasset believes, if the person in love betrays decisively what he is by his behavior in love, then the writers of the beat generation are creating a new literary genre.
If he is good, he may not be legal ; ;
If the man on the sidewalk is surprised at this question, it has served as an exclamation.
If the existent form is to be retained new factors that reinforce it must be introduced into the situation.
If we remove ourselves for a moment from our time and our infatuation with mental disease, isn't there something absurd about a hero in a novel who is defeated by his infantile neurosis??
If many of the characters in contemporary novels appear to be the bloodless relations of characters in a case history it is because the novelist is often forgetful today that those things that we call character manifest themselves in surface behavior, that the ego is still the executive agency of personality, and that all we know of personality must be discerned through the ego.
If he is a traditionalist, he is an eclectic traditionalist.
If our sincerity is granted, and it is granted, the discrepancy can only be explained by the fact that we have come to believe hearsay and legend about ourselves in preference to an understanding gained by earnest self-examination.
If to be innocent is to be helpless, then I had been -- as are we all -- helpless at the start.
If and equivalent
** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.
* If two small categories are weakly equivalent, then they are equivalent.
If two equivalent amplifiers are being compared, the amplifier with higher gain settings would be more sensitive as it would take less input signal to produce a given amount of power.
If, in England, the wine sold for 70 francs ( or the pound equivalent ), which he then used to buy coal, which he imported into France, and was found to be worth 90 francs in France, he would have made a profit of 40 francs.
If a suitably sized quantum computer capable of running Grover's algorithm reliably becomes available, it would reduce a 128-bit key down to 64-bit security, roughly a DES equivalent.
If the axiom of choice is assumed, as will be the case in the rest of this article, then the two definitions are equivalent.
If ƒ is differentiable, this is equivalent to:
If it is the fraction of impinging atoms getting through the foil which is measured, the result can still be expressed in terms of the equivalent stopping cross section of the atoms.
To make a figure larger or smaller is equivalent to multiplying the Cartesian coordinates of every point by the same positive number m. If ( x, y ) are the coordinates of a point on the original figure, the corresponding point on the scaled figure has coordinates
If the franchisor requires purchase from his stores, it may come under anti-trust legislation or equivalent laws of other countries.
If some specific deductive system of first-order logic is sound and complete, then is it " perfect " ( a formula is provable iff it is a semantic consequence of the axioms ), thus equivalent to any other deductive system with the same quality ( any proof in one system can be converted into the other ).
If is refutable, then so is which is equivalent to it ; thus is provable.
If adults could effectively be baptised through a desire for the sacrament when prevented from actually receiving it, some speculated that perhaps sacramentally unbaptised infants too might be saved by some waterless equivalent of ordinary baptism when prevented.
If an object ’ s weight was equivalent to 1728 carob seeds, then the object was said to weigh one Roman pound.
If, on the other hand, the object ’ s weight was equivalent to 144 carob seeds then the object was said to weigh one Roman ounce ( uncia ).
If the first-countability axiom were imposed on the topological spaces in question, the two above conditions would be equivalent.
The rules are equivalent ( If you divide both sides of inequality TR > TVC by Q gives P > AVC ).
If we allow a finite automaton access to two stacks instead of just one, we obtain a more powerful device, equivalent in power to a Turing machine.
If the object is moving either toward or away from the transmitter, there is a slight equivalent change in the frequency of the radio waves, caused by the Doppler effect.
If dark decided to put a piece in the topmost location ( all choices are strategically equivalent at this time ), one piece gets turned over, so that the board appears thus:
If converted to the metal equivalent, they were about 19, 000 per tonne in 2009.
If an argument form is valid, the conjunction of the premises will be logically equivalent to the conclusion and this can be clearly seen in a truth table ; it is displayed.
If the axiom of choice holds, the following conditions on a cardinal are equivalent:
If the Euclidean space is equipped with a choice of origin, then a free vector is equivalent to the bound vector of the same magnitude and direction whose initial point is the origin.
0.223 seconds.