A formal testing method for multi-agent systems using colored Petri nets. - Ricardo Arend Machado; Arthur da Silva Zelindro Cardoso; Giovani Parente Farias; Eder Mateus Nunes Gonçalves; Diana Francisca Adamatti (Auton. Agents Multi Agent Syst., 2025)