Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets-Reference-Cited by-同舟云学术

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

Published:2019-01-18 Issue:4 Volume:14 Page:403-418
ISSN:1875-9076
Container-title:Multiagent and Grid Systems
language:
Short-container-title:MGS

Author:

Boucherit Ammar¹²,Khababa Abdallah¹,Castro Laura M.³

Affiliation:

1. Computer Science Department, University of Ferhat Abbas Setif, Algeria

2. Computer Science Department, University of Echahid Hamma Lakhdar, Algeria

3. Computer Science Department, A Coruña University, Spain

Publisher

IOS Press

Subject

General Computer Science

Reference57 articles.

1. S. Adameit, T. Betz, L. Cabac, F. Hars, M. Hewelt, M. Köhler-Bußmeier, D. Moldt, D. Popov, J. Quenum, A. Theilmann et al., Modelling distributed network security in a petri net-and agent-based approach, in: German Conference on Multiagent System Technologies, Springer, 2010, pp. 209–220.

2. Formal modeling towards a dynamic organization of multi-agent systems using communicating x-machine and z-notation;Ali;Indian Journal of Science and Technology,2012

3. Towards the formal specification and verification of multi-agent based systems;Ammar;International Journal of Computer Science Issues (IJCSI),2011

4. B. Athamena and Z. Houhamdi, A petri net based agent behavioral testing, in: American Journal of Applied Sciences, Vol. 12, 2011, pp. 1876–1883.

5. Q. Bai, M. Zhang and H. Zhang, A colored petri net based strategy for multi-agent scheduling, In: Rational, Robust, and Secure Negotiation Mechanisms in Multi-Agent Systems, 2005, IEEE, 2005, pp. 3–10.

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

1. PN2Maude: An automatic tool to generate Maude specification for Petri net models;Computer Science Journal of Moldova;2023-07

2. Multi-objective trajectory planning of humanoid robot using hybrid controller for multi-target problem in complex terrain;Expert Systems with Applications;2021-10

3. Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems;Multiagent and Grid Systems;2020-04-09

4. A graph transformation based approach for multi-agent systems reorganization;Multiagent and Grid Systems;2020-02-10