Results 111 to 120 of about 4,712 (265)
Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets. [PDF]
Sci Prog, 2022 Habbachi S, Li Z, Wu N, Khalgui M.
europepmc +1 more source
Advanced Science, EarlyView.Plant‐based nanomaterials derived from alfalfa serve as dual‐function catalysts, coupling photodegradation and phytoremediation to degrade polyethylene under UV‐A light and in soil. The nanomaterials work synergistically with alfalfa and soil microbes, achieving efficient plastic breakdown without trophic transfer.
Haoran Liu +4 more
wiley +1 more source
A Numerical Comparison of Petri Net and Ordinary Differential Equation SIR Component Models
IEEE AccessPetri nets are an increasingly used modeling framework for the spread of disease across populations or within an individual. For example, the Susceptible-Infectious-Recovered (SIR) compartment model is foundational for population epidemiological modeling
Trevor Reckell +4 more
doaj +1 more source
Advanced Science, EarlyView.A ZIF‐90 nanocarrier delivers dinotefuran and suppresses NlABCG3 and NlABCH1 in resistant Nilaparvata lugens. This system combines pH/ATP‐triggered release with enhanced foliar retention, improving efficacy while sparing honeybees and promoting rice growth, offering a promising resistance‐breaking strategy.
Chengshuai He +9 more
wiley +1 more source
A Formal Performance Evaluation Method for Customised Plug-and-Play Manufacturing Systems Using Coloured Petri Nets. [PDF]
Sensors (Basel), 2022 Wang G +5 more
europepmc +1 more source
The Dimensions of Petri Nets: The Petri Net Cube
, 2005 There exist many different Petri net formalisms. In this paper, we present the Petri Net Cube which helps to structure and classify the variety of Petri net formalisms. We show, that three basic aspects are sufficient for describing most classical Patri net formalisms. Since these aspects are independent of each other, we call them the three Dimensions
Kindler, Ekkart, Weber, Michael
openaire +1 more source
, 1982 Introduction: Fairness is to be understood as performing actions in the order of their announcements. Related problems are studied in the Petri net model where actions correspond to the firings of transitions. An action in announced if a transition becomes firable, it is performed if this transition fires.
openaire +2 more sources
Advanced Science, EarlyView.This study developed an efficacy assessment platform that integrates patient‐derived gastric cancer organoids, atomic force microscopy (AFM)‐based nanomechanical vibration detection, deep learning analysis, and organoid mechanical modeling. It detects picomolar drug effects within 0.1 s signal, achieves 97% classification accuracy, and offers non ...
Ting Zhang +10 more
wiley +1 more source
Advanced Science, EarlyView.Matrix stiffness softening is identified as a previously underappreciated feature in deep caries. Higher stiffness drives exosome release in dental pulp stem cells through a coordinated mechanism involving PI3K–AKT‐regulated Baiap2 and kinesin‐1, thereby promoting odontogenic differentiation.
Bilun Jin +10 more
wiley +1 more source
Petri nets and ODEs as complementary methods for comprehensive analysis on an example of the ATM-p53-NF-[Formula: see text]B signaling pathways. [PDF]
Sci Rep, 2022 Gutowska K +5 more
europepmc +1 more source