Results 121 to 130 of about 21,375,197 (296)
Bounded self-stabilizing Petri nets
, 2005 We investigate the property of self-stabilization in bounded Petri nets. We give characterizations for both self-stabilizing bounded ordinary Petri nets (i.e., Petri nets without multiple arcs) and self-stabilizing bounded general Petri nets (i.e., Petri
Cherkasova, Ludmila +3 more
core +1 more source
Complex Systems Informatics and Modeling QuarterlyObject-Centric Process Mining (OCPM) often discovers models that are too dense and complex for effective human comprehension. To address this challenge, this work proposes a novel framework for the automated decomposition and aggregation of Object ...
Khalil Mecheraoui
doaj +1 more source
Advanced Robotics Research, EarlyView.Amphiphilic chloroazobenzenes, bearing different amino acids as end groups alanine, phenylalanine, and valine, exhibit excellent photoisomerizations. Varying structures of three amino acid groups participate in supramolecular formations and therefore photoinduced morphological transformations via adjusting intermolecular interactions. These interaction
Shuangshuang Meng +3 more
wiley +1 more source
State Space Reduction for Dynamic Process Creation [PDF]
Scientific Annals of Computer Science, 2010 Automated verification of dynamic multi-threaded computing systems is severely affected by problems relating to dynamic process creation. In this paper, we describe an abstraction technique aimed at generating reduced state space representations for such
H. Klaudel +3 more
doaj
A Superlubricated Magnetically Steerable Microcatheter with Integrated Optical and Fluidic Channels
Advanced Robotics Research, EarlyView.A magnetically steerable microcatheter with integrated optical and fluidic channels is developed for multifunctional navigation in tortuous anatomical environments. A surface‐grafted hydrogel coating enables low‐friction actuation. The device demonstrates stable light and fluid delivery during magnetic manipulation, offering a compact platform for ...
Yuntian Du +5 more
wiley +1 more source
Ensuring Zero Trust in GDPR-Compliant Deep Federated Learning Architecture
ComputersDeep Federated Learning (DFL) revolutionizes machine learning (ML) by enabling collaborative model training across diverse, decentralized data sources without direct data sharing, emphasizing user privacy and data sovereignty.
Zahra Abbas +5 more
doaj +1 more source
From Lab to Landscape: Environmental Biohybrid Robotics for Ecological Futures
Advanced Robotics Research, EarlyView.This Perspective explores environmental biohybrid robotics, integrating living tissues, microorganisms, and insects for operation in real‐world ecosystems. It traces the leap from laboratory experiments to forests, wetlands, and urban environments and discusses key challenges, development pathways, and opportunities for ecological monitoring and ...
Miriam Filippi
wiley +1 more source
A methodological approach for using high-level Petri Nets to model the immune system response. [PDF]
BMC Bioinformatics, 2016 Pennisi M +3 more
europepmc +1 more source
Intelligent Micro/Nanorobots for Targeted Interventional Therapy: From Bench to Clinic
Advanced Robotics Research, EarlyView.Zirui Zhang et al. reviewed the application and challenges of mobile nanomachines in interventional therapy. By converting exogenous energy, including chemical, magnetic, optical, and ultrasonic sources, into mechanical forces, micro/nanorobots (MNRs) enable precise actuation at unprecedented scales. Evolving far beyond traditional drug delivery, these
Zirui Zhang +5 more
wiley +1 more source
Management of occupational hazards through Petri nets in the consultation area of burn patients
Revista de Ciencias Médicas de Pinar del Río, 2018 Introduction: burn injuries are one of the most frequent pathologies in emergency rooms, the variety of trauma most of the times leaves the patient with severe and permanent sequelae.
Leudis Orlando Vega de la Cruz
doaj