Event structures for Petri nets with persistence

Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri. A basic role is played by an unfolding construction that maps (safe) Petri nets into a subclass of event structures, called prime event structures, where each event has a uniquely determined set of causes. Prime event structures, in turn, can be identified with their domain of configurations. At a categorical level, this is nicely formalised by Winskel as a chain of coreflections. Contrary to prime event structures, general event structures allow for the presence of disjunctive causes, i.e., events can be enabled by distinct minimal sets of events. In this paper, we extend the connection between Petri nets and event structures in order to include disjunctive causes. In particular, we show that, at the level of nets, disjunctive causes are well accounted for by persistent places. These are places where tokens, once generated, can be used several times without being consumed and where multiple tokens are interpreted collectively, i.e., their histories are inessential. Generalising the work on ordinary nets, Petri nets with persistence are related to a new subclass of general event structures, called locally connected, by means of a chain of coreflections relying on an unfolding construction

Critical concepts, practice recommendations, and research perspectives of pixantrone therapy in non-Hodgkin lymphoma: a SIE, SIES, and GITMO consensus paper

Objectives: In this paper, we present a review of critical concepts and research perspectives and produce recommendations on the optimal use of pixantrone in non-Hodgkin lymphoma (NHL) by group discussion from an expert panel appointed by the Italian Society of Hematology and the affiliate societies, Societa Italiana di Ematologia Sperimentale and Gruppo Italiano Trapianto di Midollo Osseo. Methods: Recommendations were produced using the Delphi process. Scientific evidence on pixantrone efficacy was analyzed using Grades of Recommendation, Assessment, Development, and Evaluation (GRADE) methodology in the areas where at least one randomized trial was published. The following key issues were addressed for practical recommendations: pixantrone monotherapy in aggressive relapsed or refractory non-Hodgkin B-cell lymphomas and toxicity risk management in patients candidates to pixantrone. Results and conclusions: After a balanced and value-oriented discussion, the panel agreed that the benefit/risk profile was in favor of pixantrone in the treatment of adult patients with multiply relapsed or refractory aggressive NHL B-cell lymphomas. Pixantrone was deemed to be contraindicated in patients with uncontrolled cardiovascular disease. Despite a low rate of cardiotoxicity of pixantrone reported in clinical trials, the panel recommended that all patients receiving pixantrone should undergo periodical cardiac monitoring

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary Place/Transition nets suited to model open systems which might interact with the surrounding environment and endowed with a colimit-based composition operation. We show that natural notions of bisimilarity over open nets are congruences with respect to the composition operation. The considered behavioural equivalences differ for the choice of the observations, which can be single firings or parallel steps. Additionally, we consider weak forms of such equivalences, arising in the presence of unobservable actions. We also provide an up-to technique for facilitating bisimilarity proofs. The theory is used to identify suitable classes of reconfiguration rules (in the double-pushout approach to rewriting) whose application preserves the observational semantics of the net.Comment: To appear in "Logical Methods in Computer Science", 41 page

Specific issues concerning the management of patients on the waiting list and after liver transplantation

The present document is a second contribution collecting the recommendations of an expert panel of transplant hepatologists appointed by the Italian Association for the Study of the Liver (AISF) concerning the management of certain aspects of liver transplantation, including: the issue of prompt referral; the management of difficult candidates; malnutrition; living related liver transplants; hepatocellular carcinoma; and the role of direct acting antiviral agents before and after transplantation. The statements on each topic were approved by participants at the AISF Transplant Hepatology Expert Meeting organized by the Permanent Liver Transplant Commission in Mondello on 12-13 May 2017. They are graded according to the GRADE grading system

Serum and Liver Iron Differently Regulate the Bone Morphogenetic Protein 6 (BMP6)-SMAD Signaling Pathway in Mice

The bone morphogenetic protein 6 (BMP6)-SMAD signaling pathway is a central regulator of hepcidin expression and systemic iron balance. However, the molecular mechanisms by which iron is sensed to regulate BMP6-SMAD signaling and hepcidin expression are unknown. Here we examined the effects of circulating and tissue iron on Bmp6-Smad pathway activation and hepcidin expression in vivo after acute and chronic enteral iron administration in mice. We demonstrated that both transferrin saturation and liver iron content independently influence hepcidin expression. Although liver iron content is independently positively correlated with hepatic Bmp6 messenger RNA (mRNA) expression and overall activation of the Smad1/5/8 signaling pathway, transferrin saturation activates the downstream Smad1/5/8 signaling cascade, but does not induce Bmp6 mRNA expression in the liver. Hepatic inhibitory Smad7 mRNA expression is increased by both acute and chronic iron administration and mirrors overall activation of the Smad1/5/8 signaling cascade. In contrast to the Smad pathway, the extracellular signal-regulated kinase 1 and 2 (Erk1/2) mitogen-activated protein kinase (Mapk) signaling pathway in the liver is not activated by acute or chronic iron administration in mice. Conclusion: Our data demonstrate that the hepatic Bmp6-Smad signaling pathway is differentially activated by circulating and tissue iron to induce hepcidin expression, whereas the hepatic Erk1/2 signaling pathway is not activated by iron in vivo

Resource-Bound Quantification for Graph Transformation

Graph transformation has been used to model concurrent systems in software engineering, as well as in biochemistry and life sciences. The application of a transformation rule can be characterised algebraically as construction of a double-pushout (DPO) diagram in the category of graphs. We show how intuitionistic linear logic can be extended with resource-bound quantification, allowing for an implicit handling of the DPO conditions, and how resource logic can be used to reason about graph transformation systems

Endobronchial metastasis: an epidemiologic and clinicopathologic study of 174 consecutive cases

PURPOSE: Endobronchial metastases from extrapulmonary solid tumors are a rare event and currently available epidemiological and clinico-pathological data mainly derive from anecdotal case reports. METHODS: A series of 174 consecutive cases of endobronchial metastases from extrathoracic solid tumors were collected over a period of 18 years. Immunohistochemistry was performed in 115 cases. Complete imaging features were available in 81 patients, and analysis of the latency period between primitive tumor diagnosis and occurrence of endobronchial metastasis was obtained. RESULTS: Among all bronchoscopic examinations performed in the same period for malignancy, a mean of 5.6 cases per year consisted of endobronchial metastases (range 2-17 cases), with a statistically significant increase when comparing the periods 1992-2000 (65 cases, 37%) and 2001-2009 (109 cases, 63%) (p = 0.05). Overall, 4% of endobronchial biopsies for suspected malignancy disclosed an endobronchial metastasis from extrapulmonary tumor. Breast (52 cases, 30%), colorectal (42 cases, 24%), renal (14%), gastric (6%) and prostate (4.5%) cancers and melanoma (4.5%) were the most common metastatic neoplasms presenting as endobronchial mass. One-hundred fifty-four cases were identified after the primitive tumor diagnosis (metachronous cases, 89%), 11 cases were simultaneously evidenced in extrapulmonary and endobronchial sites (synchronous cases, 6%), while 9 occult metastatic cases (5%) first presented as endobronchial mass (anachronous cases). Overall, mean latency from extrapulmonary tumor diagnosis and endobronchial metastasis was 136 months (range, 1-300 months). The most frequent symptoms were dyspnea (23%), cough (15%) and haemoptysis (12%), while 26% of patients were totally asymptomatic. At radiology, 53% presented as multiple pulmonary nodules, while other cases presented as hilar and mediastinal mass, single peripheral nodule, atelectasis or pleural effusion. CONCLUSIONS: Endobronchial metastases from extrapulmonary tumors account for about 4% of all bronchoscopic biopsies performed for suspected malignancy and in 5% of the cases the metastasis is the first manifestation of the neoplasm

Fabrication of three terminal devices by ElectroSpray deposition of graphene nanoribbons

Electrospray deposition (ESD) in ambient conditions has been used to deposit graphene nanoribbons (GNRs) dispersed in liquid phase on different types of substrates, including ones suitable for electrical transport. The deposition process was controlled and optimized by using Raman spectroscopy, Scanning Probe Microscopies and Scanning Electron Microscopy. When deposited on graphitic electrodes, GNRs were used as semi-conducting channel in three terminal devices showing gate tunability of the electrical current. These results suggest that ESD technique can be used as an effective tool to deposit chemically synthesized GNRs onto substrates of interest for technological applications

Outcomes of haploidentical stem cell transplantation for chronic lymphocytic leukemia: a retrospective study on behalf of the chronic malignancies working party of the EBMT

Allogeneic hematopoietic stem cell transplantation (HCT) may result in long-term disease control in high-risk chronic lymphocytic leukemia (CLL). Recently, haploidentical HCT is gaining interest because of better outcomes with post-transplantation cyclophosphamide (PTCY). We analyzed patients with CLL who received an allogeneic HCT with a haploidentical donor and whose data were available in the EBMT registry. In total 117 patients (74% males) were included; 38% received PTCY as GVHD prophylaxis. For the whole study cohort OS at 2 and 5 yrs was 48 and 38%, respectively. PFS at 2 and 5 yrs was 38 and 31%, respectively. Cumulative incidence (CI) of NRM in the whole group at 2 and 5 years were 40 and 44%, respectively. CI of relapse at 2 and 5 yrs were 22 and 26%, respectively. All outcomes were not statistically different in patients who received PTCY compared to other types of GVHD prophylaxis. In conclusion, results of haploidentical HCT in CLL seem almost identical to those with HLA-matched donors. Thereby, haploidentical HCT is an appropriate alternative in high risk CLL patients with a transplant indication but no available HLA-matched donor. Despite the use of PTCY, the CI of relapse seems not higher than observed after HLA-matched HCT

Iron in Porphyrias: Friend or Foe?

Iron is a trace element that is important for many vital processes, including oxygen transport, oxidative metabolism, cellular proliferation, and catalytic reactions. Iron supports these functions mainly as part of the heme molecule. Heme synthesis is an eight-step process which, when defective at the level of one of the eight enzymes involved, can cause the development of a group of diseases, either inherited or acquired, called porphyrias. Despite the strict link between iron and heme, the role of iron in the different types of porphyrias, particularly as a risk factor for disease development/progression or as a potential therapeutic target or molecule, is still being debated, since contrasting results have emerged from clinical observations, in vitro studies and animal models. In this review we aim to deepen such aspects by drawing attention to the current evidence on the role of iron in porphyrias and its potential implication. Testing for iron status and its metabolic pathways through blood tests, imaging techniques or genetic studies on patients affected by porphyrias can provide additional diagnostic and prognostic value to the clinical care, leading to a more tailored and effective management