Results 141 to 150 of about 3,623,879 (377)
Research on the Security of IPv6 Communication Based on Petri Net under IoT. [PDF]
Sensors (Basel), 2023 Han Y +5 more
europepmc +1 more source
Advanced Healthcare Materials, EarlyView.A mechanically active OsteoChondral Unit (OCU)‐on‐Chip platform mimicking the OCU's functional anatomy and the strain gradient across the osteochondral interface is presented. Upon compartment‐specific hyperphysiological compression, the model replicates mechanisms observed in osteoarthritis (OA) progression, such as calcium crystal accumulation ...
Andrea Mainardi +10 more
wiley +1 more source
Key Therapeutic Targets to Treat Hyperglycemia-Induced Atherosclerosis Analyzed Using a Petri Net-Based Model. [PDF]
Metabolites, 2023 Rybarczyk A +2 more
europepmc +1 more source
Photocrosslinkable Kidney Decellularized Extracellular Matrix‐Based Bioink for 3D Bioprinting
Advanced Healthcare Materials, EarlyView.A photocrosslinkable bioink is developed from methacrylated decellularized porcine kidney extracellular matrix to create kidney‐specific 3D constructs. This bioink supports high cell viability, promotes multicellular spheroid formation, and enables stable multilayer bioprinting with tunable mechanical properties, providing a versatile platform for ...
Jaemyung Shin +5 more
wiley +1 more source
Designing Traffic Light Signals to Ease Congestion Caused by Traffic Accidents Using Timed Petri Net
Applied SciencesThis study develops a timed Petri net (TPN)-based controller to mitigate traffic congestion resulting from sudden accidents by adapting traffic light sequences in real-time.
Ter-Chan Row +2 more
doaj +1 more source
Modeling and efficiency analysis of blockchain agriculture products E-commerce cold chain traceability system based on Petri net. [PDF]
Heliyon, 2023 Liu S, Yu Z.
europepmc +1 more source
Validation of Petri Net Models by ‘Petri-Net-Machine’
IFAC Proceedings Volumes, 1986 Abstract The successful application of Petri nets for system specification has produced the call for software tools which as a part of CAD-systems may be used to prove the correctness of the specification . ‘Petri-Net-Machine’ is the first tool of this kind which runs on microcomputers .
openaire +2 more sources
Acceleration for Petri Nets [PDF]
, 2013 The reachability problem for Petri nets is a central problem of net theory. The problem is known to be decidable by inductive invariants definable in the Presburger arithmetic. When the reachability set is definable in the Presburger arithmetic, the existence of such an inductive invariant is immediate.
openaire +2 more sources
Advanced Healthcare Materials, EarlyView.This study presents a multiphasic bile duct construct composed of biocompatible materials and cells, featuring an inner layer that supports biliary epithelium growth, a middle layer providing mechanical strength, and an outer cell‐permissive layer designed to support future in vivo integration.
Mattia Pasqua +9 more
wiley +1 more source
Graphlets in comparison of Petri net-based models of biological systems. [PDF]
Sci Rep, 2022 Szawulak B, Formanowicz P.
europepmc +1 more source