Results 71 to 80 of about 31,117 (298)
High-Level Petri Net Model Checking with AlPiNA
Fundamenta Informaticae, 2011 Although model checking is heavily used in the hardware domain, it did not take off in software engineering yet. One of the possible reasons is that software models are very complex. They integrate many dimensions such as data types and concurrency, leading to the infamous state space explosion problem.
Hostettler Steve +4 more
openaire +5 more sources
Laser‐Induced Graphene from Waste Almond Shells
Advanced Functional Materials, EarlyView.Almond shells, an abundant agricultural by‐product, are repurposed to create a fully bioderived almond shell/chitosan composite (ASC) degradable in soil. ASC is converted into laser‐induced graphene (LIG) by laser scribing and proposed as a substrate for transient electronics.
Yulia Steksova +9 more
wiley +1 more source
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
, 2008 We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary Place/Transition nets suited to model open systems which might
Andrea Corradini +5 more
core +5 more sources
Approximate performability and dependability analysis using generalized stochastic Petri Nets [PDF]
, 1992 Since current day fault-tolerant and distributed computer and communication systems tend to be large and complex, their corresponding performability models will suffer from the same characteristics.
Haverkort, Boudewijn R.
core +3 more sources
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
Modeling and Detection of Blockchain Smart Contract Attackers Based on Petri Nets [PDF]
Jisuanji gongchengSmart contracts are the core of the second-generation blockchain Ethereum. They involve a large amount of cash flow but are vulnerable to hacking because of being deployed on a public chain.
YANG Linfeng, HUANG Zheng, XU Yan, DING Zhijun
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
The PN-PEM framework: a Petri Net based parallel execution model
Journal of Computer Science and Technology, 2015 This paper introduces the PN-PEM framework. It is based on the representation of an algorithm with Petri Nets. Frequently, a real algorithm needs a large Petri Net to be represented.
Aaron Gustavo Horacio Wolfmann +1 more
doaj
Internet enabled modelling of extended manufacturing enterprises using the process based techniques [PDF]
, 2004 The paper presents the preliminary results of an ongoing research project on Internet enabled process-based modelling of extended manufacturing enterprises.
Cheng, K, Popov, Y
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