A formal testing method for multi-agent systems using colored Petri nets
- 12 February 2025
- journal article
- research article
- Published by Springer Nature in Autonomous Agents and Multi-Agent Systems
- Vol. 39 (1) , 1-30
Abstract
No abstract availableKeywords
Funding Information
- Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (001)
This publication has 29 references indexed in Scilit:
- MAMTCPN: $\mathcal {M}$oise$^+$ Automated Mapping to Colored Petri Net2024
- Verification of Autonomous Robots: A Roboticist’s Bottom-Up Approach2020
- Dimensions in programming multi-agent systemsThe Knowledge Engineering Review, 2019
- BDI agent testability revisitedAutonomous Agents and Multi-Agent Systems, 2017
- The JaCaMo Framework2016
- Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models2011
- Coloured Petri Nets2009
- PAT: Towards Flexible Verification under Fairness2009
- Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systemsInternational Journal on Software Tools for Technology Transfer, 2007
- A methodology of testing high-level Petri netsInformation and Software Technology, 2002