Comparing digraph and Petri net approaches to deadlock avoidance in FMS.

Flexible manufacturing systems (FMSs) are modern production facilities with easy adaptability to variable production plans and goals. These systems may exhibit deadlock situations occurring when a circular wait arises because each piece in a set requires a resource currently held by another job in the same set. Several authors have proposed different policies to control resource allocation in order to avoid deadlock problems. These approaches are mainly based on some formal models of manufacturing systems, such as Petri nets (PNs), directed graphs, etc. Since they describe various peculiarities of the FMS operation in a modular and systematic way, PNs are the most extensively used tool to model such systems. On the other hand, digraphs are more synthetic than PNs because their vertices are just the system resources. So, digraphs describe the interactions between jobs and resources only, while neglecting other details on the system operation. The aim of this paper is to show the tight connections between the two approaches to the deadlock problem, by proposing a unitary framework that links graph-theoretic and PN models and results. In this context, we establish a direct correspondence between the structural elements of the PN (empty siphons) and those of the digraphs (maximal-weight zero-outdegree strong components) characterizing a deadlock occurrence. The paper also shows that the avoidance policies derived from digraphs can be implemented by controlled PNs.

Increased production of mouse embryos in in vitro fertilization by preincubating sperm cells with the nuclease inhibitor aurintricarboxylic acid.

Exposure of spermatozoa to stress conditions causes a drastic reduction of their fertilizing ability. We report here that the decrease in fertilization can be effectively antagonized by preincubating sperm cells with the nuclease inhibitor drug aurintricarboxylic acid (ATA). Preincubation of mouse epididymal sperm cells with ATA increased the yield of 2-cell embryos produced by in vitro fertilization assays. The effect of ATA was selectively exerted via spermatozoa, since neither preincubation of eggs, nor the direct treatment of zygotes, modified the yield of 2-cell-stage embryos. Our results suggest that ATA does not directly improve the ability of sperm cells to penetrate the egg cytoplasm but instead acts by preserving sperm nuclei from induced or spontaneously occurring damage and/or favors events that trigger early embryogenesis.

Sperm-mediated gene transfer in mice.

Sperm-mediated DNA transfer to offspring has the potential to markedly simplify the generation of transgenic animals, but the efficiency in mice has been controversial. To determine the basis of the variability of the procedure in mice, we undertook a large, collaborative study of sperm-mediated DNA transfer to mouse eggs in well-established laboratory conditions for in vitro fertilization and offspring development following embryo transfer. Sperm were incubated with plasmid DNA during the capacitation period and then added to freshly ovulated mouse oocytes for fertilization; cleaved embryos were then transferred to the oviducts of pseudopregnant recipients for gestation. From a total of 75 experiments, 13 produced 130 transgenic offspring, amounting to 7.4% of total fetuses. In five experiments, more than 85% of offspring were transgenic, but the factors leading to this high success rate were not discovered. Clustering of such a low frequency event could account for the disparate reports of transgenic success with sperm-mediated DNA transfer to mouse offspring. Discovering the factors important to success would not only allow this simplified approach to become an important tool in the generation of transgenic mice, but could also lead to important insights into natural protective mechanisms against sperm-mediated transfer of foreign DNA.

Activation of endogenous nucleases in mature sperm cells upon interaction with exogenous DNA.

Mature sperm cells, either of epididymal origin or ejaculated and depleted of seminal fluid, are spontaneously able to bind exogenous DNA molecules which are subsequently internalized into sperm nuclei. Southern blot analysis showed that the internalized DNA was specifically cleaved by sperm endonucleases and showed typical fragmentation patterns of localized hypersensitivity. Nucleases were activated in response to the internalization of exogenous DNA by sperm cells and their activity increased with the DNA concentration. Nuclease activation was efficient in epididymal sperm cells, while being drastically reduced in ejaculated washed spermatozoa. Nucleases were Ca++ dependent, and were, respectively, inhibited and activated by preincubating sperm cells with Aurintricarboxylic Acid (ATA) and Ca++ Ionophore A23187, which are known to, respectively, inhibit and activate apoptosis in somatic cells. Moreover, nuclease activation also caused a partial degradation of the sperm endogenous chromosomal DNA; cleaved DNA fragments were released from the sperm cells to the medium. Taken together, these results suggest that a metabolically active process similar to apoptosis is triggered in the nuclei of mature sperm cells upon interaction with exogenous DNA.

The interaction of sperm cells with exogenous DNA: a role of CD4 and major histocompatibility complex class II molecules.

Mouse epidydimal sperm cells have the spontaneous ability to take up exogenous DNA, a part of which is further internalized into nuclei. We report here that sperm cells from MHC class II knockout mice have a reduced ability to bind DNA compared to sperm cells from wild-type animals. Spermatozoa from CD4 knockout mice are instead fully capable of binding exogenous DNA, yet lose the ability to further internalize it. MHC class II expression was not detected on sperm heads using monoclonal antibodies. In contrast, CD4 molecules were found on sperm heads by both immunofluorescence and Western blot analysis. Moreover, we show that nuclear internalization of exogenous DNA was prevented in wild-type sperm cells preincubated with anti-CD4 mAbs. These results support the conclusion that CD4 and MHC class II molecules play distinct roles in the process of sperm/DNA interaction: though not present in mature sperm cells, MHC class II expression appears to be required during spermatogenesis to produce sperm cells capable of taking up foreign DNA, while CD4 molecules present on sperm cells mediate the nuclear internalization of sperm-bound DNA.

The mechanism of binding of exogenous DNA to sperm cells: factors controlling the DNA uptake.

Mature sperm cells have the spontaneous capability of taking up exogenous DNA. Potential substrates for the interaction of the DNA with the sperm heads are specific classes of DNA-binding proteins. In the present work three major classes of DNA-binding proteins were identified by Southwestern analysis of sperm head protein extracts: a first class of about 50 kDa in molecular weight, a second one of 30-35 kDa, and finally a third one below 20 kDa. The latter group most probably contains sperm protamines. Our attention was particularly focused on the 30- to 35-kDa proteins as a substrate for DNA binding, as they represented the only group whose electrophoretic mobility was conserved among mammalian species. In addition they were the only class of DNA-binding proteins accessible to exogenous DNA in intact sperm cells. The purified 30- to 35-kDa proteins interacted in vitro with exogenous DNA and generated discrete protein/DNA complexes as determined by band shift assay. A factor blocking the binding of exogenous DNA to sperm cells was also identified in the seminal fluid of mammals and in echinoid spermatoza. The factor also exerted a powerful inhibitory effect on DNA uptake in sperm cells of heterologous species. The 30- to 35-kDa DNA-binding proteins appeared to be the specific target through which the inhibition was mediated. In the presence of the inhibitory factor, the 30- to 35-kDa lost the ability to bind exogenous DNA. Thus, the interaction of exogenous DNA with sperm cells does not appear to be a casual event but, on the contrary, relies on a molecular mechanism based on the cooperation of specific protein factors.