A formal testing method for multi-agent systems using colored Petri nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ricardo Arend Machado, Arthur da Silva Zelindro Cardoso, Giovani Parente Farias, Eder Mateus Nunes Gonçalves, Diana Francisca Adamatti. A formal testing method for multi-agent systems using colored Petri nets. Autonomous Agents and Multi-Agent Systems, 39(1):10, June 2025. [doi]

This author has not been identified. Look up 'Ricardo Arend Machado' in GoogleThis author has not been identified. Look up 'Arthur da Silva Zelindro Cardoso' in GoogleThis author has not been identified. Look up 'Giovani Parente Farias' in GoogleThis author has not been identified. Look up 'Eder Mateus Nunes Gonçalves' in GoogleThis author has not been identified. Look up 'Diana Francisca Adamatti' in Google

runs on WebDSL