Results 31 to 40 of about 20,794 (264)

Petri Nets and Bisimulations

BRICS Report Series, 1994
Several categorical relationships (adjunctions) between models for concurrency<br /> have been established, allowing the translation of concepts and<br />properties from one model to another. A central example is a coreflection<br />between Petri nets and asynchronous transition systems.
Nielsen, Mogens, Winskel, Glynn
openaire   +4 more sources

TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays [PDF]

EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 2016
Performance analysis can be carried out in several ways, especially in case of Markovian models. In order to interpret high level of abstraction, we often use modeling tools like timed Petri nets (TPNs). Although some subclasses of TPNs (e.g.
Ádám Horváth, András Molnár
doaj   +1 more source

Modelling stem cell differentiation related processes—A practical overview for biologists

FEBS Letters, EarlyView.
Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar, Xinqi Yan, Lucas F. Jansen Klomp, Stefano Schivo, Janine N. Post   +4 more
wiley   +1 more source

Engineered extracellular vesicles enriched with the miR‐214/199a cluster enhance the efficacy of chemotherapy in ovarian cancer

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, Ayesha Alvero, Yi Qin, Mingjin Wang, Alexandra Fox, Yanfeng Li, Michael Millman, Amy Kemper, Gil Mor, Xian Shuang Liu, Michael Chopp, Zheng Gang Zhang, Yi Zhang   +12 more
wiley   +1 more source

Behavior modeling method for functional verification of product considering ways of usage

Journal of Advanced Mechanical Design, Systems, and Manufacturing, 2017
Recent industrial globalization has increased importance of functional verification in product design considering various ways of usage. In particular, for shortening development time, it is desired to perform functional verification and necessary ...
Eiji MORINAGA, Hidefumi WAKAMATSU, Hijiri ABIRU, Eiji ARAI   +3 more
doaj   +1 more source

A novel quinazolinone insulin receptor inhibitor and its synergy with an EGFR inhibitor in glucose‐driven glioblastoma

Molecular Oncology, EarlyView.
The novel styrylquinazolinone‐based molecule W1B effectively suppresses glioblastoma by inhibiting IGF1R and EGFR. In high‐glucose microenvironments driving tumor resistance, W1B acts synergistically with the EGFR inhibitor dacomitinib. This combination safely blocks compensatory survival signaling in zebrafish xenograft models. Showcasing promising in
Patryk Rurka, Wioleta Cieślik, Wojciech Płaziński, Katarzyna Stępnik, Anna Boguszewska‐Czubara, Elżbieta Kot, Robert Musioł, Mateusz Jasica, Anna Mrozek‐Wilczkiewicz, Katarzyna Malarz   +9 more
wiley   +1 more source

Oncogenic DMTF1β promotes cancer cell motility by regulating autophagy through ULK1 stabilization

Molecular Oncology, EarlyView.
In the current study, we demonstrate that the oncogene DMTF1β regulates ULK1 stability by reducing its proteasomal degradation in cancer cells. This stabilization enables ULK1 to induce autophagy, which in turn facilitates cancer cell migration. Consequently, reduced DMTF1β levels lead to decreased autophagy and impaired cancer cell migration.
Jun Xu, Nicolas J. Niklaus, Anna M. Schläfli, Igor Tokarchuk, Magali Humbert, Federico La Manna, Bich Vu, David Maul, Ramin Radpour, Marianna Kruithof‐de Julio, Inti Zlobec, Jörn Dengjel, Bruce E. Torbett, Mario P. Tschan   +13 more
wiley   +1 more source

Airport Surface Modelling and Simulation Based on Timed Coloured Petri Net

Promet (Zagreb), 2019
In order to satisfy the requirements of International Civil Aviation Organization (ICAO) for aircraft taxi route planning in Advanced Surface Movement Guidance and Control System (A-SMGCS), an airport surface operation modelling and simulation approach ...
Zhigang Su, Mengqi Qiu
doaj   +1 more source

Hydrostatic pressure activates HIF‐1α via β‐catenin to promote stemness in breast cancer cells

FEBS Open Bio, EarlyView.
To mimic the elevated intestinal fluid pressure in breast cancers, we loaded human breast cancer cells (MCF‐7, MDA‐MB‐453, and BT‐474) to 50 mmHg hydrostatic pressure. Hydrostatic pressure exposure upregulated HIF‐1α and induced stemness in MCF‐7 and BT‐474 cells.
Da Zhai, Yong Xu, Jingjing Ma, Ratchanee Duangrat, Chen Yan, Jingyan Liang, Hua Wei, Bin Jiang, Tao‐Sheng Li   +8 more
wiley   +1 more source

Dependent Shrink of Transitions for Calculating Firing Frequencies in Signaling Pathway Petri Net Model

Algorithms, 2016
Despite the recent rapid progress in high throughput measurements of biological data, it is still difficult to gather all of the reaction speed data in biological pathways.
Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno   +2 more
doaj   +1 more source