Results 41 to 50 of about 64,411 (297)
A Compositional Analysis Method for Petri-Net Models
IEEE Access, 2017 Compositional analysis aims to reveal the underlying structures of a large-scale system or network by analyzing its constituent components and their relationships.
Jie Ding, Xiao Chen, Rui Wang
doaj +1 more source
Molecular Oncology, EarlyView.Glioma cells mainly express the endothelin receptor EDNRB, while EDNRA is restricted to a perivascular tumor subpopulation. Endothelin signaling reduces glioma cell proliferation while promoting migration and a proneural‐to‐mesenchymal transition associated with poor prognosis. This pathway activates Ca2+, K+, ERK, and STAT3 signalings and is regulated
Donovan Pineau +36 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
Lending Petri nets and contracts [PDF]
, 2013 Choreography-based approaches to service composition typically assume that, after a set of services has been found which correctly play the roles prescribed by the choreography, each service respects his role.
K Honda +4 more
core +4 more sources
Molecular Oncology, EarlyView.Loss of the miR‐214/199a cluster is associated with recurrence in ovarian cancer. Engineered small extracellular vesicles (m214‐sEVs) elevate miR‐214‐3p/miR‐199a‐5p in tumor cells, suppress β‐catenin, TLR4, and YKT6 signaling, reprogram tumor‐derived sEV cargo, reduce chemoresistance and migration, and enhance carboplatin efficacy and survival in ...
Weida Wang +12 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
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
Performance analysis using timed Petri Nets [PDF]
, 1983 Petri Nets have been successfully used to model and evaluate the performance of distributed systems. Several researchers have extended the basic Petri Net model to include time, and have demonstrated that restricted classes of Petri Nets can be analyzed ...
Phelps, Charles V., Razouk, Rami R.
core +1 more source
Anchorage‐independent and faster growth in clonal population from UV‐irradiated NER‐deficient cells
FEBS Open Bio, EarlyView.UV‐irradiated cells expressing a DDB2 mutant protein unable to interact with PCNA (DDB2PCNA‐) form clones able to grow without anchorage. Different experimental approaches reveal heterogeneity in cell cycle regulation and drug response within these clones, emphasizing the crucial role of the DDB2‐PCNA interaction in preventing cellular transformation ...
Paola Perucca +6 more
wiley +1 more source