Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mohammed Redjimi
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
A DEVS/MAS-Based Framework for Modeling/Simulation of Complex Systems
Advances in Intelligent Systems and Computing
Control
Systems Engineering
Computer Science
Related publications
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 Applications
Information Systems
Verification of Agent-Based Artifact Systems
Journal of Artificial Intelligence Research
Artificial Intelligence
An Integrated Role-Based Approach for Modeling, Designing and Implementing Multi-Agent Systems
Journal of the Brazilian Computer Society
Computer Science
A Refinement-Based Approach to Developing Critical Multi-Agent Systems
International Journal of Critical Computer-Based Systems
Computer Science
Verification of Multiple Agent Knowledge-Based Systems
International Journal of Intelligent Systems
Theoretical Computer Science
Human-Computer Interaction
Artificial Intelligence
Software
Towards a Context Definition for Multi-Agent Systems
A New Approach of Designing Multi-Agent Systems
International Journal of Advanced Computer Science and Applications
Computer Science
Towards Data-Driven Simulation Modeling for Mobile Agent-Based Systems
ACM Transactions on Modeling and Computer Simulation
Modeling
Computer Science Applications
Simulation
Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes
Cybernetics and Information Technologies
Computer Science
