Results 151 to 160 of about 411,715 (285)

Diagnosis of Alzheimer's disease with high accuracy via Petri net modeling of signaling pathways. [PDF]

Sci Rep
Ebrahimian H, Asadzadeh F, Rahgozar M, Kavousi K.   +3 more
europepmc   +1 more source

Petri nets and their applications

, 1991
Petri nets are named in honor of Dr. Carl A. Petri for his famous Ph.D dissertation of general net theory in 1962. A substantial amount of work utilizing and modifying the Petri nets has been done since then, and they have turned out to be very useful in
Jin, Wei
core  

Phytotoxicity Assessment of Ashes Generated From Household Combustion of Conventional Fuels, Mixed Fuels, and Municipal Waste

Land Degradation &Development, EarlyView.
ABSTRACT The main aim of the study was to assess the toxicity of ash generated in household furnaces through the combustion of materials most commonly burned in individual households. The toxicity tests were conducted using plant bioassays with cress (Lepidium sativum), mustard (Sinapis) and sorghum (Sorghum) seeds.
Alicja Kicińska, Urszula Klimiuk
wiley   +1 more source

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
europepmc   +1 more source

Cotton strips as a model substrate for analysis of leaf‐litter‐colonizing microbial assemblages in streams

Limnology and Oceanography: Methods, EarlyView.
Abstract Leaf‐litter decomposition is a key indicator of the functional integrity of stream ecosystems and cotton strips have been employed as a standard substrate for quantification of litter‐decomposition rates in streams across the globe. Cotton strips also offer a standardized method for assessing structural integrity of stream microbial ...
Trinity Shoemaker, Cynthia Nguyen, Scott D. Tiegs, David M. Costello, John J. Kelly   +4 more
wiley   +1 more source

Petri net modeling and simulation of post-transcriptional regulatory networks of human embryonic stem cell (hESC) differentiation to cardiomyocytes. [PDF]

J Integr Bioinform
Hansel-Fröse AFF, Brinkrolf C, Friedrichs M, Dallagiovanna B, Spangenberg L.   +4 more
europepmc   +1 more source

Current-state opacity verification in discrete event systems using an observer net. [PDF]

Sci Rep, 2022
Labed A, Saadaoui I, Wu N, Yu J, Li Z.
europepmc   +1 more source

Global variables in colored Petri nets

, 2006
Simulating the complex control systems and desiring the results of simulation to maximally draw nearer the real processes, it will be already not enough of those possibilities, which are provided by colored Petri nets. There exist such control systems, for which it is not possible to create adequate model or the model complexity grows to such extent at
Bartkevičius, S., Kragnys, R., Šarkauskas, K., Kauno technologijos universitetas   +3 more
openaire   +1 more source

Model Checking of Object Petri Nets in Prolog

, 2003
Object Petri nets (OPNs) provide a natural and modular method for the modelling of many real-world systems. We give a structure-preserving translation of OPNs to Prolog, avoiding the need for an unfolding to a flat Petri net.
Farwer, Berndt, Leuschel, Michael
core  

A Reversible Clearing Strategy Enables Robust Label‐Free Phase Imaging of Thick Tissues

Laser &Photonics Reviews, EarlyView.
The principle of a reversible clearing strategy via glycerol and tartrazine solution (GTS) for robust whole‐slide label‐free phase imaging of thick tissue slices via high‐throughput Fourier ptychographic microscopy (FPM) and lensless digital holographic microscopy (LDHM). ABSTRACT Thick biological specimens impose strong scattering and attenuation that
Mikołaj Krysa, Anna Chwastowicz, Małgorzata Lenarcik, Paweł Matryba, Piotr Zdańkowski, Maciej Trusiak   +5 more
wiley   +1 more source