NSTL国家科技图书文献中心

1. Availability assessment of SDN‑ICN service for multi‑access edge computing NSTL国家科技图书文献中心

Erick Nascimento | Luan Lins ... - 《The Journal of Supercomputing》 - 2025,81(2) - 436.1～436.32 - 共32页

摘要： continuous-time Markov chains (CTMC), stochastic Petri nets | Traffic on mobile and wireless networks has | seen exponential growth in the last decade. With the | advent of the fifth-generation (5 G) cellular | technology, there is a strict requirement to ensure system

关键词： SDN networks | Multi-access edge computing | Availability evaluation | Hierarchical models

2. Stochastic modeling of smart street lighting systems: maintenance models assessment NSTL国家科技图书文献中心

Cleunio França Filho | Eduardo Tavares - 《Computing》 - 2025,107(1) - 1.1～1.24 - 共24页

摘要： Petri nets (SPN) to assess availability from | strategies to ensure the continuous* and efficient operation* | Abstract Smart Street Lighting System (SSLS | ) is an intelligent outdoor lighting system with | automated controls that enhances energy savings, safety

关键词： 90B25 | 68M20 | 68Q85

3. Stochastic and continuous Petri nets approximation of Markovian model NSTL国家科技图书文献中心

Hamid El-Moumen | Nabil El Akchioui ... - 《International Journal of Modelling, Identification and Control》 - 2024,44(1) - 97～106 - 共10页

摘要： stationary state probabilities. The continuous Petri nets | Stochastic Petri* nets (SPN) or Markov models* | different Petri* nets (PN) types. Simulations with the MC* | (MC) are often more effective in the reliability | analysis of discrete event systems. However, they present

关键词： reliability analysis | Markov model | reachability graph | RG | combinatorial explosion | stationary state | stochastic Petri nets | SPN | fluidification | continuous Petri nets...

4. Fluidization of Stochastic Petri Nets via Continuous Petri Nets: Comparative Study NSTL国家科技图书文献中心

El-Moumen Hamid | El Akchioui Nabil - 《Journal of control, automation and electrical systems》 - 2024,35(2) - 401～414 - 共14页

摘要： converting stochastic Petri nets (SPNs) into continuous | Petri nets (CPNs) to overcome the challenge of | ultimate aim is to obtain a precise continuous* model that* | continuous behavior is distinct from typical stochastic | Fluidization is a crucial technique for

关键词： Reliability analysis | Markov model | Combinatorial explosion | Stochastic Petri nets | Fluidization | Continuous Petri nets | Adaptive approach | Piecewise linear approach

5. Duality of controllability and observability in proportional equal conflict timed continuous Petri Nets NSTL国家科技图书文献中心

J.L. García-Malacara | César Arzola ... - 《Nonlinear analysis. Hybrid systems: An International Multidisciplinary Journal》 - 2024,52 - 101455-1～101455-20 - 共20页

摘要： have been widely studied in Timed Continuous Petri | Nets (TCPNs), a class of piecewise affine systems, in | the class of nets* that can be analyzed. To achieve* | . Afterwards, the computation of dual nets* for Fork* | consistent and strongly connected CF, JF, and PEQ nets, the

关键词： Timed continuous Petri Nets | Controllability | Observability | Duality | Application of nonlinear analysis and design

6. An Optimal Sensor Placement Strategy for Continuous Petri Nets* NSTL国家科技图书文献中心

Cristian Mahulea - 《2024 IEEE 20th International Conference on Automation Science and Engineering》 - IEEE International Conference on Automation Science and Engineering - 2024, - 1175～1180 - 共6页

摘要： ensuring the observability of Continuous Petri Nets | This paper presents a novel approach to | (contPNs), focusing on optimizing sensor placement to | monitor system states with minimal cost. We address the | challenge of contPN observability by proposing an

关键词： Sensor placement | Costs | NP-hard problem | Semantics | Petri nets | Focusing | Rendering (computer graphics) | Servers | Observability | Monitoring

7. Reliability analysis of discrete model by continuous model: fluidisation approaches NSTL国家科技图书文献中心

Nabil El Akchioui | Hamid El-Moumen - 《International Journal of Reliability and Safety》 - 2024,18(2) - 187～208 - 共22页

摘要：, employing continuous* Petri nets for predicting stochastic* | stochastic and continuous* Petri nets with identical* | using continuous* Petri nets. The adaptive approach | models. Discrete models like stochastic Petri nets face* | the steady state of similar stochastic Petri nets

关键词： reliability analysis | Markov model | combinatorial state explosion | stochastic Petri nets | continuous Petri nets | fluidisation | geometric approach | adaptive approach

8. Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers NSTL国家科技图书文献中心

Fernando Pereira | Joao-Paulo Barros ... - 《Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings》 - International Conference on Application and Theory of Petri Nets and Concurrency - 2024, - 402～412 - 共11页

摘要： using IOPT Petri* nets. The controllers run on physical* | a Petri* net model. A web-based user interface* | , present a graphical view of the original Petri* net model* | execution and continuous* execution, and the definition of* | This paper describes an interactive tool to

关键词： Test | Debug | Remote operation | Design automation | Code generation | Petri nets

9. Application of Petri Nets for Modeling Ore Flows to Create Dynamic Management and Quality Control System in Mineral Resource Complexes NSTL国家科技图书文献中心

Pavel Larichev | Vadim Tynchenko ... - 《2024 International Conference on Industrial Engineering, Applications and Manufacturing,[v.1]》 - International Conference on Industrial Engineering, Applications and Manufacturing - 2024, - 1089～1094 - 共6页

摘要： the mathematical apparatus of Petri* nets to such* | model in the form of an adaptation of a continuous | Petri net. An architectural solution is proposed that | lag behind planned schedules using a Petri* net.* | The article discusses the issue of creating a

关键词： Adaptation models | Ores | Petri nets | Mathematical models | Real-time systems | Delays | Data mining

10. An Innovative Fluid Approach Model for Power Monitoring of Mobile IoT Devices NSTL国家科技图书文献中心

Nourredine Oukas | Akli Abbas ... - 《2024 International Conference on Innovation and Intelligence for Informatics,Computing,and Technologies》 - International Conference on Innovation and Intelligence for Informatics,Computing,and Technologies - 2024, - 130～136 - 共7页

摘要： approach using eXtended Hybrid Petri* Nets (xHPNs) to* | considers both discrete and continuous* aspects to mimic* | This paper introduces an innovative modeling | monitor the power consumption of mobile devices when | they are leveraged in Internet of Things (IoT

关键词： Technological innovation | Power demand | Fluids | Computational modeling | Petri nets | Solar energy | Mobile handsets | Internet of Things | Proposals | Monitoring

摘要： continuous-time Markov chains (CTMC), stochastic Petri nets | Traffic on mobile and wireless networks has | seen exponential growth in the last decade. With the | advent of the fifth-generation (5 G) cellular | technology, there is a strict requirement to ensure system

关键词： SDN networks | Multi-access edge computing | Availability evaluation | Hierarchical models

摘要： Petri nets (SPN) to assess availability from | strategies to ensure the continuous and efficient operation | Abstract Smart Street Lighting System (SSLS | ) is an intelligent outdoor lighting system with | automated controls that enhances energy savings, safety

关键词： 90B25 | 68M20 | 68Q85

摘要： stationary state probabilities. The continuous Petri nets | Stochastic Petri nets (SPN) or Markov models | different Petri nets (PN) types. Simulations with the MC | (MC) are often more effective in the reliability | analysis of discrete event systems. However, they present

关键词： reliability analysis | Markov model | reachability graph | RG | combinatorial explosion | stationary state | stochastic Petri nets | SPN | fluidification | continuous Petri nets...

摘要： converting stochastic Petri nets (SPNs) into continuous | Petri nets (CPNs) to overcome the challenge of | ultimate aim is to obtain a precise continuous model that | continuous behavior is distinct from typical stochastic | Fluidization is a crucial technique for

关键词： Reliability analysis | Markov model | Combinatorial explosion | Stochastic Petri nets | Fluidization | Continuous Petri nets | Adaptive approach | Piecewise linear approach

摘要： have been widely studied in Timed Continuous Petri | Nets (TCPNs), a class of piecewise affine systems, in | the class of nets that can be analyzed. To achieve | . Afterwards, the computation of dual nets for Fork | consistent and strongly connected CF, JF, and PEQ nets, the

关键词： Timed continuous Petri Nets | Controllability | Observability | Duality | Application of nonlinear analysis and design

摘要： ensuring the observability of Continuous Petri Nets | This paper presents a novel approach to | (contPNs), focusing on optimizing sensor placement to | monitor system states with minimal cost. We address the | challenge of contPN observability by proposing an

关键词： Sensor placement | Costs | NP-hard problem | Semantics | Petri nets | Focusing | Rendering (computer graphics) | Servers | Observability | Monitoring

摘要：, employing continuous Petri nets for predicting stochastic | stochastic and continuous Petri nets with identical | using continuous Petri nets. The adaptive approach | models. Discrete models like stochastic Petri nets face | the steady state of similar stochastic Petri nets

关键词： reliability analysis | Markov model | combinatorial state explosion | stochastic Petri nets | continuous Petri nets | fluidisation | geometric approach | adaptive approach

摘要： using IOPT Petri nets. The controllers run on physical | a Petri net model. A web-based user interface | , present a graphical view of the original Petri net model | execution and continuous execution, and the definition of | This paper describes an interactive tool to

关键词： Test | Debug | Remote operation | Design automation | Code generation | Petri nets

摘要： the mathematical apparatus of Petri nets to such | model in the form of an adaptation of a continuous | Petri net. An architectural solution is proposed that | lag behind planned schedules using a Petri net. | The article discusses the issue of creating a

关键词： Adaptation models | Ores | Petri nets | Mathematical models | Real-time systems | Delays | Data mining

摘要： approach using eXtended Hybrid Petri Nets (xHPNs) to | considers both discrete and continuous aspects to mimic | This paper introduces an innovative modeling | monitor the power consumption of mobile devices when | they are leveraged in Internet of Things (IoT

关键词： Technological innovation | Power demand | Fluids | Computational modeling | Petri nets | Solar energy | Mobile handsets | Internet of Things | Proposals | Monitoring

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： Petri nets (SPN) to assess availability from | strategies to ensure the continuous* and efficient operation* | Abstract Smart Street Lighting System (SSLS | ) is an intelligent outdoor lighting system with | automated controls that enhances energy savings, safety

摘要： stationary state probabilities. The continuous Petri nets | Stochastic Petri* nets (SPN) or Markov models* | different Petri* nets (PN) types. Simulations with the MC* | (MC) are often more effective in the reliability | analysis of discrete event systems. However, they present

摘要： converting stochastic Petri nets (SPNs) into continuous | Petri nets (CPNs) to overcome the challenge of | ultimate aim is to obtain a precise continuous* model that* | continuous behavior is distinct from typical stochastic | Fluidization is a crucial technique for

摘要： have been widely studied in Timed Continuous Petri | Nets (TCPNs), a class of piecewise affine systems, in | the class of nets* that can be analyzed. To achieve* | . Afterwards, the computation of dual nets* for Fork* | consistent and strongly connected CF, JF, and PEQ nets, the

摘要：, employing continuous* Petri nets for predicting stochastic* | stochastic and continuous* Petri nets with identical* | using continuous* Petri nets. The adaptive approach | models. Discrete models like stochastic Petri nets face* | the steady state of similar stochastic Petri nets

摘要： using IOPT Petri* nets. The controllers run on physical* | a Petri* net model. A web-based user interface* | , present a graphical view of the original Petri* net model* | execution and continuous* execution, and the definition of* | This paper describes an interactive tool to

摘要： the mathematical apparatus of Petri* nets to such* | model in the form of an adaptation of a continuous | Petri net. An architectural solution is proposed that | lag behind planned schedules using a Petri* net.* | The article discusses the issue of creating a

摘要： approach using eXtended Hybrid Petri* Nets (xHPNs) to* | considers both discrete and continuous* aspects to mimic* | This paper introduces an innovative modeling | monitor the power consumption of mobile devices when | they are leveraged in Internet of Things (IoT