Author of the publication

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.

, , , , and . ICATPN, volume 4546 of Lecture Notes in Computer Science, page 104-123. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

From Algebraic Graph Transformation to Adhesive HLR Categories and Systems., and . CAI, volume 4728 of Lecture Notes in Computer Science, page 122-146. Springer, (2007)Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation., , , and . VL/HCC, page 71-78. IEEE Computer Society, (2005)Termination Criteria for DPO Transformations with Injective Matches., , and . GT-VC@CONCUR, volume 175 of Electronic Notes in Theoretical Computer Science, page 87-100. Elsevier, (2006)Fundamental Theory for Typed Attributed Graph Transformation., , and . ICGT, volume 3256 of Lecture Notes in Computer Science, page 161-177. Springer, (2004)Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels., and . ICGT, volume 5214 of Lecture Notes in Computer Science, page 178-193. Springer, (2008)Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations., and . Essays Dedicated to Joseph A. Goguen, volume 4060 of Lecture Notes in Computer Science, page 235-251. Springer, (2006)Attributed graph transformation with node type inheritance, , , , , and . Theoretical Computer Science, 376 (3): 139--163 (May 2007)Categorical Foundations of Distributed Graph Transformation., , and . ICGT, volume 4178 of Lecture Notes in Computer Science, page 215-229. Springer, (2006)Fundamentals of Algebraic Graph Transformation, , , and . Springer, Berlin, illustrate edition, (2006)Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories., , , and . Fundam. Informaticae, 74 (1): 31-61 (2006)