Towards a Meta-Modeling and Verification Approach of Multi-Agent Systems Based on the Agent Petri Net Formalism

International Journal of Information Technology and Computer Science
doi 10.5815/ijitcs.2019.06.06
Full Text
Abstract

Available in full text

Date
Authors
Publisher

MECS Publisher

Related search

Towards Agent-Based Modeling and Verification of Collaborative Business Processes: An Approach Centered on Interactions and Behaviors

International Journal of Cooperative Information Systems
Computer Science ApplicationsInformation Systems
2009English

Verification of Agent-Based Artifact Systems

Journal of Artificial Intelligence Research
Artificial Intelligence
2014English

An Integrated Role-Based Approach for Modeling, Designing and Implementing Multi-Agent Systems

Journal of the Brazilian Computer Society
Computer Science
2007English

A Refinement-Based Approach to Developing Critical Multi-Agent Systems

International Journal of Critical Computer-Based Systems
Computer Science
2013English

Verification of Multiple Agent Knowledge-Based Systems

International Journal of Intelligent Systems
Theoretical Computer ScienceHuman-Computer InteractionArtificial IntelligenceSoftware
2001English

Towards a Context Definition for Multi-Agent Systems

English

A New Approach of Designing Multi-Agent Systems

International Journal of Advanced Computer Science and Applications
Computer Science
2011English

Towards Data-Driven Simulation Modeling for Mobile Agent-Based Systems

ACM Transactions on Modeling and Computer Simulation
ModelingComputer Science ApplicationsSimulation
2019English

Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes

Cybernetics and Information Technologies
Computer Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy