Hoffmann, Kathrin, HAW Hamburg, Germany
-
Volume 40: Petri Nets and Graph Transformations 2010 - Articles
Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations
Abstract PDF -
Volume 40: Petri Nets and Graph Transformations 2010 - Articles
Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks
Abstract PDF -
Volume 40: Petri Nets and Graph Transformations 2010 - Preface
Preface
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.