Results 81 to 90 of about 262,073 (323)
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
Use of Petri Nets to Model the Maintenance of Wind Turbines
Quality and Reliability Engineering International, 2016 With large expansion plans for the offshore wind turbine industry, there has never been a greater need for effective operations and maintenance. The two main problems with the current operations and maintenance of an offshore wind turbine are the cost ...
Johanna Leigh, S. Dunnett
semanticscholar +1 more source
Semantic Embedding of Petri Nets into Event-B
, 2005 We present an embedding of Petri nets into B abstract systems. The embedding is achieved by translating both the static structure (modelling aspect) and the evolution semantics of Petri nets.
Attiogbe, Christian
core +1 more source
Structural characterization of decomposition in rate-insensitive stochastic Petri nets [PDF]
, 2012 This paper focuses on stochastic Petri nets that have an equilibrium distribution that is a product form over the number of tokens at the places. We formulate a decomposition result for the class of nets that have a product form solution irrespective of ...
Boucherie, Richard J. +3 more
core +2 more sources
Ionic Control of Microstructure and Lubrication in Charged, Physically Cross‐Linked Hydrogels
Advanced Functional Materials, EarlyView.Here, charged, physically cross‐linked poly(methacrylamide‐co‐methacrylic acid) hydrogels stabilized by a short‐range attractive, long‐range repulsive potential is investigated. This work uncovers how salt addition alters not only swelling, but also the microstructure and dynamics, near‐surface stiffness and charge, and ultimately, its lubricity. Salts
Alexander Deptula +1 more
wiley +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 Functional Materials, EarlyView.There is a significant need for biomaterials with well‐defined stability and bioactivity to support tissue regeneration. In this study, we developed a tunable microgel platform that enables the decoupling of stiffness from porosity, thereby promoting bone regeneration.
Silvia Pravato +9 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
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
Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
Applications and Theory of Petri Nets, 2016 In Petri nets with data, every token carries a data value, and executability of a transition is conditioned by a relation between data values involved. Decidability status of various decision problems for Petri nets with data may depend on the structure ...
S. Lasota
semanticscholar +1 more source