Results 41 to 50 of about 262,073 (323)
The Reachability Problem for Petri Nets is Not Elementary [PDF]
, 2019 Petri nets, also known as vector addition systems, are a long established model of concurrency with extensive applications in modelling and analysis of hardware, software and database systems, as well as chemical, biological and business processes.
Colcombet Thomas +8 more
core +4 more sources
Molecular Oncology, EarlyView.Aldehyde dehydrogenase 1A1 (ALDH1A1) is a cancer stem cell marker in several malignancies. We established a novel epithelial cell line from rectal adenocarcinoma with unique overexpression of this enzyme. Genetic attenuation of ALDH1A1 led to increased invasive capacity and metastatic potential, the inhibition of proliferation activity, and ultimately ...
Martina Poturnajova +25 more
wiley +1 more source
Modeling Routing Constructs to Represent Distributed Workflow Processes Using Extended Petri Nets
ITM Web of Conferences, 2017 The contribution introduces explaining and modelling routing construct to represent distributed workflow processes using extended Petri nets with the new construction which is the interruption routing.
Karay Mehmet
doaj +1 more source
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
, 2019 Petri nets are a formalism for modelling and reasoning about the behaviour of distributed systems. Recently, a reversible approach to Petri nets, Reversing Petri Nets (RPN), has been proposed, allowing transitions to be reversed spontaneously in or out ...
A Philippou +13 more
core +1 more source
KReach : a tool for reachability in petri nets [PDF]
, 2019 We present KReach, a tool for deciding reachability in general Petri nets. The tool is a full implementation of Kosaraju’s original 1982 decision procedure for reachability in VASS. We believe this to be the first implementation of its kind. We include a
Dixon, Alex, Lazic, Ranko
core +1 more source
RIPK4 function interferes with melanoma cell adhesion and metastasis
Molecular Oncology, EarlyView.RIPK4 promotes melanoma growth and spread. RIPK4 levels increase as skin lesions progress to melanoma. CRISPR/Cas9‐mediated deletion of RIPK4 causes melanoma cells to form less compact spheroids, reduces their migratory and invasive abilities and limits tumour growth and dissemination in mouse models.
Norbert Wronski +9 more
wiley +1 more source
Petri Nets for Biologically Motivated Computing [PDF]
Scientific Annals of Computer Science, 2011 Petri nets are a general and well-established model of concurrent and distributed computation and behaviour, including that taking place in biological systems. In this survey paper, we are concerned with intrinsic relationships between Petri nets and two
J. Kleijn, M. Koutny, G. Rozenberg
doaj
Structural Sequence Detectability in Free Choice Interpreted Petri Nets [PDF]
, 2015 This paper is concerned with the structural sequence detectability problem in Free Choice Interpreted Petri nets, i.e. with the possibility of recovering the firing transition sequence in Free Choice Interpreted Petri nets using the output information ...
Nuño-Sánchez, Saúl A. +2 more
core +1 more source
FEBS Open Bio, EarlyView.CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point +7 more
wiley +1 more source
Colored Petri nets for Modeling Processes of Biometric Identification System [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information SciencesThe article discusses some issues of modeling and digitalization of real-time systems using Petri nets (Petrosyan et al., 2025). The identification and secret key generation system is modeled using the Colored Petri net, which is a modern extension of ...
G. Petrosyan +4 more
doaj +1 more source