Results 71 to 80 of about 20,794 (264)

Model Petri Net Pengajuan KKN Mahasiswa Universitas Lampung

Contemporary Mathematics and Applications (ConMathA)
The Petri Net (PN) model is a powerful mathematical representation for describing dynamic systems involving processes, states, and interactions between its elements.
Nur Hamzah, Ridho Sholehurrohman, Wira Adiguna Sutawa, Lathifatul Hana   +3 more
doaj   +1 more source

Snap‐Through–Driven Liquid Crystal Elastomers for High‐Power Remote Microneedle Actuation Toward Smart Livestock Systems

Advanced Functional Materials, EarlyView.
A magnetically assisted snap‐through liquid crystal elastomer transforms photochemical deformation into a high‐power mechanical impulse, enabling remote microneedle actuation and highlighting its potential for future smart livestock intervention systems.
Chae Won Lee, Nankyung Kim, SeungHyun Park, Dae Seok Kim   +3 more
wiley   +1 more source

Lower and upper bounds of shortest paths in reachability graphs

International Journal of Mathematics and Mathematical Sciences, 2004
We prove the following property for safe marked graphs, safe conflict-free Petri nets, and live and safe extended free-choice Petri nets. We prove the following three results. If the Petri net is a marked graph, then the length of the shortest path is at
P. K. Mishra
doaj   +1 more source

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, Bokeon Kwak, Gaia de Marzo, Giulia Coco, Valentina Antonaci, Leonardo Lamanna, Massimo De Vittorio, Dario Floreano, Mario Caironi   +8 more
wiley   +1 more source

Inhibitor Petri Net that Executes an Arbitrary Given Markov Normal Algorithm

Моделирование и анализ информационных систем, 2011
The inhibitor Petri net with a fixed structure that executes an arbitrary given Markov normal algorithm was constructed. The algorithm and its input string are encoded by nonnegative integer numbers and put into dedicated places of the Petri net which ...
D. A. Zaitsev
doaj  

A Deadlock Prevention Strategy for Petri Nets Through Tuning Time Constraints

IEEE Access
Deadlocks are of paramount importance in resource allocation systems, which are usually treated from the perspective of discrete event systems. This paper develops a deadlock prevention strategy for a system modeled with Petri nets, by endowing ...
Qianlong Zhai, Xin Hu, Ahmed M. El-Sherbeeny, Zhiwu Li   +3 more
doaj   +1 more source

Comparative Analysis of Sequential and Combinatorial Auctions Based on Petri Nets

IEEE Access, 2018
An auction is a crucial resource allocation mechanism for a supply chain and includes the purchasing price at the winner's bid value, eligible suppliers in winning bidder sets, and business payment terms. A multi-object auction usually involves two types
Xiaodan Zhang, Huajun Tang, Donghai Yang, Mohammed A. El-Meligy, Zhiwu Li   +4 more
doaj   +1 more source

Statechartable Petri nets [PDF]

Formal Aspects of Computing, 2013
Abstract Petri nets and statecharts can model concurrent systems in a succinct way. While translations from statecharts to Petri nets exist, a well-defined translation from Petri nets to statecharts is lacking. Such a translation should map an input net to a corresponding statechart, having a structure and behaviour similar to that of the ...
openaire   +2 more sources

A 3D Human Neuron‐on‐Chip Platform to Monitor Neuronal Injury Responses

Advanced Healthcare Materials, EarlyView.
This study presents a novel 3D Neuron‐on‐Chip model that can maintain human PSC‐derived excitatory prefrontal cortex neurons in 3D hydrogels and can be used to monitor neuronal injury responses over time. Results show injury‐induced acute neuronal excitotoxicity, declining neuronal connectivity, and the activation of a neurodegenerative, SASP‐like ...
Ruiping Tang, Charles‐Francois Latchoumane, Avi Chopra, Md Marzan Sarkar, Chunki Kim, Nathan Gonsalves, Hsueh‐Fu Wu, John C. Sentmanat, Alan Liu, Isha Mhatre‐Winters, Aditya Mishra, Andrei G. Fedorov, Jay M. Patel, Nadja Zeltner, Steven L. Stice, Jason R. Richardson, Lohitash Karumbaiah   +16 more
wiley   +1 more source

Cellular Responses to Mechanical Cues Across Scales: From Fundamental Insights to Translational Potential

Advanced Healthcare Materials, EarlyView.
This review examines how cellular behavior is regulated by mechanical cues transmitted through soft biomaterials, from single‐cell mechanosensing to tissue‐level adaptation. It highlights why physiological relevance, rather than model complexity alone, is critical for translational mechanobiology and introduces a scoring framework linking material ...
Mathias Polz, Manuel P. Kainz, Niklas Haider, Theresa Rienmüller, Kerstin Lenk, Rupert Kargl, Michele Terzano, Gerhard Sommer, Gerhard A. Holzapfel, Julia Fuchs   +9 more
wiley   +1 more source