Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems-Reference-Cited by-同舟云学术

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems

Published:2020-04-09 Issue:1 Volume:16 Page:47-66
ISSN:1875-9076
Container-title:Multiagent and Grid Systems
language:
Short-container-title:MGS

Author:

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

Affiliation:

1. Computer Science Department, University of El-Oued, Algeria

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

3. Computer Science Department, University of Ferhat Abbas Sétif, Algeria

4. School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Pakistan

Publisher

IOS Press

Subject

General Computer Science

Reference105 articles.

1. L. Aguilar, M. Lalith and M. Hori, Time critical mass evacuation simulation combining a multi-agent system and high-performance computing, Multi-agent Systems, 2017, p. 17.

2. Formal modeling of a mail transport system based on multi-agent system-of-systems;Akhtar;Journal of Information Communication Technologies and Robotic Applications,2019

3. M. Alberti, D. Daolio, P. Torroni, M. Gavanelli, E. Lamma and P. Mello, Specification and verification of agent interaction protocols in a logic-based system, In Proceedings of the 2004 ACM symposium on Applied computing, ACM, 2004, pp. 72–78.

4. Supporting systems of systems hazard analysis using multi-agent simulation;Alexander;Safety Science,2013

5. N. Aoumeur and G. Saake, Integrating and rapid-prototyping uml structural and behavioural diagrams using rewriting logic, In CAiSE, Springer, 2002, pp. 296–310.

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

1. Uma ferramenta para mapeamento de sistemas multiagente em redes de petri coloridas;Cuadernos de Educación y Desarrollo;2024-06-26

2. MAMTCPN: $$\mathcal {M}$$oise$$^+$$ Automated Mapping to Colored Petri Net;Lecture Notes in Networks and Systems;2024

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

4. Formal Verification on the Safety of Internet of Vehicles Based on TPN and Z;Mathematical Problems in Engineering;2020-12-29