A Class of Petri Nets That a Necessary and Sufficient Condition for Reachability is Obtainable

A Necessary and Sufficient Condition for Transcendency

As has been known for many years (see, e.g., K. Mahler, /. Reine Angew. Math., v. 166, 1932, pp. 118-150), a real or complex number f is transcendental if and only if the following condition is satisfied. To every positive number co there exists a positive integer n and an infinite sequence of distinct polynomials {p,(z)} = {pr + pr z + • • • + p z } at most of 0 1 n degree n with integral coef...

A Necessary and Sufficient Condition for Peace∗

This paper examines the possibility for two contestants to agree on a peace settlement thereby avoiding a contest, in which each would exert a costly effort given the posterior distributions inferred from the negotiation. I find a necessary and sufficient condition of the prior distributions for there to exist a negotiation mechanism that admits a peace-ensuring perfect Bayesian equilibrium. Th...

Necessary and sufficient condition that the limit of Stieltjes transforms is a Stieltjes transform

The pointwise limit S of a sequence of Stieltjes transforms (Sn) of real Borel probability measures (Pn) is itself the Stieltjes transform of a Borel p.m. P if and only if iy S(iy) → −1 as y → ∞, in which case Pn converges to P in distribution. Applications are given to several problems in mathematical physics.

A Necessary Condition for Weyl-Heisenberg Frames

SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets

Formal methods among them the model checking techniques play an important role in the design and production of both systems and software. In this paper we deal with an adaptation of the bounded model checking methods for timed systems, developed for timed automata, to the case of time Petri nets. We consider distributed time Petri nets and parametric reachability checking, but the approach can ...