Results 81 to 90 of about 64,411 (297)
Qualifications of Petri nets for modeling of logistical systems
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2006 Simulation and optimization is one of the most popular approaches to improve the use of simulation models as a tool to obtain the best system configuration.
Petr Jedlička
doaj +1 more source
The use of Petri nets for modeling pipelined processors [PDF]
, 1987 This paper discusses the use of Petri Nets for modeling and analyzing pipelined processors. Petri Nets are particularly well-suited to modeling the synchronization, buffering, resource contention and delicate timing so common in pipelined processors ...
Razouk, Rami R.
core
On the Model of Computation of Place/Transition Petri Nets
, 1994 In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the behaviour of Petri nets via non-sequential processes, via unfolding constructions, which provide ...
Meseguer, J., Montanari, U., Sassone, V.
core +2 more sources
Parallel 3D Bioprinting on SLIPS‐Microarrays
Advanced Functional Materials, EarlyView.This work introduces the first truly parallel 3D bioprinting method, enabling both the simultaneous fabrication of hundreds of cell laden hydrogel 3D structures and their HTS in individual liquid compartments. By integrating Digital Light Processing (DLP) stereolithography with functional micropatterns, the platform decouples printing time from array ...
Julius von Padberg +3 more
wiley +1 more source
T-invariants for jumping Petri nets [PDF]
Computer Science Journal of Moldova, 2001 This paper introduces the notions of T-invariants for the class of finite jumping Petri nets, and extends the results concerning T-invariants from classical Petri nets.
Cristian Vidrascu
doaj
, 1987 Determining whether two Petri nets are equivalent is an interesting problem from both practical and theoretical standpoints. Although it is undecidable in the general case, for many interesting nets the equivalence problem is solvable.
Sidwell, Richard D.
core +1 more source
Nanodiamond Quantum Sensors for Probing Free Radical Biology
Advanced Functional Materials, EarlyView.Free radicals play key roles in cellular signaling and disease but remain difficult to measure in living systems. Nanodiamonds (NDs) with nitrogen‐vacancy (NV) centers enable quantum sensing of local magnetic noise via T₁ relaxometry, providing nondestructive radical detection in living cells.
Qi Lu, Yingke Wu, Tanja Weil
wiley +1 more source
Time Extensions of Petri Nets for Modelling and Verification of Hard Real-Time Systems [PDF]
Computer Science, 2002 The main aim ofthe paper is a presentation of time extensions of Petri nets appropriate for modelling and analysis of hard real-time systems. It is assumed, that the extensions must provide a model of time flow an ability to force a transition to fire ...
Tomasz Szmuc, Slawomir Samolej
doaj
Modeling and Analysis for Mobile Computing Systems Based on Petri Nets: A Survey
IEEE Access, 2018 Mobile computing systems have generated many concerns. Numerous studies have been performed to model and analyze these systems. This paper focuses on the existing modeling and corresponding analyses methods for mobile computing systems based on formal ...
Zhijun Ding, Ru Yang
doaj +1 more source
Multiplex Modular Nanorobotic Systems with Catalytic Activity under Magnetic Navigation
Advanced Functional Materials, EarlyView.We present modular nanorobots composed of a magnetic propulsion module and different extension modules carrying functional activities, assembled via DNA base pairing. The system integrates propulsion, optical tracking, enzymatic catalysis, and cell docking in a programmable manner.
Voichita Mihali +7 more
wiley +1 more source