Results 41 to 50 of about 20,113 (245)
Analysis of Petri Net Models through Stochastic Differential Equations
, 2014 It is well known, mainly because of the work of Kurtz, that density dependent Markov chains can be approximated by sets of ordinary differential equations (ODEs) when their indexing parameter grows very large.
A. Pourranjbar +13 more
core +1 more source
Hybrid Petri net model of a traffic intersection in an urban network [PDF]
, 2010 Control in urban traffic networks constitutes an important and challenging research topic nowadays. In the literature, a lot of work can be found devoted to improving the performance of the traffic flow in such systems, by means of controlling the red-to-
Boel, René +3 more
core +3 more sources
Nanodiamond Quantum Sensors for Probing Free Radical Biology
Advanced Functional Materials, EarlyView.Free radicals play key roles in cellular signaling and disease but remain difficult to measure in living systems. Nanodiamonds (NDs) with nitrogen‐vacancy (NV) centers enable quantum sensing of local magnetic noise via T₁ relaxometry, providing nondestructive radical detection in living cells.
Qi Lu, Yingke Wu, Tanja Weil
wiley +1 more source
Modelling, reduction and analysis of Markov automata (extended version) [PDF]
, 2013 Markov automata (MA) constitute an expressive continuous-time compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic fault trees, Generalised Stochastic Petri Nets, and AADL.
Guck, Dennis +4 more
core +2 more sources
Event structures for Petri nets with persistence [PDF]
, 2018 Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri.
Baldan, Paolo +5 more
core +4 more sources
Temporal and Cell‐Specific Regulation of Synaptic Homeostasis by the Chromatin Remodeler Chd1
Advanced Science, EarlyView.Chd1, the Drosophila homologue of mammalian CHD2 ‐ a gene linked to autism, epilepsy, and intellectual disability, is required for synaptic homeostatic plasticity. Chd1 in glia is necessary for the rapid induction of synaptic homeostasis, whereas Chd1 in motoneurons, muscle, and glia is critical for long‐term maintenance.
Danielle T. Morency +19 more
wiley +1 more source
Advanced Science, EarlyView.A new class of biohybrid spheroids is engineered through the self‐assembly of adherent cells and extracellular matrix‐mimetic hydrogel microparticles (microgels). By mimicking a snowballing effect, this approach enables scalable formation of porous, millimeter‐scale spheroids with enhanced cell viability and molecular diffusion.
Zaman Ataie +7 more
wiley +1 more source
Формальное описание систем средствами Петри-объектных моделей [PDF]
, 2011 The article considers the new formal methods for system's description based on object-oriented methodology and stochastic timed Petri net. The state equation of stochastic timed Petri net with conflict and multi-transitions is received.
Стеценко, И. В.
core
Agribusiness, EarlyView.ABSTRACT This study sets out to investigate the prospects for raising oil palm output in sub‐Saharan Africa, particularly Ghana, without further expansion of cropland. Given global concerns about oil palm's role in deforestation and land use change, the focus is on enhancing productivity on existing farmlands.
Jacob Asravor +3 more
wiley +1 more source
Approximate performability and dependability analysis using generalized stochastic Petri Nets [PDF]
, 1992 Since current day fault-tolerant and distributed computer and communication systems tend to be large and complex, their corresponding performability models will suffer from the same characteristics.
Haverkort, Boudewijn R.
core +3 more sources