Results 61 to 70 of about 4,712 (265)
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 +1 more source
Advanced Materials, EarlyView.Stacked nanoflake assembly (SNA) membranes can oscillate autonomously, offering opportunities for soft actuation and energy harvesting. This work uncovers the physical mechanism behind the sustained oscillation of SNA membranes in gradient humidity and identifies three governing dimensionless parameters, enabling rational design for optimizing SNA ...
Zijing Zhang +5 more
wiley +1 more source
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
Autonomous Folding of Soft Matter From Living Polymers
Advanced Materials, EarlyView.Origami structures are endowed with “living” polymer creases that grow, remodel, and stiffen in response to nutrient solutions. This post‐fabrication growth enables autonomous folding, iterative regrowth, and mechanical tuning involving origami assemblies, such as cranes, Miura‐ori tessellations, rigid and non‐rigid square‐twist patterns, establishing ...
Jiahe Huang +6 more
wiley +1 more source
Input–Output Constrained Colored Petri Nets for Dependable System Controllers
IEEE AccessPetri nets are widely used in the study of dependable systems, as they combine intuitive graphical modeling with a solid mathematical foundation for formal analysis.
Carolina Lagartinho-Oliveira +2 more
doaj +1 more source
MODELING ACTIVITIES OF COMMERCIAL BANK THROUGH PETRI NETS [PDF]
Annals of the University of Oradea: Economic Science, 2017 The relevance of the article is determined by the need to improve the methods of modelling and simulating commercial bank activity, including for the purpose of calculating, controlling and managing the risk of the bank, in the context of the transition ...
Enicov Igor
doaj
Advanced Materials, EarlyView.We present SCIENCE, an in‐ear multimodal physiological monitor featuring two key innovations. Water‐triggered morphological expansion (a 2‐mm cylinder to a 9‐mm spindle) achieves conformal adaptation across complex canal geometries. Simultaneously, active biofouling mitigation disrupts cerumen barriers, reducing sensor‐skin impedance by 20%.
Shuyun Zhuo +3 more
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
19 pages, 26 figures, author prepared version of the talk given at the Sixth Advanced Course on Petri Nets, September 3-8, 2023, Toru\'n ...
Wolfgang Reisig, Peter Fettke
openaire +3 more sources