Klempien-Hinrichs, R.; Luderer, M.
Assuring Strong Termination of Controlled Graph Transformation by Means of Petri Nets
In: Research Report 2010/11, International Graduate School for Dynamics in Logistics, LogDynamics Research Report, 2(2011), pp. 31-34
(Workgroups:
Theoretical Computer Science,
IGS)
