Results 31 to 40 of about 411,715 (285)
Aerospace, 2023 Traditional reliability analysis methods such as Reliability Block Diagram, Fault Tree Analysis, and Markov Analysis are all subjective methods whose results significantly depend on the analysts’ skills and experiences.
Mingyuan Huang +3 more
doaj +1 more source
On the Computation of Stubborn Sets of Colored Petri Nets [PDF]
, 2006 Valmari’s Stubborn Sets method is a member of the so-called partial order methods. These techniques are usually based on a selective search algorithm: at each state processed during the search, a stubborn set is calculated and only the enabled transitions of this set are used to generate the successors of the state.
Evangelista, Sami +1 more
openaire +1 more source
The Impact of Petri Nets on System-of-Systems Engineering [PDF]
, 2009 The successful engineering of a large-scale system-of-systems project towards deterministic behaviour depends on integrating autonomous components using international communications standards in accordance with dynamic requirements.
SINCLAIR, KIRSTEN,MHAIRI
core
Mapping RT-LOTOS specifications into Time Petri Nets [PDF]
, 2006 RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri ...
Boyer, Marc +7 more
core +1 more source
Molecular Oncology, EarlyView.The novel styrylquinazolinone‐based molecule W1B effectively suppresses glioblastoma by inhibiting IGF1R and EGFR. In high‐glucose microenvironments driving tumor resistance, W1B acts synergistically with the EGFR inhibitor dacomitinib. This combination safely blocks compensatory survival signaling in zebrafish xenograft models. Showcasing promising in
Patryk Rurka +9 more
wiley +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
IEEE Access, 2020 Various deadlock control policies for automated manufacturing systems with reliable and shared resources have been developed, based on Petri nets. In practical applications, a resource may be unreliable.
Abdulrahman Al-Ahmari +3 more
doaj +1 more source
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes [PDF]
Logical Methods in Computer Science, 2009 We propose a framework for reasoning about unbounded dynamic networks of infinite-state processes. We propose Constrained Petri Nets (CPN) as generic models for these networks.
Ahmed Bouajjani +4 more
doaj +1 more source
Implantable Ionic Memristors Based on Natural Polymer Heterojunctions
Advanced Functional Materials, EarlyView.We report an implantable natural polymer‐based ionic memristor composed of hyaluronic acid, chitosan, and PDMS. The device achieved 98.94% accuracy in MNIST classification while reducing training time by 36.8% compared with a conventional artificial neural network (ANN).
Dong‐yup Lee +6 more
wiley +1 more source
Research on state monitoring and diagnosis models for multi-state systems based on Petri nets
Results in EngineeringPetri nets (PNs) are an effective modeling method for system fault diagnosis and monitoring. However, basic Petri nets (BPNs) cannot distinguish between different resource types and cannot determine the firing weights of transitions based on the ...
Haohao Liu +3 more
doaj +1 more source