Analysing Multi-Agent Systems using 1-safe Petri Nets

Open in new window