Results 71 to 80 of about 145,993 (337)
Independence and concurrent separation logic
, 2008 A compositional Petri net-based semantics is given to a simple language allowing pointer manipulation and parallelism. The model is then applied to give a notion of validity to the judgements made by concurrent separation logic that emphasizes the ...
Glynn Winskel +2 more
core +1 more source
Advanced Functional Materials, EarlyView.Shellac, a centuries‐old natural resin, is reimagined as a green material for flexible electronics. When combined with silver nanowires, shellac films deliver transparency, conductivity, and stability against humidity. These results position shellac as a sustainable alternative to synthetic polymers for transparent conductors in next‐generation ...
Rahaf Nafez Hussein +4 more
wiley +1 more source
Timed Colored Logical Petri Net [PDF]
Jisuanji kexue yu tansuoAiming at the problems of weak expressive ability and narrow scope of application in extended colored logical Petri net, timed colored logical Petri net is proposed. Firstly, instantiating colors and using variables to build expressions on directed edges
WANG Jiafeng, XU Xian
doaj +1 more source
An All‐Optical Driven Bio‐Photovoltaic Interface for Active Control of Live Cells
Advanced Functional Materials, EarlyView.Bio‐photovoltaic Interface (BIO‐PV‐I) for live cell manipulation is presented. BIO‐PV‐I can be activated non‐invasively and remotely to control the spatial motility, adhesion, and morphology of cells adhering to it. BIO‐PV‐I uses a patterned light‐induced electric potential in iron‐doped lithium niobate crystals whose light‐driven and reversible nature,
Lisa Miccio +8 more
wiley +1 more source
Fault Diagnosis of Bounded Petri Nets Using Path Marking Graphs
IEEE Access, 2018 This paper proposes a fault diagnosis method based on the path information of a bounded Petri net model. It relies on the notions of two graphs called path marking graph and modified path marking graph, which characterize different sets of paths and ...
Dandan Ye +3 more
doaj +1 more source
Advanced Functional Materials, EarlyView.This study reports a microfluidic device with a functionalized surface utilizing a polyoxazoline coating and covalently immobilized gold nanoparticles and anti‐phosphatidylserine antibody. The device efficiently eliminates pre‐apoptotic and apoptotic spermatozoa and yields sperm with substantially improved quality and low DNA damage, offering a simple ...
Soraya Rasi Ghaemi +5 more
wiley +1 more source
Task sequence planning in a robot workcell using AND/OR nets [PDF]
An approach to task sequence planning for a generalized robotic manufacturing or material handling workcell is described. Given the descriptions of the objects in this system and all feasible geometric relationships among these objects, an AND/OR net ...
Cao, Tiehua, Sanderson, Arthur C.
core +1 more source
Advanced Functional Materials, EarlyView.This study presents a versatile approach to harnessing miscible aqueous domains, enabling liquid‐in‐liquid compartmentalization using a barrier formed in situ rather than bulk immiscibility. The barrier forms upon the complexation of multifunctional nanoparticles and ligands at the contact boundary of aqueous phases.
Seyyed Alireza Hashemi +7 more
wiley +1 more source
Bounded LTL Model Checking with Stable Models
, 2001 In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous systems a generalisation of communicating automata, 1-safe Petri nets, are used.
F. Fages +4 more
core +8 more sources
Using petri nets to specify and execute missions for autonomous underwater vehicles [PDF]
, 2009 This paper presents the design and implementation of a mission control system (MCS) for an autonomous underwater vehicle (AUV) based on Petri nets. In the proposed approach the Petri nets are used to specify as well as to execute the desired autonomous ...
Carreras Pérez, Marc +3 more
core +2 more sources