NSTL国家科技图书文献中心

1. The Omnibus Java Library: Efficient Synthesis of Optimal Signal Schedules for Multimodal Intersections NSTL国家科技图书文献中心

Nicola Bertocci | Laura Carnevali ... - 《Computer Performance Engineering》 - European Performance Engineering Workshop - 2025, - 14～28 - 共15页

摘要： flow. Trams are modeled by Stochastic Time Petri Nets | vehicle flow, the expected queue size over time* is* | The Omnibus Java library efficiently derives | optimal signal schedules for multimodal intersections | . Specifically, intersections among tram lines with right of

关键词： Multimodal intersections | Optimal signal schedules | Stochastic time petri nets | Finite-capacity vacation queues with general vacation time | Simulation of urban MObility (SUMO) | Software tools and libraries

2. Analysis of evolutionary multi-objective algorithms for data center electrical systems NSTL国家科技图书文献中心

Francisco Monte Sous... | Gustavo Callou - 《Computing》 - 2025,107(2) - 1.1～1.27 - 共27页

摘要： study proposes models using stochastic Petri nets | is to reduce the execution time* required to obtain* | execution time* can be achieved, producing results that are* | near-optimal within a shorter execution time* demanded.* | Abstract Nowadays, the demand for data storage

关键词： 65K10 | 90B25

3. Adaptive joint call admission control scheme for LTE-A in mobile communication network and its performance analysis NSTL国家科技图书文献中心

Gautam, Anupam | Dharmaraja, Selvamut... - 《Opsearch》 - 2025,62(1) - 307～321 - 共15页

摘要： Stochastic Petri Nets (GSPNs) is employed. Performance | Effort (BE), Non-Real Time* (NRT), and Real-Time (RT* | In long term evolution-advanced (LTE-A | ) different radio access technologies coexist due to multi | -node receivers and antennas. Under such a scenario

关键词： Joint call admission control (JCAC) | Generalized stochastic petri nets (GSPN) | Wireless networks | Load | Quality of service (QoS) | Resource allocation

4. Quantitative evaluation of software rejuvenation of a pool of service replicas NSTL国家科技图书文献中心

Leonardo Scommegna | Marco Becattini ... - 《2024 IEEE 35th International Symposium on Software Reliability Engineering Workshops》 - IEEE International Symposium on Software Reliability Engineering Workshops - 2024, - 402～409 - 共8页

摘要： formalism of Stochastic* Time Petri Nets (STPN) and through* | Cloud-based systems require the management of | large volumes of requests while maintaining specific | levels of availability and performance. Each service is | thus replicated into a pool of identical replicas

关键词： Time-frequency analysis | Scalability | Petri nets | Stochastic processes | Aging | Inspection | Software | Libraries | Steady-state | Software reliability

5. 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页

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

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

6. Automated Transformation of a Domain-Specific Language for System Modeling to Stochastic Colored Petri Nets NSTL国家科技图书文献中心

Francesco Bedini | Timo R?th ... - 《2024 IEEE International Systems Conference: SysCon 2024, Montreal, Quebec, Canada, 15-18 April 2024, [v.1]》 - IEEE International Systems Conference - 2024, - 1～8 - 共8页

摘要：. However, one drawback of Petri* Nets is their low-level* | Stochastic colored Petri Net semantics of a domain-specific | Colored Petri* Nets (SCPNs) can be generated, which can* | with traditional Petri* Nets.* | Petri Net models are widely recognized for

关键词： Petri nets | Pipelines | Semantics | Stochastic processes | Mathematical models | Hardware | DSL

7. Enjoy the silence: Analysis of stochastic Petri nets with silent transitions Sander NSTL国家科技图书文献中心

J.J. Leemans | Fabrizio Maria Maggi ... - 《Information systems》 - 2024,124(Sep.) - 102383.1～102383.22 - 共22页

摘要： and probabilities. Variants of stochastic Petri nets | existing techniques for stochastic* Petri nets, calling | characterisation starting from generalised stochastic Petri* nets | Capturing stochastic* behaviour in business and* | provide a natural formal basis to represent stochastic

关键词： Stochastic Petri nets | Stochastic process mining | Silent transitions | Qualitative verification | Markov chains

8. 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 | computational time* for steady-state probability estimates. The* | 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

9. Maintenance dynamic scheduling for a Tunisian railway transport system NSTL国家科技图书文献中心

Sarra Mellouli | Anis Mhalla ... - 《2024 International Conference on Control, Automation and Diagnosis: ICCAD 2024, Paris, France, 15-17 May 2024》 - International Conference on Control, Automation and Diagnosis - 2024, - 1～8 - 共8页

摘要： process uses P-time* stochastic Petri nets. In order to* | incorporates real-time* information provided by a supervisory* | The developments reported in this paper are | devoted to the dynamic scheduling of rail transport | systems. In this context, our study focuses on

关键词： Rails | Job shop scheduling | Heuristic algorithms | SCADA systems | Dynamic scheduling | Prediction algorithms | Rail transportation

10. Modeling Digital Document Flow Processes with Stochastic Timed Petri Nets NSTL国家科技图书文献中心

Yuri V. Stroganov | Artyom E. Bogachenko - 《2024 6th International Youth Conference on Radio Electronics, Electrical and Power Engineering: REEPE 2024, Moscow, Russia, 29 February - 2 March 2024, [v.1]》 - International Youth Conference on Radio Electronics, Electrical and Power Engineering - 2024, - 1～5 - 共5页

摘要：. Utilizing stochastic* timed Petri nets, known for their | method that incorporates time and probability models to* | systems with time* constraints, using probabilistic* | Since the relevance of digital document | management systems is constantly increasing annually, the

摘要： flow. Trams are modeled by Stochastic Time Petri Nets | vehicle flow, the expected queue size over time* is* | The Omnibus Java library efficiently derives | optimal signal schedules for multimodal intersections | . Specifically, intersections among tram lines with right of

关键词： Multimodal intersections | Optimal signal schedules | Stochastic time petri nets | Finite-capacity vacation queues with general vacation time | Simulation of urban MObility (SUMO) | Software tools and libraries

摘要： study proposes models using stochastic Petri nets | is to reduce the execution time* required to obtain* | execution time* can be achieved, producing results that are* | near-optimal within a shorter execution time* demanded.* | Abstract Nowadays, the demand for data storage

关键词： 65K10 | 90B25

摘要： Stochastic Petri Nets (GSPNs) is employed. Performance | Effort (BE), Non-Real Time* (NRT), and Real-Time (RT* | In long term evolution-advanced (LTE-A | ) different radio access technologies coexist due to multi | -node receivers and antennas. Under such a scenario

关键词： Joint call admission control (JCAC) | Generalized stochastic petri nets (GSPN) | Wireless networks | Load | Quality of service (QoS) | Resource allocation

摘要： formalism of Stochastic* Time Petri Nets (STPN) and through* | Cloud-based systems require the management of | large volumes of requests while maintaining specific | levels of availability and performance. Each service is | thus replicated into a pool of identical replicas

关键词： Time-frequency analysis | Scalability | Petri nets | Stochastic processes | Aging | Inspection | Software | Libraries | Steady-state | Software reliability

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

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

摘要：. However, one drawback of Petri* Nets is their low-level* | Stochastic colored Petri Net semantics of a domain-specific | Colored Petri* Nets (SCPNs) can be generated, which can* | with traditional Petri* Nets.* | Petri Net models are widely recognized for

关键词： Petri nets | Pipelines | Semantics | Stochastic processes | Mathematical models | Hardware | DSL

摘要： and probabilities. Variants of stochastic Petri nets | existing techniques for stochastic* Petri nets, calling | characterisation starting from generalised stochastic Petri* nets | Capturing stochastic* behaviour in business and* | provide a natural formal basis to represent stochastic

关键词： Stochastic Petri nets | Stochastic process mining | Silent transitions | Qualitative verification | Markov chains

摘要： converting stochastic* Petri nets (SPNs) into continuous* | Petri nets (CPNs) to overcome the challenge of | computational time* for steady-state probability estimates. The* | 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

摘要： process uses P-time* stochastic Petri nets. In order to* | incorporates real-time* information provided by a supervisory* | The developments reported in this paper are | devoted to the dynamic scheduling of rail transport | systems. In this context, our study focuses on

关键词： Rails | Job shop scheduling | Heuristic algorithms | SCADA systems | Dynamic scheduling | Prediction algorithms | Rail transportation

摘要：. Utilizing stochastic* timed Petri nets, known for their | method that incorporates time and probability models to* | systems with time* constraints, using probabilistic* | Since the relevance of digital document | management systems is constantly increasing annually, the

关键词： Sequential analysis | Schedules | Petri nets | Refining | Stochastic processes | Security | Reliability

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： flow. Trams are modeled by Stochastic Time Petri Nets | vehicle flow, the expected queue size over time is | The Omnibus Java library efficiently derives | optimal signal schedules for multimodal intersections | . Specifically, intersections among tram lines with right of

关键词： Multimodal intersections | Optimal signal schedules | Stochastic time petri nets | Finite-capacity vacation queues with general vacation time | Simulation of urban MObility (SUMO) | Software tools and libraries

摘要： study proposes models using stochastic Petri nets | is to reduce the execution time required to obtain | execution time can be achieved, producing results that are | near-optimal within a shorter execution time demanded. | Abstract Nowadays, the demand for data storage

关键词： 65K10 | 90B25

摘要： Stochastic Petri Nets (GSPNs) is employed. Performance | Effort (BE), Non-Real Time (NRT), and Real-Time (RT | In long term evolution-advanced (LTE-A | ) different radio access technologies coexist due to multi | -node receivers and antennas. Under such a scenario

关键词： Joint call admission control (JCAC) | Generalized stochastic petri nets (GSPN) | Wireless networks | Load | Quality of service (QoS) | Resource allocation

摘要： formalism of Stochastic Time Petri Nets (STPN) and through | Cloud-based systems require the management of | large volumes of requests while maintaining specific | levels of availability and performance. Each service is | thus replicated into a pool of identical replicas

关键词： Time-frequency analysis | Scalability | Petri nets | Stochastic processes | Aging | Inspection | Software | Libraries | Steady-state | Software reliability

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

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

摘要：. However, one drawback of Petri Nets is their low-level | Stochastic colored Petri Net semantics of a domain-specific | Colored Petri Nets (SCPNs) can be generated, which can | with traditional Petri Nets. | Petri Net models are widely recognized for

关键词： Petri nets | Pipelines | Semantics | Stochastic processes | Mathematical models | Hardware | DSL

摘要： and probabilities. Variants of stochastic Petri nets | existing techniques for stochastic Petri nets, calling | characterisation starting from generalised stochastic Petri nets | Capturing stochastic behaviour in business and | provide a natural formal basis to represent stochastic

关键词： Stochastic Petri nets | Stochastic process mining | Silent transitions | Qualitative verification | Markov chains

摘要： converting stochastic Petri nets (SPNs) into continuous | Petri nets (CPNs) to overcome the challenge of | computational time for steady-state probability estimates. The | 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

摘要： process uses P-time stochastic Petri nets. In order to | incorporates real-time information provided by a supervisory | The developments reported in this paper are | devoted to the dynamic scheduling of rail transport | systems. In this context, our study focuses on

关键词： Rails | Job shop scheduling | Heuristic algorithms | SCADA systems | Dynamic scheduling | Prediction algorithms | Rail transportation

摘要：. Utilizing stochastic timed Petri nets, known for their | method that incorporates time and probability models to | systems with time constraints, using probabilistic | Since the relevance of digital document | management systems is constantly increasing annually, the

关键词： Sequential analysis | Schedules | Petri nets | Refining | Stochastic processes | Security | Reliability

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： flow. Trams are modeled by Stochastic Time Petri Nets | vehicle flow, the expected queue size over time* is* | The Omnibus Java library efficiently derives | optimal signal schedules for multimodal intersections | . Specifically, intersections among tram lines with right of

摘要： study proposes models using stochastic Petri nets | is to reduce the execution time* required to obtain* | execution time* can be achieved, producing results that are* | near-optimal within a shorter execution time* demanded.* | Abstract Nowadays, the demand for data storage

摘要： Stochastic Petri Nets (GSPNs) is employed. Performance | Effort (BE), Non-Real Time* (NRT), and Real-Time (RT* | In long term evolution-advanced (LTE-A | ) different radio access technologies coexist due to multi | -node receivers and antennas. Under such a scenario

摘要： formalism of Stochastic* Time Petri Nets (STPN) and through* | Cloud-based systems require the management of | large volumes of requests while maintaining specific | levels of availability and performance. Each service is | thus replicated into a pool of identical replicas

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

摘要：. However, one drawback of Petri* Nets is their low-level* | Stochastic colored Petri Net semantics of a domain-specific | Colored Petri* Nets (SCPNs) can be generated, which can* | with traditional Petri* Nets.* | Petri Net models are widely recognized for

摘要： and probabilities. Variants of stochastic Petri nets | existing techniques for stochastic* Petri nets, calling | characterisation starting from generalised stochastic Petri* nets | Capturing stochastic* behaviour in business and* | provide a natural formal basis to represent stochastic

摘要： converting stochastic* Petri nets (SPNs) into continuous* | Petri nets (CPNs) to overcome the challenge of | computational time* for steady-state probability estimates. The* | continuous behavior is distinct from typical stochastic | Fluidization is a crucial technique for

摘要： process uses P-time* stochastic Petri nets. In order to* | incorporates real-time* information provided by a supervisory* | The developments reported in this paper are | devoted to the dynamic scheduling of rail transport | systems. In this context, our study focuses on

摘要：. Utilizing stochastic* timed Petri nets, known for their | method that incorporates time and probability models to* | systems with time* constraints, using probabilistic* | Since the relevance of digital document | management systems is constantly increasing annually, the