Results 121 to 130 of about 64,411 (297)
On the modeling of infinite counters by ordinary Petri nets
Труды Института системного программирования РАН, 2018 This paper provides the analysis of the express power of Petri nets to model counters with infinite state space. The implementation relation for the counters modeling is suggested. A lack of Petri nets expression power for such modeling is shown.
L. V. Dvoryansky
doaj
Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets. [PDF]
Sensors (Basel), 2022 Grobelna I, Szcześniak P.
europepmc +1 more source
Advanced Materials, EarlyView.A transparent, deformable stevia–PVA hydrogel triboelectric nanogenerator delivers significantly enhanced mechanical strength and electrical output through biomimetic hydrogen‐bonded networks. Coupled with machine learning–assisted signal recognition, the self‐powered hydrogel enables accurate human‐motion sensing for intelligent wearable and IoT ...
Thien Trung Luu +5 more
wiley +1 more source
, 2023 Petri nets are a classic model for concurrent systems. They model fundamental features such as synchronization, process creation, and choice. Many subclasses of Petri nets have been defined by forbidding one or more of these features. We introduce a feature called observation, which is a restricted form of synchronization.
openaire +2 more sources
Advanced Materials, EarlyView.Stacked nanoflake assembly (SNA) membranes can oscillate autonomously, offering opportunities for soft actuation and energy harvesting. This work uncovers the physical mechanism behind the sustained oscillation of SNA membranes in gradient humidity and identifies three governing dimensionless parameters, enabling rational design for optimizing SNA ...
Zijing Zhang +5 more
wiley +1 more source
Heterogeneous network flow and Petri nets characterize multilayer complex networks. [PDF]
Sci Rep, 2022 Ademovic Tahirovic A +2 more
europepmc +1 more source
Cell Adhesion by Design: Engineering Tissue Culture Scaffolds With Adhesion Cues
Advanced Materials Interfaces, EarlyView.ABSTRACT In scaffold‐based tissue engineering, the matrix should provide adequate adhesion cues for cell attachment, spreading, and function. Given the multitude of adhesion receptors and the diversity of scaffolds, there are many approaches to render scaffolds adhesive, even though they are not all equivalent.
Dalia Dranseike +3 more
wiley +1 more source
MPAT: Modular Petri Net Assembly Toolkit
SoftwareXWe present a Python package called Modular Petri Net Assembly Toolkit (MPAT) that empowers users to easily create large-scale, modular Petri Nets for various spatial configurations, including extensive spatial grids or those derived from shapefiles ...
Stefano Chiaradonna +2 more
doaj +1 more source
Advanced Materials Interfaces, EarlyView.Hybrid WPU coatings with a hierarchical structure are constructed by first directional freezing polymerization of degradable hydrogels with a vertical channel structure and then filling these channels with aqueous WPU solution containing carbon nitride (g‐C3N4) nanosheets.
Xiaobei Zhou +8 more
wiley +1 more source