Molecular orbital theory calculations of the H2O-carbon reaction

Carbon gasification with steam to produce H-2 and CO is an important reaction widely used in industry for hydrogen generation. Although the literature is vast, the. mechanism for the formation of H-2 is still unclear. In particular, little has, been done to investigate the potential of molecular orbital theory to distinguish different mechanism possibilities. In this work, we used molecular orbital theory to demonstrate a favorable energetic pathway where H2O is first physically adsorbed on the virgin graphite surface with negligible change in molecular structure. Chemisorption occurs via O approaching the carbon edge site with one H atom stretching away from the O in the transition state. This is followed by a local minimum. state in which the stretching H is further disconnected from the O atoms and the remaining OH group is still on the carbon edge site. The disconnected H then pivot around the OH group to bond with the H of the OH group and forms H-2. The O atom remaining on the carbon edge site is subsequently desorbed as CO. The reverse occurs when H-2 reacts with the surface oxygen to produce H2O.

Human peripheral blood V alpha 24(+) V beta 11(+) NKT cells expand following administration of alpha-galactosylceramide-pulsed dendritic cells

Background and Objectives We have undertaken the first clinical trial involving the administration of alpha-GalactosylCeramine (alpha-GalCer)-pulsed dendritic cells (DCs) to human subjects, to determine safety, optimal dose, optimal administration route and immunological effects. Materials and Methods Subjects (n = 4) with metastatic malignancy received two infusions of alpha-GalCer-pulsed DCs intravenously, and two infusions intradermally. The percentages of Valpha24 Vbeta11 NKT cells in peripheral blood (PB) were determined by three-colour flow cytometry and the PB NKT cell numbers were calculated using the total number of PB lymphocytes/ml determined by automated full-blood counts. Results No serious treatment related adverse events were observed during the study period. Administration of alpha-GalCer-pulsed DCs in vivo can significantly (P < 0.03) increase PB Valpha24(+) Vbeta11(+) NKT cell numbers above pretreatment baseline levels after the transient fall in the NKT numbers within 48 h. Conclusions Administration of alpha-GalCer-pulsed DCs is well tolerated, modulates PB Valpha24(+) Vbeta11(+) NKT cells and may have a role in the therapy of malignancies sensitive to activities of Valpha24(+) Vbeta11(+) NKT cells, or for autoimmune diseases.

Colony-stimulating factor-1 suppresses responses to CpG DNA and expression of toll-like receptor 9 but enhances responses to lipopolysaccharide in murine macrophages

During bacterial infections, the balance between resolution of infection and development of sepsis is dependent upon the macrophage response to bacterial products. We show that priming of murine bone marrow-derived macrophages (BMMs) with CSF-1 differentially regulates the response to two such stimuli, LPS and immunostimulatory (CpG) DNA. CSF-1 pretreatment enhanced IL-6, IL-12, and TNF-alpha production in response to LPS but suppressed the same response to CpG DNA. CSF-1 also regulated cytokine gene expression in response to CpG DNA and LPS; CpG DNA-induced IL-12 p40, IL-12 p35, and TNF-alpha mRNAs were all suppressed by CSF-1 pretreatment. CSF-1 pretreatment enhanced LPS-induced IL-12 p40 mRNA but not TNF-alpha and IL-12 p35 mRNAs, suggesting that part of the priming effect is posttranscriptional. CSF-1 pretreatment also suppressed CpG DNA-induced nuclear translocation of NF-kappaB and phosphorylation of the mitogen-activated protein kinases p38 and extracellular signal-related kinases-1/2 in BMMs, indicating that early events in CpG DNA signaling were regulated by CSF-1. Expression of Toll-like receptor (TLR)9, which is necessary for responses to CpG DNA, was markedly suppressed by CSF-1 in both BMMs and thioglycolate-elicited peritoneal macrophages. CSF-1 also down-regulated expression of TLR1, TLR2, and TLR6, but not the LPS receptor, TLR4, or TLR5. Hence, CSF-1 may regulate host responses to pathogens through modulation of TLR expression. Furthermore, these results suggest that CSF-1 and CSF-1R antagonists may enhance the efficacy of CpG DNA in vivo.

ATP-dependent K+ channels in renal ischemia reperfusion injury

ATP-dependent K+ channels (K-ATP) account for most of the recycling of K+ which enters the proximal tubules cell via Na, K-ATPase. In the mitochondrial membrane, opening of these channels preserves mitochondrial viability and matrix volume during ischemia. We examined KATP channel modulation in renal ischemia-reperfusion injury (IRI), using an isolated perfused rat kidney (IPRK) model, in control, IRI, IRI + 200 muM diazoxide (a K-ATP opener), IRI + 10 muM glibenclamide (a K-ATP blocker) and IRI + 200 muM diazoxide + 10 muM glibenclamide groups. IRI was induced by 2 periods of warm ischemia, followed by 45 min of reperfusion. IRI significantly decreased glomerular filtration rate (GFR) and increased fractional excretion of sodium (FENa) (p < 0.01). Neither diazoxide nor glibenclamide had an effect on control kidney function other than an increase in renal vascular resistance produced by glibenclamide. Pretreatment with 200 muM diazoxide reduced the postischemic increase in FENa (p < 0.05). Adding 10 muM glibenclamide inhibited the diazoxide effect on postischemic FENa (p < 0.01). Histology showed that kidneys pretreated with glibenclamide demonstrated an increase in injure in the thick ascending limb of outer medulla (p < 0.05). Glibenclamide significantly decreased post ischemic renal vascular resistance (p < 0.05). but had no significant effect on other renal function parameters. Our results suggest that sodium reabsorption is improved by K-ATP activation and blockade of K-ATP channels during IRI has an injury enhancing effect on renal epithelial function and histology. This may be mediated through K-ATP modulation in cell and or mitochondrial inner membrane.

Repetitive brief ischemia: Intermittent reperfusion during ischemia ameliorates the extent of injury in the perfused kidney

Acute renal failure commonly follows reduced renal perfusion or ischemia. Reperfusion is essential for recovery but can itself cause functional and structural injury to the kidney. The separate contributions of ischemia and of reperfusion were examined in the isolated perfused rat kidney. Three groups were studied: brief (5 min) ischemia, 20 min ischemia, and repetitive brief ischemia (4 periods of 5 min) with repetitive intervening reperfusion of 5 min. A control group had no intervention, the three ischemia groups were given a baseline perfusion of 30 min before intervention and all groups were perfused for a total of 80 min. In addition, the effects of exogenous (NO)-N-. from sodium nitroprusside and xanthine oxidase inhibition by allopurinol were assessed in the repetitive brief ischemia-reperfusion model. Brief ischemia produced minimal morphological injury with near normal functional recovery. Repetitive brief ischemia reperfusion caused less functional and morphological injury than an equivalent single period of ischemia (20 min) suggesting that intermittent reperfusion is less injurious than ischemia alone over the time course of study. Pretreatment with allopurinol improved renal function after repetitive brief ischemia-reperfusion compared with the allopurinol-untreated repetitive brief ischemia-reperfusion group. Similarly, sodium nitroprusside reduced renal vascular resistance but did not improve the glomerular filtration rate or sodium reabsorption in the repetitive brief ischemia-reperfusion model. Thus, these studies show that the duration of uninterrupted ischemia is more critical than reperfusion in determining the extent of renal ischemia-reperfusion injury and that allopurinol, in particular, counteracts the oxidative stress of reperfusion.

Carboxy-fluorescein diacetate, succinimidyl ester labeled papillomavirus virus-like particles fluoresce after internalization and interact with heparan sulfate for binding and entry

Human papillomaviruses (HPVs) infect epithelial cells and are associated with genital carcinoma. Most epithelial cell lines express cell-surface glycosaminoglycans (GAGs) usually found attached to the protein core of proteoglycans. Our aim was to study how GAGs influenced HPV entry. Using a human keratinocyte cell line (HaCaT), preincubation of HPV virus-like particles (VLPs) with GAGs showed a dose-dependent inhibition of binding. The IC50 (50% inhibition) was only 0.5 mug/ml for heparin, 1 mug/ml for dextran sulfate, and 5-10 mug/ml for heparan sulfate from mucosal origin. Mutated chinese hamster ovary (CHO) cell lines lacking heparan sulfate or all GAGs were unable to bind HPV VLPs. Here we also report a method to study internalization by using VLPs labeled with carboxy-fluorescein diacetate, succinimidyl ester, a fluorochrome that is only activated after cell entry. Pretreatment of labeled HPV VLPs with heparin inhibited uptake, suggesting a primary interaction between HPV and cell-surface heparan sulfate. (C) 2003 Elsevier Science (USA). All rights reserved.

Effects of heat treatment on the nutritional value of raw soybean selected for low trypsin inhibitor activity

1. Two broiler experiments and a layer experiments were conducted on Kunitz trypsin inhibitor (Kti) soybeans (SB) of low trypsin inhibitor (TI) activity to determine their nutritive value when included as mash in least-cost poultry diets. 2. Experiment 1 compared chick performance on the Kti or raw SB using a commercial full-fat SB meal (FFSBM) and a solvent extracted SB meal (SBM) as controls during a 20 d experimental period. Broiler experiment 2 compared Kti and raw SB, non-steamed, or steam-pelleted with and without DL-methionine supplementation added to every treatment containing 170 g SB/kg. For each broiler experiment the levels of each SB were 70, 120 and 170 g/kg with the control birds fed only 170 g SB/kg. 3. The layer experiment, compared steam-pelleted Kti and raw SB against a non-steamed Kti and raw SB each fed at two levels (70 and 110 g/kg) x 30 replicates from 29 weeks of age for 19 weeks in a completely randomised design. Production parameters were measured when diets were formulated to contain minimum required specifications and calculated apparent metabolisable energy (AME). At the completion of each trial, 2 broiler birds from each cage and 5 layer birds per treatment were killed, weighed, and their liver and pancreas weighed. 4. Both broiler experiments indicated that production parameters on the Kti SB treatments were significantly lower (P < 0.05) than on the two commercial control SB treatments. However, the Kti treatments were superior to the raw SB treatments. 5. Pancreas weight increased with increasing inclusion of both raw and Kti SB, suggesting that a TI was causing the depression in performance. The AME of the Kti SB was similar to that of commercial FFSB meal. After steam conditioning, the raw SB meal AME value of 9.5 MJ/kg dry matter (DM) was improved to 14.1 MJ/kg DM by reduced TI activity, but this AME improvement with TI activity reduction, plus the supplementation with DL-methionine on birds fed the raw SB had no effect (P > 0.05) on any parameter evaluated in experiment 2. 6. The layer experiment showed that hens on the Kti SB treatments had significantly greater live weight gain (LWG), egg weight and daily egg mass than birds given raw SB. A reduced food intake (FI) was observed in the Kti treatments but egg mass was generally similar to that on the FFSB control diet, indicating that Kti SB supported excellent egg production at an inclusion of 110 g/kg. The depressed performance observed for broiler chicks suggest that younger birds are more susceptible to the effects of SB TI.

Generation of aldehyde-derived protein modifications in ethanol-exposed heart

Background: Although excessive ethanol consumption is known to lead to a variety of adverse effects in the heart, the molecular mechanisms of such effects have remained poorly defined. We hypothesized that posttranslational covalent binding of reactive molecular species to proteins occurs in the heart in response to acute ethanol exposure. Methods: The generation of protein adducts with several aldehydic species was examined by using monospecific antibodies against adducts with malondialdehyde (MDA), acetaldehyde (AA), MDA-AA hybrids, and hydroxyethyl radicals. Specimens of heart tissue were obtained from rats after intraperitoneal injections with alcohol (75 mmol/kg body weight) with or without pretreatment with cyanamide (0.05 mmol/kg body weight), an aldehyde dehydrogenase inhibitor. Results: The amounts of MDA and unreduced AA adducts were found to be significantly increased in the heart of the rats treated with ethanol, cyanamide, or both, whereas no other adducts were detected in statistically significant quantities. Immunohistochemical studies for characterization of adduct distribution revealed sarcolemmal adducts of both MDA and AA in the rats treated with ethanol and cyanamide in addition to intracellular adducts, which were also present in the group treated with ethanol alone. Conclusions: These findings support the role of enhanced lipid peroxidation and the generation of protein-aldehyde condensates in vivo as a result of excessive ethanol intake. These findings may have implications in the molecular mechanisms of cardiac dysfunction in alcoholics.

Effects of small doses of ouabain on the arterial blood pressure of anesthetized hypertensive and normotensive rats

Ouabain increases vascular resistance and may induce hypertension by inhibiting the Na+ pump. The effects of 0.18 and 18 µg/kg, and 1.8 mg/kg ouabain pretreatment on the phenylephrine (PHE; 0.1, 0.25 and 0.5 µg, in bolus)-evoked pressor responses were investigated using anesthetized normotensive (control and uninephrectomized) and hypertensive (1K1C and DOCA-salt treated) rats. Treatment with 18 µg/kg ouabain increased systolic and diastolic blood pressure in all groups studied. However, the magnitude of this increase was larger for the hypertensive 1K1C and DOCA-salt rats than for normotensive animals, while the pressor effect of 0.18 µg/kg ouabain was greater only in DOCA-salt rats. A very large dose (1.8 mg/kg) produced toxic effects on the normotensive control but not on uninephrectomized or 1K1C rats. Rat tail vascular beds were perfused to analyze the effects of 10 nM ouabain on the pressor response to PHE. In all animals, 10 nM ouabain increased the PHE pressor response, but this increase was larger in hypertensive DOCA-salt rats than in normotensive and 1K1C rats. Results suggested that a) increases in diastolic blood pressure induced by 18 µg/kg ouabain were larger in hypertensive than normotensive rats; b) in DOCA-salt rats, smaller ouabain doses had a stronger effect than in other groups; c) hypertensive and uninephrectomized rats were less sensitive to toxic doses of ouabain, and d) after treatment with 10 nM ouabain isolated tail vascular beds from DOCA-salt rats were more sensitive to the pressor effect of PHE than those from normotensive and 1K1C hypertensive rats. These data suggest that very small doses of ouabain, which might produce nanomolar plasma concentrations, enhance pressor reactivity in DOCA-salt hypertensive rats, supporting the idea that endogenous ouabain may contribute to the increase and maintenance of vascular tone in hypertension.

Effects of ouabain on vascular reactivity

Ouabain is an endogenous substance occurring in the plasma in the nanomolar range, that has been proposed to increase vascular resistance and induce hypertension. This substance acts on the a-subunit of Na+,K+-ATPase inhibiting the Na+-pump activity. In the vascular smooth muscle this effect leads to intracellular Na+ accumulation that reduces the activity of the Na+/Ca2+ exchanger and to an increased vascular tone. It was also suggested that circulating ouabain, even in the nanomolar range, sensitizes the vascular smooth muscle to vasopressor substances. We tested the latter hypothesis by studying the effects of ouabain in the micromolar and nanomolar range on phenylephrine (PE)-evoked pressor responses. The experiments were performed in normotensive and hypertensive rats in vivo, under anesthesia, and in perfused rat tail vascular beds. The results showed that ouabain pretreatment increased the vasopressor responses to PE in vitro and in vivo. This sensitization after ouabain treatment was also observed in hypertensive animals which presented an enhanced vasopressor response to PE in comparison to normotensive animals. It is suggested that ouabain at nanomolar concentrations can sensitize vascular smooth muscle to vasopressor stimuli possibly contributing to increased tone in hypertension.

Possible consequences of increasing life expectancy in Brazil: the perspective of a European historical demographer

Those over sixty years of age accounted for 6.6% of the total population of Brazil in 1985, in the Federal Republic of Germany this proportion was 20.3% in 1984. As early as 1950 it had been 14.5%. This proportion will not even be reached in Brazil in the year 2000 when persons aged sixty years and older are only projected to make up 8.8% of the total population. Similarly, in 1982/84 life expectancy at birth in the Federal Republic was 70.8 years for men and 77.5 for women; in Brazil the figures for 1980/85 were, by contrast, "only" 61.0 and 66.0. Against this background it is easy to understand why the discussion concerning an ageing society with its many related medical, economic, individual and social problems has been so slow in coming into its own in Brazil. As important as a more intensive consideration of these aspects may be in Brazil at present, they are, nevertheless, only one side of the story. For a European historical demographer with a long-term perspective of three of four hundred years, the other side of the story is just as important. The life expectancy which is almost ten years lower in Brazil is not a result of the fact that no one in Brazil lives to old age. In 1981 people sixty-five years and older accounted for 34.4% of all deaths! At the same time infants accounted for only 22.1% of total mortality. They are responsible, along with the "premature" deaths among youths and adults, for the low, "average" life expectancy figure. In Europe, by contrast, these "premature" deaths no longer play much of a role. In 1982/84 more than half of the women (52.8%) in the Federal Republic of Germany lived to see their eightieth birthdays and almost half of the men (47.3%) lived to see their seventy-fifth. Our biological existence is guaranteed to an extent today that would have been unthinkable a few generations ago. Then, the classic troika of "plague, hunger and war" threatened our forefathers all the time and everywhere. The radical transition from the formerly uncertain to a present-day certain lifetime, which is the result of the repression of "plague, hunger and war", led to unexpected consequences for our living together. Our forefathers were forced to live in closely knit Gemeinschaften in the interest of physical survival and to subordinate their egoistic goals to a common value, but now these pressures have, for the most part, fallen away. Correspondingly, this much more certain EGO has taken center stage. An ever greater number of us chooses to live life as single beings: the number of marriages is lower every year; the number of divorces is on the increase; in Berlin (West) more than half (sic! 52.3%) of all households are already composed on only one person. For the last dozen years the annual number of births in the Federal Republic has been insufficient to ensure population replacement. Not a population explosion but rather the opposite, a population implosion, is our problem. Human beings do not appear to be "social animals", as was axiomatically assumed for so long. They were only forced to behave as such for as long as "plague, hunger and war" forced them to do so. When these life endangering conditions no longer exist and life becomes certain even without their being integrated into a Gemeinschaft then humans suddenly show themselves more and more to be independent single beings. It is not the percentage of the population that is over sixty or sixty-five that is decisive in this context but rather how certain adults perceive their biological lives to be, since they are the ones who organize their lives, who build communities or who are ever more often willing only to enter into means-to-an-end personal unions without lasting or close ties and mutual responsibilities. There are many signs which seem to point to a development in this direction in Brazil as well. More and more adults in Brazil are caught up in the deep-seated transition from an uncertain to a certain lifetime. A third of them die after having reached their sixty-fifth birthday. It therefore seems to me to be high time that one began to give more consideration to the other side of the story in Brazil as well. And who is more suited intensively to consider the long-term perspectives than those engaged in the public health sector in whose competence, after all, such aspects, as "life certainty", "life expectancy" and "age at death" belong?

Estudo técnico/económico da instalação de uma central de cogeração numa serração de madeira

O pinheiro tem um papel importante na ecologia e economia nacional. O Pinheiro sofre de uma praga severa, denominada por doença da murchidão dos pinheiros, causada pelo nemátodo da madeira do pinheiro (NMP). Apresenta-se como um verme microscópico, invertebrado, medindo menos de 1,5 mm de comprimento. O contágio entre árvores deve-se a vectores biologicamente conhecidos por longicórneo e capricórnio do pinheiro. Os produtores de madeira de pinho são desta forma obrigados a efectuar tratamentos térmicos (HT), de eliminação do NMP e dos seus vectores para que a exportação da madeira serrada cumpra com a norma NP 4487. De modo a manter a competitividade internacional das empresas nacionais, o impacto dos custos do HT deve ser minimizado. O objectivo desta dissertação é efectuar o estudo técnico-económico da implementação de um sistema de cogeração capaz produzir calor para efectuar o tratamento ao NMP e simultaneamente energia eléctrica para vender à rede pública. As receitas da venda de energia eléctrica poderão contribuir para a minimização dos custos do HT. Tendo em conta que os resíduos das serrações de madeira podem ser usados como combustível consideraram-se para avaliação duas tecnologias de cogeração, um sistema de turbina a vapor clássico (ciclo Rankine) e um sistema Organic Rankine Cycle (ORC), permitindo ambas a queima dos resíduos das serrações de madeira. No que diz respeito à avaliação económica, foi desenvolvido um simulador de tecnologia/modalidade de remuneração que efectua cálculos consoante as necessidades térmicas de cada produtor, a potência eléctrica a instalar e indicadores económicos, VAL, TIR e PAYBACK da instalação do sistema de cogeração. O simulador desenvolvido aplica a nova legislação que enquadra o sistema jurídico e remuneratório da cogeração (DL 23/2010), na qual se consideram duas modalidades, geral e especial. A metodologia desenvolvida foi aplicada num caso real de uma serração de madeira e os principais resultados mostram que as soluções apresentadas, turbina a vapor e sistema ORC, não apresentam viabilidade económica. Através da análise de sensibilidade, conclui-se que um dos factores que mais influência a viabilidade económica do projecto é o tempo de funcionamento reduzido. Sendo uma das soluções apresentada a criação de uma central de cogeração para vários produtores de madeira. Uma possível solução para o problema do reduzido tempo de utilização seria o fornecimento do serviço de tratamentos térmicos a outros produtores de paletes de madeira que não possuem estufa própria.

Genotoxic effects of exposure to formaldehyde in two different occupational settings

Formaldehyde (CH2O), the most simple and reactive aldehyde, is a colorless, reactive and readily polymerizing gas at room temperature (National Toxicology Program [NTP]. It has a pungent suffocating odor that is recognized by most human subjects at concentrations below 1 ppm. Aleksandr Butlerov synthesized the chemical in 1859, but it was August Wilhelm von Hofmann who identified it as the product formed from passing methanol and air over a heated platinum spiral in 1867. This method is still the basis for the industrial production of formaldehyde today, in which methanol is oxidized using a metal catalyst. By the early 20th century, with the explosion of knowledge in chemistry and physics, coupled with demands for more innovative synthetic products, the scene was set for the birth of a new material–plastics. According to the Report on Carcinogens, formaldehyde ranks 25th in the overall U.S. chemical production, with more than 5 million tons produced each year. Formaldehyde annual production rises up to 21 million tons worldwide and it has increased in China with 7.5 million tons produced in 2007. Given its economic importance and widespread use, many people are exposed to formaldehyde environmentally and/or occupationally. Commercially, formaldehyde is manufactured as an aqueous solution called formalin, usually containing 37% by weight of dissolved formaldehyde. This chemical is present in all regions of the atmosphere arising from the oxidation of biogenic and anthropogenic hydrocarbons. Formaldehyde concentration levels range typically from 2 to 45 ppbV (parts per billion in a given volume) in urban settings that are mainly governed by primary emissions and secondary formation.

The immediate effects of atlanto-occipital joint manipulation and suboccipital muscle inhibition technique on active mouth opening and pressure pain sensitivity over latent myofascial trigger points in the masticatory muscles

DESIGN: A randomized controlled trial.OB JECTIVE: To investigate the immediate effects on pressure pain thresholds over latent trigger points (TrPs) in the masseter and temporalis muscles and active mouth opening following atlanto-occipital joint thrust manipulation or a soft tissue manual intervention targeted to the suboccipital muscles. BACKGROUND : Previous studies have described hypoalgesic effects of neck manipulative interventions over TrPs in the cervical musculature. There is a lack of studies analyzing these mechanisms over TrPs of muscles innervated by the trigeminal nerve. METHODS: One hundred twenty-two volunteers, 31 men and 91 women, between the ages of 18 and 30 years, with latent TrPs in the masseter muscle, were randomly divided into 3 groups: a manipulative group who received an atlanto-occipital joint thrust, a soft tissue group who received an inhibition technique over the suboccipital muscles, and a control group who did not receive an intervention. Pressure pain thresholds over latent TrPs in the masseter and temporalis muscles, and active mouth opening were assessed pretreatment and 2 minutes posttreatment by a blinded assessor. Mixed-model analyses of variance (ANOVA) were used to examine the effects of interventions on each outcome, with group as the between-subjects variable and time as the within-subjects variable. The primary analysis was the group-by-time interaction. RESULTS: The 2-by-3 mixed-model ANOVA revealed a significant group-by-time interaction for changes in pressure pain thresholds over masseter (P<.01) and temporalis (P =.003) muscle latent TrPs and also for active mouth opening (P<.001) in favor of the manipulative and soft tissue groups. Between-group effect sizes were small. CONCLUSIONS: The application of an atlanto-occipital thrust manipulation or soft tissue technique targeted to the suboccipital muscles led to an immediate increase in pressure pain thresholds over latent TrPs in the masseter and temporalis muscles and an increase in maximum active mouth opening. Nevertheless, the effects of both interventions were small and future studies are required to elucidate the clinical relevance of these changes. LEVEL OF EVIDENCE : Therapy, level 1b. J Orthop Sports Phys Ther 2010;40(5):310-317. doi:10.2519/jospt.2010.3257. KEYWORDSDS: cervical manipulation, muscle trigger points, neck, TMJ, upper cervical.

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.