Results 131 to 140 of about 262,073 (323)
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 Functional Materials, EarlyView.Reprogrammable multi‐material smart textiles knitted from liquid crystal elastomer fibers undergo 2D and 3D deformation under thermal and photo stimuli. Circularly knitted tubular structures reversibly contract in radial and axial directions, enabling autonomous climbing, liquid release, and micro pumping.
Xue Wan +8 more
wiley +1 more source
Research on state monitoring and diagnosis models for multi-state systems based on Petri nets
Results in EngineeringPetri nets (PNs) are an effective modeling method for system fault diagnosis and monitoring. However, basic Petri nets (BPNs) cannot distinguish between different resource types and cannot determine the firing weights of transitions based on the ...
Haohao Liu +3 more
doaj +1 more source
From Petri Plates to Petri Nets, a revolution in yeast biology. [PDF]
FEMS Yeast Res, 2022 Oliver SG.
europepmc +1 more source
Shape‐Changing Multiphase Microparticles from Complex Liquid Crystal Emulsions
Advanced Functional Materials, EarlyView.Liquid crystalline network (LCN) microparticles are prepared from single, double (Janus), and triple emulsions through a simple and scalable bulk‐emulsification strategy. Under heating, the particles exhibit robust, reversible, large‐amplitude deformations that depend both on the morphology and the liquid crystals director field configuration.
Marco Turriani +3 more
wiley +1 more source
MODELING AND SIMULATION OF QUEUE WAITING THROUGH THE CONCEPT OF PETRI NETS [PDF]
Challenges of the Knowledge Society, 2011 Petri Nets-PN are a graphical formalism which is gaining popularity in recent years as a tool in Matlab for the representation of complex logical interactions among physical components or activities in a system.
EMILIJA KAMCEVA, FILIP TANCEV
doaj
Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets. [PDF]
Sci Prog, 2022 Habbachi S, Li Z, Wu N, Khalgui M.
europepmc +1 more source
Advanced Healthcare Materials, EarlyView.Coagulative granular hydrogels are composed of packed thrombin‐functionalized microgels that catalyze the conversion of fibrinogen into a secondary fibrin network, filling the interstitial voids. This bio‐inspired approach stabilizes the biomaterial to match the robustness of bulk hydrogels without compromising injectability, mimicking the initial ...
Zhipeng Deng +16 more
wiley +1 more source
A Formal Performance Evaluation Method for Customised Plug-and-Play Manufacturing Systems Using Coloured Petri Nets. [PDF]
Sensors (Basel), 2022 Wang G +5 more
europepmc +1 more source
Homology and Bisimulation of Asynchronous Transition Systems and Petri Nets
, 2013 Homology groups of labelled asynchronous transition systems and Petri nets are introduced. Examples of computing the homology groups are given. It is proved that if labelled asynchronous transition systems are bisimulation equivalent, then they have ...
Husainov, Ahmet A.
core