Vol-3169⫷ Vol-3170 ⫸Vol-3171
urn:nbn:de:0074-3170-0


Vol-3170/paper7⫷Vol-3170/paper8⫸Vol-3170/paper9

Analysing Multi-Agent Systems using 1-safe Petri Nets