Two Algebraic Process Semantics for Contextual Nets

We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places. The algebraic characterizations of net concurrent computations we provide cover both the collective and the individual token philosophy, uniformly along the two interpretations, and coincide with the classical proposals for place/transition Petri nets in the absence of read-arcs

Cyanolipids from Sapindus saponaria L. seeds oil

The chemical composition of the oil extracted from the seeds of Sapindus saponaria L., (Sapindaceae), was investigated. Cyanolipids constituted 5% hexane extract of the seeds, whereas triacylglycerols (TAG) accounted for 90%. The oil contains type III cyanolipids (CL) 1-cyano-2-hydroxymethylprop-1-en-3-ol-diesters. Structural investigation of the oil components was accomplished by chemical, chromatographic (TLC, CC, GC-MS), and spectroscopic (IR, NMR) means. GC-MS analysis showed that fatty acids were dominant in the CL components of the oil from S. saponaria L., with cis-11-eicosenoic acid, cis-11-octadecenoic acid and eicosanoic acid as the only esterified fatty acyl chains respectively. This being the first report of this kind of natural products (CL), located in the seeds of this plant

Fusion of 28Si + 28Si: oscillations above the barrier and the behavior down to 1μb

Fusion excitation functions of light heavy-ion systems show oscillatory structures above the Coulomb barrier, caused by resonances or due to the penetration of successive centrifugal barriers well separated in energy. In heavier systems, the amplitude of oscillations decreases and the peaks get nearer to each other. This makes the measurements very challenging. We have performed a first experiment for 28Si + 28Si, by measuring fusion cross sections (σ) in an energy range of ≃15 MeV above the barrier, with a small ΔElab = 0.5 MeV step. Three regular oscillations are clearly observed, which are best revealed by plotting the energy-weighted derivative of the excitation function. The excitation function has been recently measured down to cross sections ≤1μb with larger energy steps. Coupled-channel (CC) calculations based on a shallow potential in the entrance channel are able to reproduce the oscillations. A further analysis will provide a stringent test for the calculations, in particular for the choice of the ion-ion potential, because the subbarrier excitation function has to be reproduced as well. Coupled-channel (CC) calculations based on a shallow potential in the entrance channel are able to reproduce the oscillations. A further analysis will provide a stringent test for the calculations, in particular for the choice of the ion-ion potential, because the subbarrier excitation function has to be reproduced as well

Dynamic heterogeneities in the out-of-equilibrium dynamics of simple spherical spin models

The response of spherical two-spin interaction models, the spherical ferromagnet (s-FM) and the spherical Sherrington-Kirkpatrick (s-SK) model, is calculated for the protocol of the so-called nonresonant hole burning experiment (NHB) for temperatures below the respective critical temperatures. It is shown that it is possible to select dynamic features in the out-of-equilibrium dynamics of both models, one of the hallmarks of dynamic heterogeneities. The behavior of the s-SK model and the s-FM in three dimensions is very similar, showing dynamic heterogeneities in the long time behavior, i.e. in the aging regime. The appearence of dynamic heterogeneities in the s-SK model explicitly demonstrates that these are not necessarily related to {\it spatial} heterogeneities. For the s-FM it is shown that the nature of the dynamic heterogeneities changes as a function of dimensionality. With incresing dimension the frequency selectivity of the NHB diminishes and the dynamics in the mean-field limit of the s-FM model becomes homogeneous.Comment: 16 pages, 8 figure

Transfer probability measurements in the superfluid 116Sn+60Ni system

We measured excitation functions for the main transfer channels in the 116 Sn+ 60 Ni reaction from above to well below the Coulomb barrier. The experiment has been performed in inverse kinematics, detecting the lighter (target-like) ions with the magnetic spectrometer PRISMA at very forward angles. The comparison between the data and microscopic calculations for the present case and for the previously measured 96 Zr+ 40 Ca system, namely superfluid and near closed shells nuclei, should significantly improve our understanding of nucleon-nucleon correlation properties in multinucleon transfer processes

Comparing Petri Net and Activity Diagram Variants for Workflow Modelling:A Quest for Reactive Petri Nets

Petri net variants are widely used as a workflow modelling technique. Recently, UMLa ctivity diagrams have been used for the same purpose, even though the syntax and semantics of activity diagrams has not been yet fully worked out. Nevertheless, activity diagrams seem very similar to Petri nets and on the surface, one may think that they are variants of each other. To substantiate or deny this claim, we need to formalise the intended semantics of activity diagrams and then compare this with various Petri net semantics. In previous papers we have defined two formal semantics for UMLact ivity diagrams that are intended for workflow modelling. In this paper, we discuss the design choices that underlie these two semantics and investigate whether these design choices can be met in low-level and high-level Petri net semantics. We argue that the main difference between the Petri net semantics and our semantics of UML act ivity diagrams is that the Petri net semantics models resource usage of closed, active systems that are non-reactive, whereas our semantics of UMLact ivity diagrams models open, reactive systems. Since workflow systems are open, reactive systems, we conclude that Petri nets cannot model workflows accurately, unless they are extended with a syntax and semantics for reactivity

Search for a W' boson decaying to a bottom quark and a top quark in pp collisions at sqrt(s) = 7 TeV

Results are presented from a search for a W' boson using a dataset corresponding to 5.0 inverse femtobarns of integrated luminosity collected during 2011 by the CMS experiment at the LHC in pp collisions at sqrt(s)=7 TeV. The W' boson is modeled as a heavy W boson, but different scenarios for the couplings to fermions are considered, involving both left-handed and right-handed chiral projections of the fermions, as well as an arbitrary mixture of the two. The search is performed in the decay channel W' to t b, leading to a final state signature with a single lepton (e, mu), missing transverse energy, and jets, at least one of which is tagged as a b-jet. A W' boson that couples to fermions with the same coupling constant as the W, but to the right-handed rather than left-handed chiral projections, is excluded for masses below 1.85 TeV at the 95% confidence level. For the first time using LHC data, constraints on the W' gauge coupling for a set of left- and right-handed coupling combinations have been placed. These results represent a significant improvement over previously published limits.Comment: Submitted to Physics Letters B. Replaced with version publishe

Search for the standard model Higgs boson decaying into two photons in pp collisions at sqrt(s)=7 TeV

A search for a Higgs boson decaying into two photons is described. The analysis is performed using a dataset recorded by the CMS experiment at the LHC from pp collisions at a centre-of-mass energy of 7 TeV, which corresponds to an integrated luminosity of 4.8 inverse femtobarns. Limits are set on the cross section of the standard model Higgs boson decaying to two photons. The expected exclusion limit at 95% confidence level is between 1.4 and 2.4 times the standard model cross section in the mass range between 110 and 150 GeV. The analysis of the data excludes, at 95% confidence level, the standard model Higgs boson decaying into two photons in the mass range 128 to 132 GeV. The largest excess of events above the expected standard model background is observed for a Higgs boson mass hypothesis of 124 GeV with a local significance of 3.1 sigma. The global significance of observing an excess with a local significance greater than 3.1 sigma anywhere in the search range 110-150 GeV is estimated to be 1.8 sigma. More data are required to ascertain the origin of this excess.Comment: Submitted to Physics Letters