A proposal for relative time petri nets

Copyright © 2005, IEEEPetri nets are a graph-based modelling formalism which has been widely used for the formal specification and analysis of concurrent systems. A common analysis technique is that of state space exploration (or reachability analysis). Here, every possible reachable state of the system is generated and desirable properties are evaluated for each state. This approach has the great advantage of conceptual simplicity, but the great disadvantage of being susceptible to state space explosion, where the number of states is simply too large for exhaustive exploration. Many reduction techniques have been suggested to ameliorate the problem of state space explosion. In the case of timed systems, the state space is infinite, unless analysis is restricted to a bounded time period. In this paper, we present a Petri net formalism based on the notion of relative time (as opposed to the traditional approach of dealing with absolute time). The goal is to derive a finite state space for timed systems which have repeating patterns of behaviour, even though time continues to advance indefinitely.Joseph Kuehn, Charles Lakos, Robert Esse

An incremental modular technique for checking LTL-X properties on Petri nets

Model-checking is a powerful and widespread technique for the verification of finite state concurrent systems. However, the main hindrance for wider application of this technique is the well-known state explosion problem. Modular verification is a promising natural approach to tackle this problem. It is based on the "divide and conquer" principle and aims at deducing the properties of the system from those of its components analysed in isolation. Unfortunately, several issues make the use of modular verification techniques difficult in practice. First, deciding how to partition the system into components is not trivial and can have a significant impact on the resources needed for verification. Second, when model-checking a component in isolation, how should the environment of this component be described? In this paper, we address these problems in the framework of model-checking LTL\X action-based properties on Petri nets. We propose an incremental and modular verification approach where the system model is partitioned according to the actions occurring in the property to be verified and where the environment of a component is taken into account using the linear place invariants of the system

Rickettsia slovaca Infection: DEBONEL/TIBOLA

Producción CientíficaThis study describes the epidemiological, clinical, and microbiological characteristics of a new tick-borne disease in Spain—Dermacentor-borne necrosis erythema lymphadenopathy (DEBONEL). The clinical presentations include an eschar at the site of the tick bite, surrounded by an erythema and painful regional lymphadenopathy. The disease appears during the colder months and its vector is Dermacentor marginatus (D. marginatus). From January 1990 to December 2004, 54 patients presented at Hospital of La Rioja with these clinical and epidemiological data. The ratio of females to males was 32/22. The average age was 37 years. In all cases tick bites were located on the upper body (90% on the scalp). The median incubation period was 4.7 days. Signs and symptoms were mild in all cases. Only a small number of patients presented mild and nonspecific abnormalities in a complete blood cell count and mild elevation of erythrocyte sedimentation rates and C-protein reactive and liver enzyme levels. Serological evidence of acute rickettsiosis was observed in 19 patients (61%). In 29% sera tested by polymerase chain reactions (PCRs) were positive. The sequence obtained from a PCR product revealed 98% identity with Rickettsia sp. strains RpA4, DnS14, and DnS28. All ticks removed from patients were PCR-positive. Sequencing showed 8 of them identified as R. slovaca and 2 as Rickettsia sp. strains RpA4, DnS14, and DnS28

PPAR? Downregulation by TGF in Fibroblast and Impaired Expression and Function in Systemic Sclerosis: A Novel Mechanism for Progressive Fibrogenesis

The nuclear orphan receptor peroxisome proliferator-activated receptor-gamma (PPAR-γ) is expressed in multiple cell types in addition to adipocytes. Upon its activation by natural ligands such as fatty acids and eicosanoids, or by synthetic agonists such as rosiglitazone, PPAR-γ regulates adipogenesis, glucose uptake and inflammatory responses. Recent studies establish a novel role for PPAR-γ signaling as an endogenous mechanism for regulating transforming growth factor-ß (TGF-ß)- dependent fibrogenesis. Here, we sought to characterize PPAR-γ function in the prototypic fibrosing disorder systemic sclerosis (SSc), and delineate the factors governing PPAR-γ expression. We report that PPAR-γ levels were markedly diminished in skin and lung biopsies from patients with SSc, and in fibroblasts explanted from the lesional skin. In normal fibroblasts, treatment with TGF-ß resulted in a time- and dose-dependent down-regulation of PPAR-γ expression. Inhibition occurred at the transcriptional level and was mediated via canonical Smad signal transduction. Genome-wide expression profiling of SSc skin biopsies revealed a marked attenuation of PPAR-γ levels and transcriptional activity in a subset of patients with diffuse cutaneous SSc, which was correlated with the presence of a ''TGF-ß responsive gene signature'' in these biopsies. Together, these results demonstrate that the expression and function of PPAR-γ are impaired in SSc, and reveal the existence of a reciprocal inhibitory cross-talk between TGF-ß activation and PPAR-γ signaling in the context of fibrogenesis. In light of the potent anti-fibrotic effects attributed to PPAR-γ, these observations lead us to propose that excessive TGF-ß activity in SSc accounts for impaired PPAR-γ function, which in turn contributes to unchecked fibroblast activation and progressive fibrosis. © 2010 Wei et al

Increased Production of the Soluble Tumor-Associated Antigens CA19-9, CA125, and CA15-3 in Rheumatoid Arthritis

Some tumor-associated antigens (TAAs) are expressed on inflammatory cells. We previously detected carcinoembryonic antigen (CEA; CD66) in the rheumatoid (RA) synovium. The production of CEA, CA19-9, CA125, and CA15.3, may be increased in patients with RA, scleroderma, lupus, and SjÖgren's syndrome (SS). Some of these TAAs contain sialylated carbohydrate motifs and they are involved in tumor-associated cell adhesion and metastasis. We assessed levels of TAAs in the sera of RA patients and healthy subjects. Serum TAA levels were correlated with disease markers including serum rheumatoid factor (RF), C-reactive protein (CRP), and anti-CCP antibody levels, DAS28, age disease duration. TAAs including CEA, CA15-3, CA72-4, CA125, and CA19-9, and neuron-specific enolase (NSE) were assessed by immunoassay in the sera of 75 patients with RA and 50 age- and sex-matched healthy controls. Normal upper limits for these TAAs were 3.4 Μg/L, 25 kU/L, 6.9 kU/L, 35 kU/L, 34 kU/L, and 16.3 Μg/L, respectively. There were significantly more RA patients showing abnormally high levels of CA125 (10.8% versus 7.1%), CA19-9 (8.1% versus 0%), and CA15-3 (17.6% versus 14.3%) in comparison to controls ( P < 0.05). The mean absolute serum levels of CA125 (23.9 ± 1.8 versus 16.8 ± 2.2 kU/L) and CA19-9 (14.2 ± 1.2 versus 10.5 ± 1.6 kU/L) were also significantly higher in RA compared to controls ( P < 0.05). Among RA patients, serum CEA showed significant correlation with RF ( r = 0.270; P < 0.05). None of the assessed TAAs showed any correlation with CRP, anti-CCP, DAS28, age or disease duration. The concentration of some TAAs may be elevated in the sera of patients with established RA in comparison to healthy subjects. CEA, CA19-9, CA125, and CA15-3 contain carbohydrate motifs and thus they may be involved in synovitis-associated adhesive events. Furthermore, some TAAs, such as CEA, may also correlate with prognostic factors, such as serum RF levels.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73224/1/annals.1422.037.pd

IgA Anti-β2-Glycoprotein I Autoantibodies Are Associated with an Increased Risk of Thromboembolic Events in Patients with Systemic Lupus Erythematosus

The clinical utility of testing for antiphospholipid antibodies (aPL) of IgA isotype remains controversial.To address this issue, we reasoned that if IgA aPL contribute to the clinical manifestations of the antiphospholipid syndrome, then an association with thromboembolic events should manifest in patients whose only aPL is of IgA isotype. We performed a retrospective chart review of 56 patients (31 with systemic lupus erythematosus [SLE] and 25 without SLE) whose only positive aPL was IgA anti-beta2-glycoprotein I (isolated IgA anti-beta2GPI) and compared their clinical features with 56 individually matched control patients without any aPL. Patients with isolated IgA anti-beta2GPI had a significantly increased number of thromboembolic events, as compared to controls. When patients were stratified into those with and without SLE, the association between isolated IgA anti-beta2GPI and thromboembolic events persisted for patients with SLE, but was lost for those without SLE. Titers of IgA anti-beta2GPI were significantly higher in SLE patients who suffered a thromboembolic event. Among patients with isolated IgA anti-beta2GPI, there was an increased prevalence of diseases or morbidities involving organs of mucosal immunity (i.e., gastrointestinal system, pulmonary system, and skin).The presence of isolated IgA anti-beta2GPI is associated with an increased risk of thromboembolic events, especially among patients with SLE. IgA anti-beta2GPI is associated with an increased prevalence of morbidities involving organs of mucosal immunity

NIST interlaboratory study on glycosylation analysis of monoclonal antibodies : comparison of results from diverse analytical methods

Glycosylation is a topic of intense current interest in the development of biopharmaceuticals since it is related to drug safety and efficacy. This work describes results of an interlaboratory study on the glycosylation of the Primary Sample (PS) of NISTmAb, a monoclonal antibody reference material. Seventy‑six laboratories from industry, university, research, government, and hospital sectors in Europe, North America, Asia, and Australia submitted a total of 103 reports on glycan distributions. The principal objective of this study was to report and compare results for the full range of analytical methods presently used in the glycosylation  analysis of mAbs. Therefore, participation was unrestricted, with laboratories choosing their own measurement techniques. Protein glycosylation was determined in various ways, including at the level of intact mAb, protein fragments, glycopeptides, or released glycans, using a wide variety of methods for derivatization, separation, identification, and quantification. Consequently, the diversity of results was enormous, with the number of glycan compositions identified by each laboratory ranging from 4 to 48. In total, one hundred sixteen glycan compositions were reported, of which 57 compositions could be assigned consensus abundance values. These consensus medians provide community-derived values for NISTmAb PS. Agreement with the consensus medians did not depend on the specific method or laboratory type.. The study provides a view of the current state-of-the-art for biologic glycosylation measurement and suggests a clear need for harmonization of glycosylation analysis methods