Results 41 to 50 of about 31,117 (298)
DAIMI Report Series, 1983 This paper combines two closely related net models, predicate/transition nets and coloured Petri nets, into a new net model called high-level Petri nets. The new model is intended to combine the qualities of the two old models into a single formalism, and we propose in the future to use high-level Petri nets instead of both predicate/transition nets ...
openaire +3 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
A Graphical Approach for Hybrid Simulation of 3D Diffusion Bio-Models via Coloured Hybrid Petri Nets
Modelling and Simulation in Engineering, 2020 Three-dimensional modelling of biological systems is imperative to study the behaviour of dynamic systems that require the analysis of how their components interact in space. However, there are only a few formal tools that offer a convenient modelling of
Amr Ismail +3 more
doaj +1 more source
Multi-Event Modeling and Recognition Using Extended Petri Nets
IEEE Access, 2020 This paper addresses the event modeling and recognition problem in video surveillance systems using the system net on the Petri Net (PN) formalism. The single event on the foundation of prior knowledge is first modeled via arranging event schemes from ...
Ji Qiu, Lide Wang, Yin Wang, Yu Hen Hu
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
Development and Evaluation of a Novel Investment Decision System in Cryptocurrency Market
Applied Artificial Intelligence, 2021 More and more people are entering the cryptocurrency market after Bitcoin (BTC) soared to nearly USD 20,000 in 2017. To promote the development of information technology and cryptocurrency marketing, various computerized systems integrating information ...
Dai-Lun Chiang +6 more
doaj +1 more source
Software Process Modelling with FUNSOFT Nets [PDF]
, 2002 In this paper we introduce FUNSOFT nets. FUNSOFT nets are high level Petri nets which are well-suited for software process modelling. We define the semantics of FUNSOFT nets in terms of Pr/T nets.
Emmerich, Wolfgang, Gruhn, Volker
core
Modelling epistasis in genetic disease using Petri nets, evolutionary computation and frequent itemset mining [PDF]
, 2010 Petri nets are useful for mathematically modelling disease-causing genetic epistasis. A Petri net model of an interaction has the potential to lead to biological insight into the cause of a genetic disease.
Beretta, Lorenzo, Mayo, Michael
core +2 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
Energies, 2021 In this work, we represent a shunt active power filter (SAPF) based on a serial three-phase flying capacitor multilevel inverter (FCMI) controlled by a Petri Nets representation (PNs). This structure is chosen for its significant performances.
Sana Othman +4 more
doaj +1 more source