NSTL国家科技图书文献中心

1. An ILASP-Based Approach to Repair Petri Nets NSTL国家科技图书文献中心

Francesco Chiariello | Antonio Ielo ... - 《Logic Programming and Nonmonotonic Reasoning》 - International Conference on Logic Programming and Nonmonotonic Reasoning - 2025, - 85～97 - 共13页

摘要：Petri nets are a class of models of | computation used to compactly represent discrete event | systems. Among many application domains, they have now | become the most prominent formalism to express process | models in Process Mining, thanks to their formal

关键词： Petri nets | Process mining | Model repair | Answer set programming | Inductive logic programming

2. Modelling and Verification with Petri Nets of Asymmetric Role-Playing Learning Scenarios NSTL国家科技图书文献中心

Gaelle Guigon | Mathieu Muratet ... - 《Games and Learning Alliance》 - International Conference on Games and Learning Alliance - 2025, - 368～374 - 共7页

摘要： method using Petri* nets for modelling and verifying* | Petri net patterns, adaptable to various combinations | Students need realistic practice in their | future professions, including teamwork. Our goal is to | enhance student cooperation and simulate real-life

关键词： Petri net | Serious game | Co-design | Automated check

3. Application of Colored Stochastic Petri Nets in Rapid Simulation of Airport Operation Environment NSTL国家科技图书文献中心

Wanqi Sun - 《International Conference on Mechatronics and Intelligent Control (ICMIC 2024),Part Two of Two Parts》 - International Conference on Mechatronics and Intelligent Control - 2025, - 134473X.1～134473X.16 - 共16页

摘要： using a colored stochastic Petri* net. Through the* | With the increase of air traffic volume in | recent years, the airport operation environment has | been in complex conditions, which may lead to the | occurrence of scratches or collisions between aircrafts in

关键词： Airport operation environment | Simulation design | Keywords colored petri net | Stochastic petri net | Control place

4. On the Expressiveness of Petri Nets for Modeling Biological Processes: The Case for mRNA Translation and Protein Synthesis NSTL国家科技图书文献中心

Luis Henrique Costa ... | S. Lifschitz ... - 《Advances in Conceptual Modeling》 - International Conference on Conceptual Modeling | International Workshop on Empirical Methods in Conceptual Modeling | Workshop on Conceptual Modeling for Life Sciences | International Workshop on Digital JUStice,Digital Law andonceptual MODeling | Workshop on Modeling in the Age of Large Language Models | International Workshop on Quality and Measurement of Model-Drivenoftware Development | International Workshop on AI Services and Applications - 2025, - 137～147 - 共11页

摘要： frameworks have been used, including Petri* Networks. We* | The translation process in Molecular Biology | has been extensively studied, and several modeling | propose an approach that models mRNA translation at the | codon level for the elongation phase, improving the

关键词： Protein synthesis | MRNA translation | Petri networks

5. Distributed Simulation with Efficient Fault Tolerance NSTL国家科技图书文献中心

Javier Vela | Unai Arronategui ... - 《Economics of Grids,Clouds,Systems,and Services》 - International Conference on Economics of Grids,Clouds,Systems,and Services - 2025, - 261～274 - 共14页

摘要：Fault tolerance is essential for the correct | execution of large distributed simulations of discrete | event systems, as the likelihood of faults increases | with the size of the cloud infrastructure used | . Achieving optimal performance and cost in a fault-tolerant

关键词： Distributed simulation | Petri nets | Fault tolerance | Cloud

6. 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 | The Omnibus Java library efficiently derives | optimal signal schedules for multimodal intersections | . Specifically, intersections among tram lines with right of | way and vehicle flows are considered, minimizing the

关键词： 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

7. A "Symbolic" Representation of Object-Nets NSTL国家科技图书文献中心

Michael Kohler-Bussm... | Lorenzo Capra - 《Distributed Computing and Internet Technology》 - International Conference on Distributed Computing and Internet Technology - 2025, - 68～74 - 共7页

摘要：, we allow the tokens of a Petri net to be Petri nets | even systems defined by very small Petri* nets have a* | (Eos). Eos are a net-within-nets* formalism, that is* | a Petri* net morphism to Elementary Object Systems* | Petri net topology. Since these symmetries carry over

关键词： Automorphism | Canonical representation | Nets within nets | Symmetry | State space reductions

8. Once and for All: How to Compose Modules - The Composition Calculus NSTL国家科技图书文献中心

Peter Fettke | Wolfgang Reisig - 《Leveraging Applications of Formal Methods,Verification and Validation,Part II.Rigorous Engineering of Collective Adaptive Systems》 - International Symposium on Leveraging Applications of Formal Methods,Verification and Validation - 2025, - 173～190 - 共18页

摘要：Computability theory is traditionally | conceived as the theoretical basis of informatics | . Nevertheless, numerous proposals transcend computability | theory, in particular by emphasizing interaction of | modules, or components, parts, constituents, as a

关键词： Systems composition | Data modeling | Behavior modeling | Composition calculus | Algebraic specification | Petri nets

9. A Lumped CTMC for Modular Rewritable PN NSTL国家科技图书文献中心

Lorentzo Capra | Marco Gribaudo - 《Computer Performance Engineering》 - European Performance Engineering Workshop - 2025, - 106～120 - 共15页

摘要：Petri Nets (PN) are extensively employed as a | developed a formalization for "rewritable" PT nets* (RwPT* | robust formalism for modelling concurrent and | distributed systems, yet they struggle to model adaptive | reconfigurable systems effectively. In response, we have

关键词： Maude | Reconfigurable systems | SPN | Lumped CTMC

10. Research on Spares Optimization Method of the Complex Electronic Information System Based on Monte Carlo Simulation NSTL国家科技图书文献中心

Yanchun Lu | Hongqi Yang ... - 《International Conference on Mechatronics and Intelligent Control (ICMIC 2024),Part One of Two Parts》 - International Conference on Mechatronics and Intelligent Control - 2025, - 134471F.1～134471F.7 - 共7页

摘要：, considering advantages of the generalized stochastic Petri | Net (GSPN) in characterization and analysis of | In order to solve the problems such as high | maintenance cost and difficult spare parts optimization of | the complex electronic information system

摘要：Petri nets are a class of models of | computation used to compactly represent discrete event | systems. Among many application domains, they have now | become the most prominent formalism to express process | models in Process Mining, thanks to their formal

关键词： Petri nets | Process mining | Model repair | Answer set programming | Inductive logic programming

摘要： method using Petri* nets for modelling and verifying* | Petri net patterns, adaptable to various combinations | Students need realistic practice in their | future professions, including teamwork. Our goal is to | enhance student cooperation and simulate real-life

关键词： Petri net | Serious game | Co-design | Automated check

摘要： using a colored stochastic Petri* net. Through the* | With the increase of air traffic volume in | recent years, the airport operation environment has | been in complex conditions, which may lead to the | occurrence of scratches or collisions between aircrafts in

关键词： Airport operation environment | Simulation design | Keywords colored petri net | Stochastic petri net | Control place

摘要： frameworks have been used, including Petri* Networks. We* | The translation process in Molecular Biology | has been extensively studied, and several modeling | propose an approach that models mRNA translation at the | codon level for the elongation phase, improving the

关键词： Protein synthesis | MRNA translation | Petri networks

摘要：Fault tolerance is essential for the correct | execution of large distributed simulations of discrete | event systems, as the likelihood of faults increases | with the size of the cloud infrastructure used | . Achieving optimal performance and cost in a fault-tolerant

关键词： Distributed simulation | Petri nets | Fault tolerance | Cloud

摘要： flow. Trams are modeled by Stochastic Time Petri Nets | The Omnibus Java library efficiently derives | optimal signal schedules for multimodal intersections | . Specifically, intersections among tram lines with right of | way and vehicle flows are considered, minimizing the

关键词： 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

摘要：, we allow the tokens of a Petri net to be Petri nets | even systems defined by very small Petri* nets have a* | (Eos). Eos are a net-within-nets* formalism, that is* | a Petri* net morphism to Elementary Object Systems* | Petri net topology. Since these symmetries carry over

关键词： Automorphism | Canonical representation | Nets within nets | Symmetry | State space reductions

摘要：Computability theory is traditionally | conceived as the theoretical basis of informatics | . Nevertheless, numerous proposals transcend computability | theory, in particular by emphasizing interaction of | modules, or components, parts, constituents, as a

关键词： Systems composition | Data modeling | Behavior modeling | Composition calculus | Algebraic specification | Petri nets

摘要：Petri Nets (PN) are extensively employed as a | developed a formalization for "rewritable" PT nets* (RwPT* | robust formalism for modelling concurrent and | distributed systems, yet they struggle to model adaptive | reconfigurable systems effectively. In response, we have

关键词： Maude | Reconfigurable systems | SPN | Lumped CTMC

摘要：, considering advantages of the generalized stochastic Petri | Net (GSPN) in characterization and analysis of | In order to solve the problems such as high | maintenance cost and difficult spare parts optimization of | the complex electronic information system

关键词： Spare parts optimization | GSPN | RMS simulation

4008-161-200 800-990-8900

国家科技图书文献中心

摘要：Petri nets are a class of models of | computation used to compactly represent discrete event | systems. Among many application domains, they have now | become the most prominent formalism to express process | models in Process Mining, thanks to their formal

关键词： Petri nets | Process mining | Model repair | Answer set programming | Inductive logic programming

摘要： method using Petri nets for modelling and verifying | Petri net patterns, adaptable to various combinations | Students need realistic practice in their | future professions, including teamwork. Our goal is to | enhance student cooperation and simulate real-life

关键词： Petri net | Serious game | Co-design | Automated check

摘要： using a colored stochastic Petri net. Through the | With the increase of air traffic volume in | recent years, the airport operation environment has | been in complex conditions, which may lead to the | occurrence of scratches or collisions between aircrafts in

关键词： Airport operation environment | Simulation design | Keywords colored petri net | Stochastic petri net | Control place

摘要： frameworks have been used, including Petri Networks. We | The translation process in Molecular Biology | has been extensively studied, and several modeling | propose an approach that models mRNA translation at the | codon level for the elongation phase, improving the

关键词： Protein synthesis | MRNA translation | Petri networks

摘要：Fault tolerance is essential for the correct | execution of large distributed simulations of discrete | event systems, as the likelihood of faults increases | with the size of the cloud infrastructure used | . Achieving optimal performance and cost in a fault-tolerant

关键词： Distributed simulation | Petri nets | Fault tolerance | Cloud

摘要： flow. Trams are modeled by Stochastic Time Petri Nets | The Omnibus Java library efficiently derives | optimal signal schedules for multimodal intersections | . Specifically, intersections among tram lines with right of | way and vehicle flows are considered, minimizing the

关键词： 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

摘要：, we allow the tokens of a Petri net to be Petri nets | even systems defined by very small Petri nets have a | (Eos). Eos are a net-within-nets formalism, that is | a Petri net morphism to Elementary Object Systems | Petri net topology. Since these symmetries carry over

关键词： Automorphism | Canonical representation | Nets within nets | Symmetry | State space reductions

摘要：Computability theory is traditionally | conceived as the theoretical basis of informatics | . Nevertheless, numerous proposals transcend computability | theory, in particular by emphasizing interaction of | modules, or components, parts, constituents, as a

关键词： Systems composition | Data modeling | Behavior modeling | Composition calculus | Algebraic specification | Petri nets

摘要：Petri Nets (PN) are extensively employed as a | developed a formalization for "rewritable" PT nets (RwPT | robust formalism for modelling concurrent and | distributed systems, yet they struggle to model adaptive | reconfigurable systems effectively. In response, we have

关键词： Maude | Reconfigurable systems | SPN | Lumped CTMC

摘要：, considering advantages of the generalized stochastic Petri | Net (GSPN) in characterization and analysis of | In order to solve the problems such as high | maintenance cost and difficult spare parts optimization of | the complex electronic information system

关键词： Spare parts optimization | GSPN | RMS simulation

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： method using Petri* nets for modelling and verifying* | Petri net patterns, adaptable to various combinations | Students need realistic practice in their | future professions, including teamwork. Our goal is to | enhance student cooperation and simulate real-life

摘要： using a colored stochastic Petri* net. Through the* | With the increase of air traffic volume in | recent years, the airport operation environment has | been in complex conditions, which may lead to the | occurrence of scratches or collisions between aircrafts in

摘要： frameworks have been used, including Petri* Networks. We* | The translation process in Molecular Biology | has been extensively studied, and several modeling | propose an approach that models mRNA translation at the | codon level for the elongation phase, improving the

摘要：, we allow the tokens of a Petri net to be Petri nets | even systems defined by very small Petri* nets have a* | (Eos). Eos are a net-within-nets* formalism, that is* | a Petri* net morphism to Elementary Object Systems* | Petri net topology. Since these symmetries carry over

摘要：Petri Nets (PN) are extensively employed as a | developed a formalization for "rewritable" PT nets* (RwPT* | robust formalism for modelling concurrent and | distributed systems, yet they struggle to model adaptive | reconfigurable systems effectively. In response, we have