Results 111 to 120 of about 145,993 (337)
Semantic Embedding of Petri Nets into Event-B
, 2005 We present an embedding of Petri nets into B abstract systems. The embedding is achieved by translating both the static structure (modelling aspect) and the evolution semantics of Petri nets.
Attiogbe, Christian
core +1 more source
ESA PetriNet: Petri net Based Tool for Reliability Analysis [PDF]
, 2009 International audienceThis paper describes the critical (feared) scenarios derivation tool ESA PetriNet (Extraction Scenarios Algorithm from Petri Net) available from : http://www.laas.fr/ESA.
Demmou, Hamid +2 more
core +1 more source
Modelling and Analysing Deadlock in Flexible Manufacturing System Using Untimed Petri Net [PDF]
, 2015 Muataz Hazza Faizi Al Hazza +3 more
openalex +1 more source
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
Multiplex Modular Nanorobotic Systems with Catalytic Activity under Magnetic Navigation
Advanced Functional Materials, EarlyView.We present modular nanorobots composed of a magnetic propulsion module and different extension modules carrying functional activities, assembled via DNA base pairing. The system integrates propulsion, optical tracking, enzymatic catalysis, and cell docking in a programmable manner.
Voichita Mihali +7 more
wiley +1 more source
Homology and Bisimulation of Asynchronous Transition Systems and Petri Nets
, 2013 Homology groups of labelled asynchronous transition systems and Petri nets are introduced. Examples of computing the homology groups are given. It is proved that if labelled asynchronous transition systems are bisimulation equivalent, then they have ...
Husainov, Ahmet A.
core
Advanced Functional Materials, EarlyView.Terminal domains of recombinant collagen‐like silk regulate hierarchical self‐assembly across molecular and material scales. We show that terminal domains of collagen‐like silk enhance triple‐helix stability and drive liquid–liquid phase separation, enabling reversible formation of fibers and self‐healing films.
Mengjie Shen +5 more
wiley +1 more source
Petri net methodology for solving healthcare management issues
ITM Web of Conferences, 2018 Various approaches of Petri nets can be achieved as system security and information flow in the healthcare recording system inside any medical or health-related business.
Khushk Abdul Rauf, Li Xiaozhong
doaj +1 more source
Assembly of Cell‐Seeded 3D Printed Hydrogel Modules with Perfusable Channel Networks
Advanced Functional Materials, EarlyView.Macroscale assembly was utilized to prepare perfusable tissue constructs from individually 3D printed hydrogel modules with embedded branched channel networks and port arrays for cell seeding. Novel multi‐material bioreactors were fabricated to facilitate the gluing of individual modules and the perfusion culture of assembled modular constructs seeded ...
Zachary J. Geffert +10 more
wiley +1 more source