A symbolic algorithm for the synthesis of bounded Petri nets

This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events are split into several transitions to guarantee the synthesis of a Petri net with bisimilar behavior. The algorithm uses symbolic representations of multisets of states to efficiently generate all the minimal regions. The algorithm has been implemented in a tool. Experimental results show a significant net reduction when compared with approaches for the synthesis of safe Petri nets.Peer ReviewedPostprint (author's final draft

Su(dx) E3 ubiquitin ligase–dependent and –independent functions of Polychaetoid, the Drosophila ZO-1 homologue

Polychaetoid coordinates receptor trafficking and signaling with adherens junction organization

Reversing Steps in Petri Nets

In reversible computations one is interested in the development of mechanisms allowing to undo the effects of executed actions. The past research has been concerned mainly with reversing single actions. In this paper, we consider the problem of reversing the effect of the execution of groups of actions (steps). Using Petri nets as a system model, we introduce concepts related to this new scenario, generalising notions used in the single action case. We then present a number of properties which arise in the context of reversing of steps of executed transitions in place/transition nets. We obtain both positive and negative results, showing that dealing with steps makes reversibility more involved than in the sequential case. In particular, we demonstrate that there is a crucial difference between reversing steps which are sets and those which are true multisets

Down-Regulation of Yes Associated Protein 1 Expression Reduces Cell Proliferation and Clonogenicity of Pancreatic Cancer Cells

BACKGROUND: The Hippo pathway regulates organ size by inhibiting cell proliferation and promoting cell apoptosis upon its activation. The Yes Associated Protein 1 (YAP1) is a nuclear effector of the Hippo pathway that promotes cell growth as a transcription co-activator. In human cancer, the YAP1 gene was reported as amplified and over-expressed in several tumor types. METHODS: Immunohistochemical staining of YAP1 protein was used to assess the expression of YAP1 in pancreatic tumor tissues. siRNA oligonucleotides were used to knockdown the expression of YAP1 and their effects on pancreatic cancer cells were investigated using cell proliferation, apoptosis, and anchorage-independent growth assays. The Wilcoxon signed-rank, Pearson correlation coefficient, Kendall's Tau, Spearman's Rho, and an independent two-sample t (two-tailed) test were used to determine the statistical significance of the data. RESULTS: Immunohistochemistry studies in pancreatic tumor tissues revealed YAP1 staining intensities were moderate to strong in the nucleus and cytoplasm of the tumor cells, whereas the adjacent normal epithelial showed negative to weak staining. In cultured cells, YAP1 expression and localization was modulated by cell density. YAP1 total protein expression increased in the nuclear fractions in BxPC-3 and PANC-1, while it declined in HPDE6 as cell density increased. Additionally, treatment of pancreatic cancer cell lines, BxPC-3 and PANC-1, with YAP1-targeting siRNA oligonucleotides significantly reduced their proliferation in vitro. Furthermore, treatment with YAP1 siRNA oligonucleotides diminished the anchorage-independent growth on soft agar of pancreatic cancer cells, suggesting a role of YAP1 in pancreatic cancer tumorigenesis. CONCLUSIONS: YAP1 is overexpressed in pancreatic cancer tissues and potentially plays an important role in the clonogenicity and growth of pancreatic cancer cells

Comparative genetic, proteomic and phosphoproteomic analysis of C. <i>elegans </i>embryos with a focus on <i>ham</i>-1/STOX and <i>pig</i>-1/MELK in dopaminergic neuron development

Asymmetric cell divisions are required for cellular diversity and defects can lead to altered daughter cell fates and numbers. In a genetic screen for C. elegans mutants with defects in dopaminergic head neuron specification or differentiation, we isolated a new allele of the transcription factor HAM-1 [HSN (Hermaphrodite-Specific Neurons) Abnormal Migration]. Loss of both HAM-1 and its target, the kinase PIG-1 [PAR-1(I)-like Gene], leads to abnormal dopaminergic head neuron numbers. We identified discrete genetic relationships between ham-1, pig-1 and apoptosis pathway genes in dopaminergic head neurons. We used an unbiased, quantitative mass spectrometry-based proteomics approach to characterise direct and indirect protein targets and pathways that mediate the effects of PIG-1 kinase loss in C. elegans embryos. Proteins showing changes in either abundance, or phosphorylation levels, between wild-type and pig-1 mutant embryos are predominantly connected with processes including cell cycle, asymmetric cell division, apoptosis and actomyosin-regulation. Several of these proteins play important roles in C. elegans development. Our data provide an in-depth characterisation of the C. elegans wild-type embryo proteome and phosphoproteome and can be explored via the Encyclopedia of Proteome Dynamics (EPD) - an open access, searchable online database

Zyxin Links Fat Signaling to the Hippo Pathway

Using genetic and molecular analyses, the authors identify Zyx as a positive regulator of Hippo signaling and characterize its role within the pathway

Yki/YAP, Sd/TEAD and Hth/MEIS Control Tissue Specification in the Drosophila Eye Disc Epithelium

During animal development, accurate control of tissue specification and growth are critical to generate organisms of reproducible shape and size. The eye-antennal disc epithelium of Drosophila is a powerful model system to identify the signaling pathway and transcription factors that mediate and coordinate these processes. We show here that the Yorkie (Yki) pathway plays a major role in tissue specification within the developing fly eye disc epithelium at a time when organ primordia and regional identity domains are specified. RNAi-mediated inactivation of Yki, or its partner Scalloped (Sd), or increased activity of the upstream negative regulators of Yki cause a dramatic reorganization of the eye disc fate map leading to specification of the entire disc epithelium into retina. On the contrary, constitutive expression of Yki suppresses eye formation in a Sd-dependent fashion. We also show that knockdown of the transcription factor Homothorax (Hth), known to partner Yki in some developmental contexts, also induces an ectopic retina domain, that Yki and Scalloped regulate Hth expression, and that the gain-of-function activity of Yki is partially dependent on Hth. Our results support a critical role for Yki- and its partners Sd and Hth - in shaping the fate map of the eye epithelium independently of its universal role as a regulator of proliferation and survival

Verification of Logs - Revealing Faulty Processes of a Medical Laboratory

Abstract. If there is a suspicion of Lyme disease, a blood sample of a patient is sent to a medical laboratory. The laboratory performs a number of dierent blood examinations testing for antibodies against the Lyme disease bacteria. The total number of dierent examinations depends on the intermediate results of the blood count. The costs of each examination is paid by the health insurance company of the patient. To control and restrict the number of performed examinations the health insurance companies provide a charges regulation document. If a health insurance company disagrees with the charges of a laboratory it is the job of the public prosecution service to validate the charges according to the regulation document. In this paper we present a case study showing a systematic approach to reveal faulty processes of a medical laboratory. First, files produced by the information system of the respective laboratory are analysed and consolidated in a database. An excerpt from this database is translated into an event log describing a sequential language of events performed by the information system. With the help of the regulation document this language can be split in two sets- the set of valid and the set of faulty words. In a next step, we build a coloured Petri net model corre-sponding to the set of valid words in a sense that only the valid words are executable in the Petri net model. In a last step we translated the coloured Petri net into a PL/SQL-program. This program can automat-ically reveal all faulty processes stored in the database.

Yki/YAP, Sd/TEAD and Hth/MEIS Control Tissue Specification in the Drosophila Eye Disc Epithelium

During animal development, accurate control of tissue specification and growth are critical to generate organisms of reproducible shape and size. The eye-antennal disc epithelium of Drosophila is a powerful model system to identify the signaling pathway and transcription factors that mediate and coordinate these processes. We show here that the Yorkie (Yki) pathway plays a major role in tissue specification within the developing fly eye disc epithelium at a time when organ primordia and regional identity domains are specified. RNAi-mediated inactivation of Yki, or its partner Scalloped (Sd), or increased activity of the upstream negative regulators of Yki cause a dramatic reorganization of the eye disc fate map leading to specification of the entire disc epithelium into retina. On the contrary, constitutive expression of Yki suppresses eye formation in a Sd-dependent fashion. We also show that knockdown of the transcription factor Homothorax (Hth), known to partner Yki in some developmental contexts, also induces an ectopic retina domain, that Yki and Scalloped regulate Hth expression, and that the gain-of-function activity of Yki is partially dependent on Hth. Our results support a critical role for Yki- and its partners Sd and Hth - in shaping the fate map of the eye epithelium independently of its universal role as a regulator of proliferation and survival