CPN4M: Testing Multi-Agent Systems under Organizational Model Moise+ Using Colored Petri Nets (original) (raw)
Related papers
A Petri Net Based Multi-Agent System Behavioral Testing
A PETRI NET BASED AGENT BEHAVIORAL TESTING
Petri Net: A Tool for Modeling and Analyze Multi-agent Oriented Systems
International Journal of Intelligent Systems and Applications, 2012
Performance Evaluation for the Design of Agent-based Systems: A Petri Net Approach
2000
Agent modelling with petri nets
2011
A colored Petri net for a multi-agent application
2002
Multi-agent systems implementation and testing
2004
A Sociological Framework for Multi-agent Systems Validation and Verification
Lecture Notes in Computer Science, 2004
A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems
1996
Modelling Social Behaviour with Petri net based Multi-Agent Systems
2003
An Approach to Model Based Testing of Multiagent Systems
The Scientific World Journal, 2015
Test-driven agent-oriented software development
Munir Merdan, Martin Melik-Merkumians
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), 2012
Opportunities to Improve Software Testing Processes on the Basis of Multi-Agent Modeling
Databases and information …, 2009
An integrated approach for the development and validation of multi-agent systems
… Journal of Computer Systems Science & …, 2005
A METHODOLOGY FOR MODELING INTERACTIONS IN COOPERATIVE INFORMATION SYSTEMS USING COLOURED PETRI NETS
Francisco Camargo, Juan Frausto Solís
International Journal of Software Engineering and Knowledge Engineering, 2002
Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets
Software Engineering and Knowledge Engineering, 2001
Extension of Object-Oriented Software Testing Techniques to Agent Oriented Software Testing
Journal of Object Technology, 2008
A Study of Tools Used in Implement AgentOriented Software Engineering
International Journal of Innovative Research in Computer and Communication Engineering, 2015
International Journal of Information Technology and Computer Science
A Framework for Model-Based Design of Agent-Oriented Software
IEEE Transactions on Software Engineering, 2003
A Colored Petri Net Based Approach for Multi-Agent Interactions
Proc. of 2nd International …, 2004
Validation of information system models: Petri nets and test case generation
IEEE International Conference on Systems, Man, and Cybernetics, 1997