Reduction rules for reset/inhibitor nets

Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These extensions can be used to model cancellation and blocking. A reset arc allows a transition to remove all tokens from a certain place when the transition fires. An inhibitor arc can stop a transition from being enabled if the place contains one or more tokens. While reset/inhibitor nets increase the expressive power of Petri nets, they also result in increased complexity of analysis techniques. One way of speeding up Petri net analysis is to apply reduction rules. Unfortunately, many of the rules defined for classical Petri nets do not hold in the presence of reset and/or inhibitor arcs. Moreover, new rules can be added. This is the first paper systematically presenting a comprehensive set of reduction rules for reset/inhibitor nets. These rules are liveness and boundedness preserving and are able to dramatically reduce models and their state spaces. It can be observed that most of the modeling languages used in practice have features related to cancellation and blocking. Therefore, this work is highly relevant for all kinds of application areas where analysis is currently intractable.

Removal of toxic arsenic and antimony from groundwater Spiro Tunnel Bulkhead in Park City Utah using colloidal iron hydroxide : comparison with reverse ssmosis

Verification testing of two model technologies in pilot scale to remove arsenic and antimony based on reverse osmosis and chemical coagulation/filtration systems was conducted in Spiro Tunnel Water Filtration Plant located in Park City, Utah, US. The source water was groundwater in abandoned silver mine, naturally contaminated by 60-80 ppb of arsenic and antimony below 10 ppb. This water represents one of the sources of drinking water for Park City and constitutes about 44% of the water supply. The failure to remove antimony efficiently by coagulation/filtration (only 4.4% removal rate) under design conditions is discussed in terms of the chemistry differences between Sb (III, V) and As (III, V). Removal of Sb(V) at pH > 7, using coagulation/filtration technology, requires much higher (50 to 80 times) concentration of iron (III) than As. The stronger adsorption of arsenate over a wider pH range can be explained by the fact that arsenic acid is tri-protic, whereas antimonic acid is monoprotic. This difference in properties of As(V) and Sb(V) makes antimony (V) more difficult to be efficiently removed in low concentrations of iron hydroxide and alkaline pH waters, especially in concentration of Sb < 10 ppb.

Reverse biased Pt/nanostructured MoO3/SiC Schottky diode based hydrogen gas sensors

Pt/nanostructured molybdenum oxide (MoO3) /SiC Schottky diode based gas sensors were fabricated for hydrogen (H2) gas sensing. Due to the enhanced performance, which is ascribed to the application of MoO3 nanostructures, these devices were used in reversed bias. MoO3 characterization by scanning electron microscopy showed morphology of randomly orientated nanoplatelets with thicknesses between 50 and 500 nm. An α-Β mixed phase crystallographic structure of MoO3 was characterized by x-ray diffraction. At 180 °C, 1.343 V voltage shift in the reverse I-V curve and a Pt/ MoO3 barrier height change of 20 meV were obtained after exposure to 1% H2 gas in synthetic air. © 2009 American Institute of Physics.

Brivanib alaninate, a dual inhibitor of vascular endothelial growth factor receptor and fibroblast growth factor receptor tyrosine kinases, induces growth inhibition in mouse models of human hepatocellular carcinoma

PURPOSE: Hreceptor (VEGFR) and FGF receptor (FGFR) signaling pathways. EXPERIMENTAL DESIGN: Six different s.c. patient-derived HCC xenografts were implanted into mice. Tumor growth was evaluated in mice treated with brivanib compared with control. The effects of brivanib on apoptosis and cell proliferation were evaluated by immunohistochemistry. The SK-HEP1 and HepG2 cells were used to investigate the effects of brivanib on the VEGFR-2 and FGFR-1 signaling pathways in vitro. Western blotting was used to determine changes in proteins in these xenografts and cell lines. RESULTS: Brivanib significantly suppressed tumor growth in five of six xenograft lines. Furthermore, brivanib-induced growth inhibition was associated with a decrease in phosphorylated VEGFR-2 at Tyr(1054/1059), increased apoptosis, reduced microvessel density, inhibition of cell proliferation, and down-regulation of cell cycle regulators. The levels of FGFR-1 and FGFR-2 expression in these xenograft lines were positively correlated with its sensitivity to brivanib-induced growth inhibition. In VEGF-stimulated and basic FGF stimulated SK-HEP1 cells, brivanib significantly inhibited VEGFR-2, FGFR-1, extracellular signal-regulated kinase 1/2, and Akt phosphorylation. CONCLUSION: This study provides a strong rationale for clinical investigation of brivanib in patients with HCC.

Conceptualisation of articular cartilage as a giant reverse micelle: A hypothetical mechanism for joint biocushioning and lubrication

Phospholipid (PL) molecules form the main structure of the membrane that prevents the direct contact of opposing articular cartilage layers. In this paper we conceptualise articular cartilage as a giant reverse micelle (GRM) in which the highly hydrated three-dimensional network of phospholipids is electrically charged and able to resist compressive forces during joint movement, and hence loading. Using this hypothetical base, we describe a hydrophilic-hydrophilic (HL-HL) biopair model of joint lubrication by contacting cartilages, whose mechanism is reliant on lamellar cushioning. To demonstrate the viability of our concept, the electrokinetic properties of the membranous layer on the articular surface were determined by measuring via microelectrophoresis, the adsorption of ions H, OH, Na and Cl on phospholipid membrane of liposomes, leading to the calculation of the effective surface charge density. The surface charge density was found to be -0.08 ± 0.002 cm-2 (mean ± S.D.) for phospholipid membranes, in 0.155 M NaCl solution and physiological pH. This value was approximately five times less than that measured in 0.01 M NaCl. The addition of synovial fluid (SF) to the 0.155 M NaCl solution reduced the surface charge density by 30% which was attributed to the binding of synovial fluid macromolecules to the phospholipid membrane. Our experiments show that particles charge and interact strongly with the polar core of RM. We demonstrate that particles can have strong electrostatic interactions when ions and macromolecules are solubilized by reverse micelle (RM). Since ions are solubilized by reverse micelle, the surface entropy influences the change in the charge density of the phospholipid membrane on cartilage surfaces. Reverse micelles stabilize ions maintaining equilibrium, their surface charges contribute to the stability of particles, while providing additional screening for electrostatic processes. © 2008 Elsevier Ireland Ltd. All rights reserved.

Wound problems following hip arthroplasty before and after the introduction of a direct thrombin inhibitor for thromboprophylaxis

NICE guidelines have stated that patients undergoing elective hip surgery are at increased risk for venous thromboembolic events (VTE) following surgery and have recommended thromboprophylaxis for 28-35 days1, 2. However the studies looking at the new direct thrombin inhibitors have only looked at major bleeding. We prospectively looked at wound discharge in patients who underwent hip arthroplasty and were given dabigatran postoperatively between March 2010 and April 2010 (n=56). We retrospectively compared these results to a matched group of patients who underwent similar operations six months earlier when all patients were given dalteparin routinely postoperatively until discharge, and discharged home on 150mg aspirin daily for 6 weeks (n=67). Wound discharge after 5 days was significantly higher in the patients taking dabigatran (32% dabigatran n=18, 10% dalteparin n=17, p=0.003) and our rate of delayed discharges due to wound discharge significantly increased from 7% in the dalteparin group (n=5) to 27% for dabigatran (n=15, p=0.004). Patients who received dabigatran were more than five times as likely to return to theatre with a wound complication as those who received dalteparin (7% dabigatran n=4, vs. 1% dalteparin n=1), however, this was not statistically significant (p=0.18). The significantly higher wound discharge and return to theatre rates demonstrated in this study have meant that we have changed our practice to administering dalteparin until the wound is dry and then starting dabigatran. Our study demonstrates the need for further clinical studies regarding wound discharge and dabigatran.

Identification of early-stage colorectal cancer patients at risk of relapse post-resection by immunobead reverse transcription-PCR analysis of peritoneal lavage fluid for malignant cells

Purpose: Colorectal cancer patients diagnosed with stage I or II disease are not routinely offered adjuvant chemotherapy following resection of the primary tumor. However, up to 10% of stage I and 30% of stage II patients relapse within 5 years of surgery from recurrent or metastatic disease. The aim of this study was to determine if tumor-associated markers could detect disseminated malignant cells and so identify a subgroup of patients with early-stage colorectal cancer that were at risk of relapse. Experimental Design: We recruited consecutive patients undergoing curative resection for early-stage colorectal cancer. Immunobead reverse transcription-PCR of five tumor-associated markers (carcinoembryonic antigen, laminin γ2, ephrin B4, matrilysin, and cytokeratin 20) was used to detect the presence of colon tumor cells in peripheral blood and within the peritoneal cavity of colon cancer patients perioperatively. Clinicopathologic variables were tested for their effect on survival outcomes in univariate analyses using the Kaplan-Meier method. A multivariate Cox proportional hazards regression analysis was done to determine whether detection of tumor cells was an independent prognostic marker for disease relapse. Results: Overall, 41 of 125 (32.8%) early-stage patients were positive for disseminated tumor cells. Patients who were marker positive for disseminated cells in post-resection lavage samples showed a significantly poorer prognosis (hazard ratio, 6.2; 95% confidence interval, 1.9-19.6; P = 0.002), and this was independent of other risk factors. Conclusion: The markers used in this study identified a subgroup of early-stage patients at increased risk of relapse post-resection for primary colorectal cancer. This method may be considered as a new diagnostic tool to improve the staging and management of colorectal cancer. © 2006 American Association for Cancer Research.

Catalytic properties of 26 S and 20 S proteasomes and radiolabeling of MB1, LMP7, and C7 subunits associated with trypsin-like and chymotrypsin-like activities*

20 and 26 S proteasomes were isolated from rat liver. The procedure developed for the 26 S proteasome resulted in greatly improved yields compared with previously published methods. A comparison of the kinetic properties of 20 and 26 S proteasomes showed significant differences in the kinetic characteristics with certain substrates and differences in the effects of a protein substrate on peptidase activity. Observed differences in the kinetics of peptidylglutamyl peptide hydrolase activity suggest that the 26 S complex cannot undergo the conformational changes of 20 S proteasomes at high concentrations of the substrate benzyloxycarbonyl (Z) -Leu-Leu-Glu-b-naphthylamide. Various inhibitors that differentially affect the trypsin-like and chymotrypsin-like activities have been identified. Ala-Ala-Phe-chloromethyl (CH2Cl) inhibits chymotrypsin-like activity assayed with succinyl (Suc) -Leu-Leu-Val-Tyr-AMC, but surprisingly not hydrolysis of Ala-Ala-Phe-7-amido-4-methylcoumarin (AMC). Tyr-Gly-Arg-CH2Cl inhibits Suc-Leu-Leu-Val-Tyr-AMC hydrolysis as well as trypsinlike activity measured with t-butoxycarbonyl (Boc) -Leu-Ser-Thr-Arg-AMC, while Z-Phe-Gly-Tyr-diazomethyl (CHN2) was found to inhibit only the two chymotrypsin- like activities. Radiolabeled forms of peptidyl chloromethane and peptidyl diazomethane inhibitors, [3H]acetyl-Ala-Ala-Phe-CH2Cl, [3H]acetyland radioiodinated Tyr-Gly-Arg-CH2Cl, and Z-Phe-Gly- Tyr-(125I-CHN2), have been used to identify catalytic components associated with each of the three peptidase activities. In each case, incorporation of the label could be blocked by prior treatment of the proteasomes with known active site-directed inhibitors, calpain inhibitor 1 or 3,4-dichloroisocoumarin. Subunits of labeled proteasomes were separated either by reverse phase-HPLC and SDS-polyacrylamide gel electrophoresis or by twodimensional polyacrylamide gel electrophoresis followed by autoradiography/fluorography and immunoblotting with subunit-specific antibodies. In each case, label was found to be incorporated into subunits C7, MB1, and LMP7 but in different relative amounts depending on the inhibitor used, consistent with the observed effects on the different peptidase activities. The results strongly suggest a relationship between trypsin-like activity and chymotrypsin-like activity. They also help to relate the different subunits of the complex to the assayed multicatalytic endopeptidase activities