Results 71 to 80 of about 21,375,197 (296)
Representation Theorems for Petri Nets
, 1997 This paper retraces, collects, summarises, and mildly extends the contributions of the authors --- both together and individually --- on the theme of representing the space of computations of Petri nets in its mathematical ...
Meseguer, J., Montanari, U., Sassone, V.
core +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
An Edible Chitosan‐Based Acoustic Sensor for Sound‐Responsive Actuation in Edible Robots
Advanced Functional Materials, EarlyView.This study introduces an edible acoustic sensor for robotic food and edible robotics. Built from a chitosan piezoelectric film between gold electrodes, the sensor enables acoustic communication through ON/OFF keying. Integrated into an edible robot with pneumatically actuated arms and neck, it responds to high‐frequency tones.
Valerio Francesco Annese +8 more
wiley +1 more source
Model Checking of Object Petri Nets in Prolog
, 2003 Object Petri nets (OPNs) provide a natural and modular method for the modelling of many real-world systems. We give a structure-preserving translation of OPNs to Prolog, avoiding the need for an unfolding to a flat Petri net.
Farwer, Berndt, Leuschel, Michael
core +1 more source
Comparative study and categorization of high-level petri nets
Journal of Systems and Software, 1998 Abstract The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems specification, analysis and verification. However, classical (low-level) models suffer from the state explosion problem as resulting PNs become larger.
Vassilis C. Gerogiannis +2 more
openaire +2 more sources
Bacterial Cellulose‐Based Bilayer Passive Cooler for High‐Performance Radiative/Evaporative Cooling
Advanced Functional Materials, EarlyView.A sustainable bilayer passive cooler based on bacterial cellulose integrates radiative and evaporative cooling for efficient zero‐energy temperature reduction. The scalable, low‐carbon material shows strong potential for food preservation, low‐temperature storage, and cold‐chain logistics.
Yibing Zhang +6 more
wiley +1 more source
Functorial Semantics for Petri Nets under the Individual Token Philosophy [PDF]
, 1999 Although the algebraic semantics of place/transition Petri nets under the collective token philosophy has been fully explained in terms of (strictly) symmetric (strict) monoidal categories, the analogous construction under the individual token philosophy
Meseguer, J. +11 more
core +2 more sources
The Algebraic Structure of Petri Nets
, 2004 This survey retraces, collects, and summarises the contributions of the author --- both individually and in collaboration with others --- on the theme of algebraic, compositional approaches to the semantics of Petri ...
Sassone, V.
core +1 more source
Advanced Functional Materials, EarlyView.This work developed an all‐aqueous freeze‐thaw strategy to create a dual‐conductive PVA/P3KBT binder for high volume‐change lithium–ion battery anodes. The resulting binder system strengthens the electrode structure, supports ion and electron transport, and accommodates repeated volume changes, reducing cracking and improving long‐term cycling ...
Haoze Ren +17 more
wiley +1 more source
From RT-LOTOS to Time Petri Nets new foundations for a verification platform [PDF]
, 2005 The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verification platform has been developed for early detection of design errors in ...
Sadani, Tarek +5 more
core +1 more source