国家科技图书文献中心 杭州服务站
首页
资源导航
特色服务
知识发现
关于我们
检索
代查代借

检索历史
浏览历史

订阅
收藏
0 申请单

个人中心
账号设置
充值
全部 |
  • 全部
  • 题名
  • 作者
  • 机构
  • 关键词
  • NSTL主题词
  • 摘要
检索 二次检索 AI检索
高级检索
外文文献 中文文献
筛选条件：

共搜索到57496条信息
?

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. Strong Current-State Opacity Verification of Discrete-Event Systems Modeled with Time Labeled Petri Nets NSTL国家科技图书文献中心

Tao Qin |  Li Yin... -  《IEEE/CAA journal of automatica sinica》 - 2025,12(1) - 54～68 - 共15页

摘要： modeled with time labeled Petri nets. The standard |  opacity of time labeled Petri nets. This approach is | This paper addresses the verification of |  strong cur-rent-state opacity with respect to real-time |  observations gener-ated from a discrete-event system that is
关键词： Petri nets |  Observers |  Linear programming |  Real-time systems |  Discrete-event systems |  Security |  Standards
文献传递获取全文
收藏

3. 5G network resilience evaluation mechanism based on Petri Nets NSTL国家科技图书文献中心

Wu W. |  Ji X.... -  《Computer networks》 - 2025,257(Feb.) - 1.1～1.14 - 共14页

摘要： paper, we use Petri Nets to model 5G network systems | © 2024 Elsevier B.V.As a next-generation |  mobile communication technology, 5G's network |  functionscloudification, virtualization, and other characteristics |  enable the network to overcome single-point resource
关键词： 5G |  Network function virtualization |  Network resilience |  Petri net
文献传递获取全文
收藏

4. Performance Optimization and Design of a Fire Extinguisher Wireless Sensor Drone System Using Petri Nets Modeling and PSO Algorithm NSTL国家科技图书文献中心

Urvashi, Shikha |  Bansal, Shikha -  《IEEE sensors journal》 - 2025,25(3) - 4801～4810 - 共10页

摘要： (PSO) algorithm and petri nets (PN) approach to |  availability in the Petri net modeling is analyzed at 0.9883 | Fire safety appears to be an important global |  concern due to the limitations of traditional systems in |  successfully detecting and fighting fires, particularly in
关键词： Sensors |  Petri nets |  Drones |  Reliability |  Sensor systems |  System performance |  Wireless sensor networks |  Switches |  Forestry |  Fire extinguishers...
文献传递获取全文
收藏

5. An Innovative Performance Assessment Method for Increasing the Efficiency of AODV Routing Protocol in VANETs Through Colored Timed Petri Nets NSTL国家科技图书文献中心

Arash Heidari |  Mohammad Ali Jabraei...... -  《Concurrency and computation: practice and experience》 - 2025,37(3) - e8349.1～e8349.15 - 共15页

摘要： and formal modeling. Colored Timed Petri Nets (CTPNs | Routing protocols are pivotal in Vehicular Ad |  hoc Networks (VANETs), serving as the backbone for |  efficient routing discovery, particularly within the realm |  of Intelligent Transportation Systems (ITS
关键词： Ad Hoc on-demand distance vector |  colored timed Petri nets |  routing protocol |  vehicular ad hoc networks
文献传递获取全文
收藏

6. 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
文献传递获取全文
收藏

7. 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
文献传递获取全文
收藏

8. An algorithm for the transformation of the Petri net models of biological signaling networks into influence graphs NSTL国家科技图书文献中心

Gamache-Poirier, Sim... |  Souvane, Alexia... -  《BioSystems》 - 2025,250 - 共20页

摘要： formalism for reaction-based models is the Petri nets |  algorithm based on Petri nets topological features for the |  also show the transformation of the Petri nets model | A common depiction for biological signaling |  networks is the influence graph in which the activation
关键词： Computational biology |  Simulation |  Signaling networks |  Petri nets |  Influence graph |  Algorithm
文献传递获取全文
收藏

9. Large scale system design aided by modelling and DES simulation: A Petri net approach NSTL国家科技图书文献中心

Unai Arronategui |  Jose Angel Banares... -  《Software》 - 2025,55(2) - 243～271 - 共29页

摘要： Petri nets. In the simulation literature, Petri nets |  article reviews the role of Petri nets as the core |  related to the Petri net-based languages used at |  generation of code for executing simulations of Petri net |  an efficient representation of Petri net-based
关键词： distributed simulation |  large scale models |  model driven engineering |  Petri nets
文献传递获取全文
收藏

10. 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
文献传递获取全文
收藏

相关推荐

检索结果集分析
检索结果集分析
结构化综述分析
检索条件Petri nets

  • 检索词扩展

NSTL主题词

  • NSTL学科导航

服务站

成员单位

友情链接

NSTL官方微信

官方微信

NSTL安卓APP

安卓APP

服务热线：

4008-161-200 800-990-8900

国家科技图书文献中心

国家科技图书文献中心

京ICP备10027328号

© Copyright(C)2023 NSTL.All Rights Reserved 版权所有

杭州服务站

0571-85112211；0571-85058943zj85112211@163.com

地址：浙江省杭州市滨江区信诚路572号 科技大市场A座318室

页面总访问量：32563659