A Research of Agent Model Based on Petri Net

机译：基于Petri网的Agent模型研究

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper, the author introduces Petri net approach in the Agent, and presents the Agent model based on petri Net. At last, this author shows the application of the agent model to the verification of timing properties of a command and control system in C~4ISR.

机译：在本文中，作者介绍了Agent中的Petri网方法，并提出了基于Petri Net的Agent模型。最后，作者展示了代理模型在验证C〜4ISR中命令和控制系统的定时属性中的应用。

著录项

来源
《5th International Symposium on Test and Measurement (ISTM/2003) Vol.6 Jun 1-5, 2003 Shenzhen, China》|2003年|p.4761-4764|共4页
会议地点 Shenzhen(CN);Shenzhen(CN)
作者
Wan Hua; Zhang Yuzhu; Zhang Changgen;
展开▼
作者单位

Ordnance Engineering College, Shijiazhuang China;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类一般工业技术;
关键词
agent; petri net; model;

机译：代理商; Petri网;模型;

相似文献

外文文献
中文文献
专利

1. Towards a Meta-Modeling and Verification Approach of Multi-Agent Systems Based on the Agent Petri Net Formalism [J] . Amel Dembri, Mohammed Redjimi International Journal of Information Technology and Computer Science . 2019,第6期

机译：基于Agent Petri网形式主义的多Agent系统元建模与验证方法
2. An integrated assessment of safety and efficiency of aircraft maintenance strategies using agent-based modelling and stochastic Petri nets [J] . Lee Juseong, Mitici Mihaela Reliability Engineering & System Safety . 2020,第Octa期

机译：使用基于代理的建模和随机培养网的飞机维护策略安全性和效率的综合评估
3. Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets [J] . Boucherit Ammar, Khababa Abdallah, Castro Laura M. Multiagent and grid systems . 2018,第4期

机译：基于Petri网的多Agent系统模型重写逻辑规范自动生成算法
4. Modeling Agent Periodic Routines in Agent-Based Social Simulation Using Colored Petri Nets [C] . Silva Carlos, Goncalves Eder, Dimuro Gracaliz, 1st BRICS Countries Congress on Computational Intelligence . 2013

机译：使用彩色Petri网在基于Agent的社会仿真中对Agent周期性例程进行建模
5. ANALYSIS OF DISTRIBUTED SYSTEM SOFTWARE DESIGN BASED ON STRUCTURED PETRI NET MODEL (PERFORMANCE, PETRI NET) [D] . CHOU, CHING-ROUNG 1986

机译：基于结构化PETRI NET模型（性能，PETRI NET）的分布式系统软件设计分析
6. Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation [O] . Misbah Razzaq, Jamil Ahmad 2010

机译：基于Petri网和概率模型检查的Internet蠕虫传播建模，仿真与验证方法。
7. Towards a Meta-Modeling and Verification Approach of Multi-Agent Systems Based on the Agent Petri Net Formalism [O] . Amel Dembri, Mohammed Redjimi 2019

机译：基于代理人Petri网络形式主义的多助理系统的元建模和验证方法

A Research of Agent Model Based on Petri Net

摘要

著录项

相似文献

相关主题

期刊订阅