1. AGG Homepage, http://tfs.cs.tu-berlin.de/agg
2. Baldan, P.: Modelling Concurrent Computations: From Contextual Petri Nets to Graph Grammars. PhD thesis, University of Pisa (2000)
3. Concurrency, Parallelism and Distribution;P. Baldan,1999
4. Bardohl, R., Ermel, C.: Scenario Animation for Visual Behavior Models: A Generic Approach Applied to Petri Nets. In: Juhas, G., Desel, J. (eds.) Proc. 10th Workshop on Algorithms and Tools for Petri Nets (AWPN 2003) (2003)
5. Lecture Notes in Computer Science;G. Berthelot,1986