Workflow nets
, a particular class of Petri nets, have become one of the standard ways to model and analyze workflows. Typically, they are used as an abstraction of the workflow that is used to check ...the so-called
soundness property
. This property guarantees the absence of livelocks, deadlocks, and other anomalies that can be detected without domain knowledge. Several authors have proposed alternative notions of soundness and have suggested to use more expressive languages, e.g., models with cancellations or priorities. This paper provides an
overview of the different notions of soundness and investigates these in the presence of different extensions of workflow nets
. We will show that the eight soundness notions described in the literature are decidable for workflow nets. However, most extensions will make all of these notions undecidable. These new results show the theoretical limits of workflow verification. Moreover, we discuss some of the analysis approaches described in the literature.
The
INK4A locus is often inactivated in human cancer.
INK4A encodes for p14
ARF and p16
INK4A that inhibit growth through
p53 and
pRb, respectively. We used RNA interference vectors in transformation ...assays of human primary cells to analyze tumor-suppressive functions. We first show that a concerted inactivation of pRb and p53 is required for transformation. We then demonstrate that loss of p14
ARF enhances growth in a p53-dependent manner but has little tumorigenic effect. In contrast, suppression of
p16
INK4A
expression does not affect cellular proliferation but synergizes with p53 loss to accelerate growth and cause transformation. Our results delineate the functions of the human
INK4A genes in normal and tumorigenic growth.
Recent data have linked hypoxia, a classic feature of the tumor microenvironment, to the function of specific microRNAs (miRNAs); however, whether hypoxia affects other types of noncoding transcripts ...is currently unknown. Starting from a genome-wide expression profiling, we demonstrate for the first time a functional link between oxygen deprivation and the modulation of long noncoding transcripts from ultraconserved regions, termed transcribed-ultraconserved regions (T-UCRs). Interestingly, several hypoxia-upregulated T-UCRs, henceforth named 'hypoxia-induced noncoding ultraconserved transcripts' (HINCUTs), are also overexpressed in clinical samples from colon cancer patients. We show that these T-UCRs are predominantly nuclear and that the hypoxia-inducible factor (HIF) is at least partly responsible for the induction of several members of this group. One specific HINCUT, uc.475 (or HINCUT-1) is part of a retained intron of the host protein-coding gene, O-linked N-acetylglucosamine transferase, which is overexpressed in epithelial cancer types. Consistent with the hypothesis that T-UCRs have important function in tumor formation, HINCUT-1 supports cell proliferation specifically under hypoxic conditions and may be critical for optimal O-GlcNAcylation of proteins when oxygen tension is limiting. Our data gives a first glimpse of a novel functional hypoxic network comprising protein-coding transcripts and noncoding RNAs (ncRNAs) from the T-UCRs category.
Casein kinase 1 delta and epsilon (CK1 delta / epsilon ) are key regulators of diverse cellular growth and survival processes including Wnt signaling, DNA repair and circadian rhythms. Recent studies ...suggest that they have an important role in oncogenesis. RNA interference screens identified CK1 epsilon as a pro-survival factor in cancer cells in vitro and the CK1 delta / epsilon -specific inhibitor IC261 is remarkably effective at selective, synthetic lethal killing of cancer cells. The recent development of the nanomolar CK1 delta / epsilon -selective inhibitor, PF670462 (PF670) and the CK1 epsilon -selective inhibitor PF4800567 (PF480) offers an opportunity to further test the role of CK1 delta / epsilon in cancer. Unexpectedly, and unlike IC261, PF670 and PF480 were unable to induce cancer cell death. PF670 is a potent inhibitor of CK1 delta / epsilon in cells; nanomolar concentrations are sufficient to inhibit CK1 delta / epsilon activity as measured by repression of intramolecular autophosphorylation, phosphorylation of disheveled2 proteins and Wnt/ beta -catenin signaling. Likewise, small interfering RNA knockdown of CK1 delta and CK1 epsilon reduced Wnt/ beta -catenin signaling without affecting cell viability, further suggesting that CK1 delta / epsilon inhibition may not be relevant to the IC261-induced cell death. Thus, while PF670 is a potent inhibitor of Wnt signaling, it only modestly inhibits cell proliferation. In contrast, while sub-micromolar concentrations of IC261 neither inhibited CK1 delta / epsilon kinase activity nor blocked Wnt/ beta -catenin signaling in cancer cells, it caused a rapid induction of prometaphase arrest and subsequent apoptosis in multiple cancer cell lines. In a stepwise transformation model, IC261-induced killing required both overactive Ras and inactive p53. IC261 binds to tubulin with an affinity similar to colchicine and is a potent inhibitor of microtubule polymerization. This activity accounts for many of the diverse biological effects of IC261 and, most importantly, for its selective cancer cell killing.
Endogenous small RNAs (miRNAs) regulate gene expression by mechanisms conserved across metazoans. While the number of verified human miRNAs is still expanding, only few have been functionally ...annotated. To perform genetic screens for novel functions of miRNAs, we developed a library of vectors expressing the majority of cloned human miRNAs and created corresponding DNA barcode arrays. In a screen for miRNAs that cooperate with oncogenes in cellular transformation, we identified miR-372 and miR-373, each permitting proliferation and tumorigenesis of primary human cells that harbor both oncogenic RAS and active wild-type p53. These miRNAs neutralize p53-mediated CDK inhibition, possibly through direct inhibition of the expression of the tumor-suppressor LATS2. We provide evidence that these miRNAs are potential novel oncogenes participating in the development of human testicular germ cell tumors by numbing the p53 pathway, thus allowing tumorigenic growth in the presence of wild-type p53.
Activating mutations of
RAS frequently occur in subsets of human cancers, indicating that RAS activation is important for tumorigenesis. However, a large proportion of these cancers still retain ...wild-type
RAS alleles, suggesting that either the RAS pathway is activated in a distinct manner or another pathway is deregulated. To uncover novel tumor-suppressor genes, we screened an RNA-interference library for knockdown constructs that transform human primary cells in the absence of ectopically introduced oncogenic RAS. Here we report the identification of PITX1, whose inhibition induces the RAS pathway and tumorigenicity. Interestingly, we observed low expression of
PITX1 in prostate and bladder tumors and in colon cancer cell lines containing wild-type RAS. Restoration of PITX1 in the colon cancer cells inhibited tumorigenicity in a wild-type RAS-dependent manner. Finally, we identified RASAL1, a RAS-GTPase-activating protein, as a transcription target through which PITX1 affects RAS function. Thus, PITX1 suppresses tumorigenicity by downregulating the RAS pathway through RASAL1.
MicroRNAs (miRNAs) are inhibitors of gene expression capable of controlling processes in normal development and cancer. In mammals, miRNAs use a seed sequence of 6–8 nucleotides (nt) to associate ...with 3′ untranslated regions (3′UTRs) of mRNAs and inhibit their expression. Intriguingly, occasionally not only the miRNA-targeting site but also sequences in its vicinity are highly conserved throughout evolution. We therefore hypothesized that conserved regions in mRNAs may serve as docking platforms for modulators of miRNA activity. Here we demonstrate that the expression of dead end 1 (Dnd1), an evolutionary conserved RNA-binding protein (RBP), counteracts the function of several miRNAs in human cells and in primordial germ cells of zebrafish by binding mRNAs and prohibiting miRNAs from associating with their target sites. These effects of Dnd1 are mediated through uridine-rich regions present in the miRNA-targeted mRNAs. Thus, our data unravel a novel role of Dnd1 in protecting certain mRNAs from miRNA-mediated repression.
Abstract Objective: To evaluate whether a programme of multifactorial home visits reduces falls and impairments in mobility in elderly people living in the community. Design: Randomised controlled ...trial with 18 months of follow up. Setting: Six general practices in Hoensbroek, the Netherlands. Participants: 316 people aged 70 and over living in the community, with moderate impairments in mobility or a history of recent falls. Intervention: Five home visits by a community nurse over a period of one year. Visits consisted of screening for medical, environmental, and behavioural factors causing falls and impairments in mobility, followed by specific advice, referrals, and other actions aimed at dealing with the observed hazards. Main outcome measures: Falls and impairments in mobility. Results: No differences were found in falls and mobility outcomes between the intervention and usual care groups. Conclusion: Multifactorial home visits had no effects on falls and impairments in mobility in elderly people at risk who were living in the community. Because falls and impairments in mobility remain a serious problem among elderly people, alternative strategies should be developed and evaluated.
Parity-identified mammary epithelial cells (PI-MECs) are an interesting cellular subset because they survive involution and are a presumptive target for transformation by human epidermal growth ...factor receptor 2 (HER2)/neu in mammary tumors. Depending on the type of assay, PI-MECs have been designated lobule-restricted progenitors or multipotent stem/progenitor cells. PI-MECs were reported to be part of the basal population of mammary epithelium based on flow cytometry. We investigated the cellular identity and lineage potential of PI-MECs in intact mammary glands.
We performed a quantitative and qualitative analysis of the contribution of PI-MECs to mammary epithelial cell lineages in pregnant and involuted mammary glands by immunohistochemistry, fluorescence-activated cells sorting (FACS), and quantitative polymerase chain reaction. PI-MECs were labeled by the activation of Whey Acidic Protein (WAP)-Cre during pregnancy that results in permanent expression of yellow fluorescent protein.
After involution, PI-MECs are present exclusively in the luminal layer of mammary ducts. During pregnancy, PI-MECs contribute to the luminal layer but not the basal layer of alveolar lobules. Strikingly, whereas all luminal estrogen receptor (ER)-negative cells in an alveolus can be derived from PI-MECs, the alveolar ER-positive cells are unlabeled and reminiscent of Notch2-traced L cells. Notably, we observed a significant population of unlabeled alveolar progenitors that resemble PI-MECs based on transcriptional and histological analysis.
Our demonstration that PI-MECs are luminal cells underscores that not only basal cells display multi-lineage potential in transplantation assays. However, the lineage potential of PI-MECs in unperturbed mammary glands is remarkably restricted to luminal ER-negative cells of the secretory alveolar lineage. The identification of an unlabeled but functionally similar population of luminal alveolar progenitor cells raises the question of whether PI-MECs are a unique population or the result of stochastic labeling. Interestingly, even when all luminal ER-negative cells of an alveolus are PI-MEC-derived, the basal cells and hormone-sensing cells are derived from a different source, indicating that cooperative outgrowth of cells from different lineages is common in alveologenesis.
The proteins of the retinoblastoma family are potent inhibitors of cell cycle progression. It is well documented that their growth-inhibitory activity can be abolished by phosphorylation on serine ...and threonine residues by cyclin dependent kinases. In contrast, very little is known about the dephosphorylation of retinoblastoma-family proteins. We report here the isolation, by virtue of its ability to associate with p107, of a novel Protein Phosphatase 2A (PP2A) regulatory subunit, named PR59. PR59 shares sequence homology with a known regulatory subunit of PP2A, PR72, but differs from PR72 in its expression pattern and its functional properties. We show that PR59 co-immunoprecipitates with the PP2A catalytic subunit, indicating that PR59 is a genuine component of PP2A holo-enzymes. In vivo, PR59 associates specifically with p107, but not with pRb. Elevated expression of PR59 results in dephosphorylation of p107, but not of pRb, and inhibits cell proliferation by causing cells to accumulate in G1. These data support a model in which the distinct PP2A regulatory subunits act to target the PP2A catalytic subunit to specific substrates and suggest a role for PP2A in regulation of p107.