Reasoning about Multi-Agent Systems Using Stochastic Petri Nets.

Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler

Browse the full PAAMS paper archive.