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.

Pre-Admission and Post-Hospital Management of Heart Failure in Patients not Enrolled in Specialist Programs

Aim: To review the management of heart failure in patients not enrolled in specialist multidisciplinary programs. Method: A prospective clinical audit of patients admitted to hospital with either a current or past diagnosis of heart failure and not enrolled in a specialist heart failure program or under the direct care of the cardiology unit. Results: 81 eligible patients were enrolled (1 August to 1 October 2008). The median age was 81 9.4 years and 48% were male. Most patients (63%) were in New York Heart Association Class II or Class III heart failure. On discharge, 59% of patients were prescribed angiotensin converting enzyme inhibitors and 43% were prescribed beta-blockers. During hospitalisation, 8.6% of patients with a past diagnosis of heart failure were started on an angiotensin converting enzyme inhibitor and 4.9% on a beta-blocker. There was evidence of suboptimal dosage on admission and discharge for angiotensin converting enzyme inhibitors (19% and 7.4%) and beta-blockers (29% and 17%). The results compared well with international reports regarding the under-treatment of heart failure. Conclusion: The demonstrated practice gap provides excellent opportunities for the involvement of pharmacists to improve the continuation of care for heart failure patients discharged from hospital in the areas of medication management review, dose titration and monitoring.

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.

Dynamic axial ligand-site exchange in facially discriminated ruthenium(II) carbonyl and rhodium(III) halide metalloporphyrins

For a series of six-coordinate Ru(II)(CO)L or Rh(III)(X–)L porphyrins which are facially differentiated by having a naphthoquinol- or hydroquinol-containing strap across one face, we show that ligand migration from one face to the other can occur under mild conditions, and that ligand site preference is dependent on the nature of L and X–. For bulky nitrogen-based ligands, the strap can be displaced sideways to accommodate the ligand on the same side as the strap. For the ligand pyrazine, we show 1 H NMR evidence for monodentate and bidentate binding modes on both faces, dependent on ligand concentration and metalloporphyrin structure, and that inter-facial migration is rapid under normal conditions. For monodentate substituted pyridine ligands there is a site dependence on structure, and we show clear evidence of dynamic ligand migration through a series of ligand exchange reactions.