Results 71 to 80 of about 3,623,879 (377)

Separators in Continuous Petri Nets

Logical Methods in Computer Science, 2022
AbstractLeroux has proved that unreachability in Petri nets can be witnessed by a Presburger separator, i.e. if a marking $$\boldsymbol{m}_\text {src}$$ m src cannot reach a marking $$\boldsymbol{m}_\text {tgt}$$
Michael Blondin, Javier Esparza
openaire   +4 more sources

All‐Cellulose‐Based Photonic Glitters

Advanced Functional Materials, EarlyView.
Uniform, disc‐shaped photonic CNC glitters with adjustable structural colors and diameters are fabricated on hydrophilic ethyl cellulose films using electrospray deposition. By employing patterned ethyl cellulose films with pre‐designed hydrophilic regions, photonic patterns can be created with these all‐cellulose‐based glitters, demonstrating their ...
Ting Wang, Yifeng Wang, Chunyu Ji, Zhuoning Xu, Qian Ding, Han Yang   +5 more
wiley   +1 more source

PEMODELAN HYBRID SINTESIS PADA AUTOMATED MANUFACTURING SYSTEM (AMS) DENGAN MENGGUNAKAN PETRI NET

Barekeng, 2012
Dalam Jurnal ini dibahas masalah sistem even diskrit yang ada pada Automated Manufacturing System (AMS), khususnya menyangkut model, kedinamikan, dan mendesain sistem AMS dengan menggunakan tool matematik Petri net.
Dorteus L. Rahakbauw
doaj   +1 more source

Performance analysis using timed Petri Nets [PDF]

, 1983
Petri Nets have been successfully used to model and evaluate the performance of distributed systems. Several researchers have extended the basic Petri Net model to include time, and have demonstrated that restricted classes of Petri Nets can be analyzed ...
Phelps, Charles V., Razouk, Rami R.
core   +1 more source

Iridium Oxide Inverse Opal Anodes with Tailored Porosity for Efficient PEM Electrolysis

Advanced Functional Materials, EarlyView.
The synthesis of Iridium‐based Inverse Opals (Ir‐IO) is reported as electrocatalyst for Proton exchange membrane water electrolysis (PEM‐WE). Using the developed protocol it produces highly porous materials consisting either of metallic, oxidic Iridium or a combination thereof with large surface areas.
Sebastian Möhle, Matthias Kroschel, Peter Strasser   +2 more
wiley   +1 more source

Fault Diagnosis of Bounded Petri Nets Using Path Marking Graphs

IEEE Access, 2018
This paper proposes a fault diagnosis method based on the path information of a bounded Petri net model. It relies on the notions of two graphs called path marking graph and modified path marking graph, which characterize different sets of paths and ...
Dandan Ye, Weimin Wu, Jiliang Luo, Hongye Su   +3 more
doaj   +1 more source

Ambient Petri Nets

Electronic Notes in Theoretical Computer Science, 2003
AbstractBoth the Ambient Calculus by L. Cardelli and the Elementary Object Systems by R. Valk model the behaviour of mobile systems. The Ambient Calculus is based on the concept of ambient, which is an environment with a given name that is delimited by a boundary, where some internal processes are executed.
David de Frutos Escrig, Olga Marroquín Alonso   +1 more
openaire   +2 more sources

Tunable Thermoshrinkable Hydrogels for 4D Fabrication of Cell‐Seeded Channels

Advanced Functional Materials, EarlyView.
A thermoresponsive polymer with methacrylate groups for photo‐cross‐linking, based on polyethylene glycol, N‐isopropylacrylamide, and 2‐hydroxyethyl acrylate is synthetized to yield hydrogels that shrink upon temperature increase. The new polymer enables the fabrication of cell‐laden perfusable channels with diameters below 200 µm by combining ...
Greta Di Marco, Marc Falandt, Myriam Neumann, Martina Viola, Thibault Sampon, Marta G. Valverde, Anne Metje van Genderen, Silvia M. Mihaila, Cornelus F. van Nostrum, Bas G. P. van Ravensteijn, Riccardo Levato, Rosalinde Masereeuw, Tina Vermonden   +12 more
wiley   +1 more source

Precise Quantification of Angiogenesis in 3D Biomaterials Using in Vitro CAM Models: Enhancing 3Rs in Research and Minimizing in Vivo Dependency

Advanced Functional Materials, EarlyView.
The study develops elastin–fibrin scaffolds and evaluates angiogenesis using the chorioallantoic membrane (CAM) model. Advanced imaging with confocal microscopy and Indocyanine Green dye enables precise 3D quantification of vascular networks. Findings demonstrate superior microvessel visualization compared to micro‐CT using Microfil and Optiray 350 ...
Ece Melis Er, Martha Patricia Pérez González, Beatriz Gil Garrido, Jasmine Ho, Hae‐Won Kim, Jonathan Campbell Knowles, Jia Hua, Ferdinand Lali, Prasad Sawadkar   +8 more
wiley   +1 more source

Substrate Engineering for Durable Omniphobic Liquid‐Like Surfaces

Advanced Functional Materials, EarlyView.
The significant yet less investigated role of substrates in determining the liquid‐repellency and mechanical durability of liquid‐like surfaces (LLSs) is explored. Thick and crack‐free sol–gel silica intermediary layers are developed that can smoothen substrate asperity roughness even at the micron scale, enabling omniphobic polydimethylsiloxane‐based ...
Tao Wen, Isaac J. Gresham, Rafaela Aguiar, Sudip K. Lahiri, Patrick C. Lee, Chiara Neto, Kevin Golovin   +6 more
wiley   +1 more source