1. Concurrent Semantics of Algebraic Graph Transformations;Baldan,1999
2. R. Bardohl and C. Ermel. Scenario Animation for Visual Behavior Models: A Generic Approach Applied to Petri Nets. In G. Juhas and J. Desel, editors, Proc. 10th Workshop on Algorithms and Tools for Petri Nets (AWPN'03), 2003
3. Checking properties of nets using transformations;Berthelot,1986
4. Transformations and decompositions of nets;Berthelot,1987
5. J. Bogen. Schrittweise Entwicklung von Ereignisgesteuerten Prozessketten zu Algebraischen Higher-Order Netzen. Master Thesis, Technische Universität Berlin, 2004