Results 61 to 70 of about 8,449 (302)
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
, 2019 Petri nets are a formalism for modelling and reasoning about the behaviour of distributed systems. Recently, a reversible approach to Petri nets, Reversing Petri Nets (RPN), has been proposed, allowing transitions to be reversed spontaneously in or out ...
A Philippou +13 more
core +1 more source
A phenomenal basis for hybrid modelling [PDF]
, 2017 This work in progress extends the new mechanical philosophy from science to engineering. Engineering is the practice of organising the design and construction of artifices that satisfy needs in real-world contexts.
Hall, Jon G +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
IET Communications, 2023 The authors’ work deals with modelling with coloured Petri nets (CPN) of network controlled systems (NCS) and exposes a proposal of a sensor fault detection and prevention mechanism. In NCS, the network must be viewed as part of the system and not just a
Khamsa Farah +2 more
doaj +1 more source
Advanced Functional Materials, EarlyView.We propose a suture‐complementary approach that integrates optical skin clearing with a strain‐programmable luminescent adhesive patch. Hyaluronic acid promotes transdermal delivery of tartrazine to improve optical clearing and stabilizes its interaction with a photosensitizer. Optical clearing increases the penetration depth of visible light into skin,
Seong‐Jong Kim +6 more
wiley +1 more source
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking [PDF]
, 2015 Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petri nets in SystemC for modeling large embedded control systems.
Legay, Axel, Ngo, Van Chan
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
Generating Parallel Applications from Models Based on Petri Nets
Advances in Electrical and Electronic Engineering, 2012 Parallel and distributed systems play an important role in the development of information technologies and their applications today. These systems are very useful but their development and usage is inherently more difficult.
Stanislav Bohm, Marek Behalek
doaj +1 more source
Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach [PDF]
, 2005 Within MDA models are usually created in the UML. However, one may prefer to\ud use different notations such as Petri-nets, for example, for modelling concurrency\ud and synchronization properties of systems. This paper claims that techniques that\ud are
Aksit, M., Roubtsova, E.E.
core +1 more source
Generic Pipelined Processor Modeling and High Performance Cycle-Accurate Simulator Generation
, 2005 Detailed modeling of processors and high performance cycle-accurate simulators are essential for today's hardware and software design. These problems are challenging enough by themselves and have seen many previous research efforts.
Dutt, Nikil, Reshadi, Mehrdad
core +1 more source