Results 21 to 30 of about 20,698 (215)
Performance Evaluation of Discrete Event Systems with GPenSIM
Computers, 2018 Petri nets are a useful tool for the modeling and performance evaluation of discrete event systems. Literature reveals that the Petri Net models of real-world discrete event systems are most frequently event graphs (a subclass of Petri nets).
Reggie Davidrajuh +2 more
doaj +1 more source
IEEE Access, 2020 Efficient business process is important to the operations of supply chain finance (SCF). Many deficiencies exist in the processes of SCF such as complicated workflows and high time-consuming steps. However, few studies have paid attention to evaluate and
Xuhong Ye +4 more
doaj +1 more source
Petri Net Modeling for Ising Model Formulation in Quantum Annealing
Applied Sciences, 2021 Quantum annealing is an emerging new platform for combinatorial optimization, requiring an Ising model formulation for optimization problems. The formulation can be an essential obstacle to the permeation of this innovation into broad areas of everyday ...
Morikazu Nakamura +2 more
doaj +1 more source
A Method of Sample Models of Program Construction in Terms of Petri Nets
Моделирование и анализ информационных систем, 2015 In the article a method of automated construction of Petri nets simulating the behaviour of imperative programs is considered from the formal point of view.
D. I. Kharitonov +3 more
doaj +1 more source
DESIGN AND IMPLEMENTATION OF DEADLOCK CONTROL FOR AUTOMATED MANUFACTURING SYSTEMS
South African Journal of Industrial Engineering, 2019 Petri nets are robust mathematical tools for the modelling, handling, and control of deadlock problems in automated manufacturing systems (AMSs). Several methods have been proposed to prevent deadlocks in AMSs.
Kaid, Husam +4 more
doaj +1 more source
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 +4 more
wiley +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
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 +3 more
doaj +1 more source
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