A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets-Reference-Cited by-同舟云学术

A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets

Published:2015-09 Issue:07 Volume:25 Page:1199-1235
ISSN:0218-1940
Container-title:International Journal of Software Engineering and Knowledge Engineering
language:en
Short-container-title:Int. J. Soft. Eng. Knowl. Eng.

Author:

Chang Lily¹,He Xudong²

Affiliation:

1. Department of Computer Science and Software Engineering University of Wisconsin, Platteville 1 University Plaza, Platteville, WI 53818, USA

2. School of Computing and Information Sciences Florida International University 11200 SW 8th Street, Miami, FL 33199, USA

Abstract

This paper presents a methodology for analyzing multi-agent systems modeled in nested predicate transition nets. The objective is to automate the model analysis for complex systems, and provide a foundation for tool development. We formally define the translation rules that translate the multi-agent model to an executable PROMELA model, and demonstrate the translation with an example.

Publisher

World Scientific Pub Co Pte Lt

Subject

Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Software

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0218194015500230

Reference24 articles.

1. Methodologies and Software Engineering for Agent Systems

2. A METHODOLOGY FOR MODELING MULTI-AGENT SYSTEMS USING NESTED PETRI NETS

3. A TRANSLATOR OF SOFTWARE ARCHITECTURE DESIGN FROM SAM TO JAVA

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An automated qualitative analysis of real-time systems using Timed Petri net and SPIN;Cogent Engineering;2024-07-14

2. A Personal Journey in Petri Net Research;Carl Adam Petri: Ideas, Personality, Impact;2019

3. Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets;2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C);2018-07

4. A Method to Analyze Predicate Transition Nets Using SPIN Model Checker;International Journal of Software Engineering and Knowledge Engineering;2017-11