This paper continues a research on universal contexts and Petri net semantics started in NPS95]. We regard generalized, labelled Petri nets, N, where some transitions and places are distinguished as`public'. They form the interface of N that may communicate with a Petri net context. An elementary calculus, E, is introduced that allows to construct any Petri net with an interface from trivial co...

We study the decay of the energy for a degenerate network of strings[1], and obtain optimal decay rates when the lengths are all equal. We also define a classical space semi-discretization and compare the results with the exact method introduced in [3,4]. To cite this article: A. Name1, A. Name2, C. R. Acad. Sci. Paris, Ser. I 340 (2005). Résumé Taux de décroissance optimaux pour la stabilisati...

In order to investigate to what extent is the low-lying behavior of even-even nuclei dependent on particular nucleon-nucleon interactions, we consider systems of bosons where these interactions are taken as gaussian random numbers with equal likelyhood of being attractive or repulsive. We find a statistical dominance of L = 0 ground states and other correlations, which we analyze in terms of a ...

Shaw, Keefer, Refsdsl and others (1) have shown that goopotential height is represented on the tcphigrani by an area, and that an isentropic at'mosphere XY (figure l), equal in geopotential height to a given atmosphe,re AB, may be const8ruct8ed by so placing the line XY on the tepliigram t,hat the area XAZ is equal to the area YBZ. The effect of moistmure is normally negligible, but may be allo...

A JOB evaluation exercise is being carried out in 20 UK trusts this month. It involves only 60 nurses and yet the results will help determine how you are paid for years to come.

OBJECTIVE To investigate the morphological and hemodynamic parameters associated with middle cerebral artery (MCA)bifurcation aneurysm rupture. METHODS A retrospective study of 67 consecutive patients was carried out based on 3D digital subtraction angiography data. Morphological and hemodynamic parameters including aneurysm size parameters (dome width, height, and perpendicular height), long...

In phototropic tests with young Limulus, the phototropic reactions to flickering fields were studied. If the two fields are equal in area and brightness but different in flicker frequency, the number of animals going to the two fields is proportional to their flicker frequencies. Equal stimulating effects of two fields differing in flicker frequency are obtained by reduction of the area of the ...

ions of networks, called structures, are studied. A structure consists of a set of nodes and a set of lines, such that each line connects two nodes. Lines are considered undirected: if a pair of nodes (u, v) is connected by a line, so is (v, u). A path between a source node u and a destination node v is a set of nodes and lines (u = u0), e1, u1, e2, u2, en−1, un−1, en, (un = v), where each line...