Documents Savoirs Modeling Petri net-based multi-agent applications [Elektronische Ressource] / by Lawrence Cabac Lawrence Cabac