Search the dblp DataBase

Publications of Author

1. Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
   High-Level Nets with Nets and Rules as Tokens. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2005, pp:268-288 [Conf]
   
2. Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel
   High-Level Net Processes. [Citation Graph (0, 0)][DBLP]
   Formal and Natural Computing, 2002, pp:191-219 [Conf]
   
3. Kathrin Hoffmann
   Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets. [Citation Graph (0, 0)][DBLP]
   Petri Net Technology for Communication-Based Systems, 2003, pp:145-160 [Conf]
   
4. Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky
   Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. [Citation Graph (0, 0)][DBLP]
   FASE, 2000, pp:249-265 [Conf]
   
5. Kathrin Hoffmann
   Flexible Modellierung mit Algebraischen Higher Order Netzen. [Citation Graph (0, 0)][DBLP]
   Modellierung, 2001, pp:101-110 [Conf]
   
6. Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann
   Incremental Development of Safety Properties in Petri Net Transformations. [Citation Graph (0, 0)][DBLP]
   TAGT, 1998, pp:410-425 [Conf]
   
7. Kathrin Hoffmann, Till Mossakowski
   Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. [Citation Graph (0, 0)][DBLP]
   WADT, 2002, pp:253-267 [Conf]
   
8. Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
   Transformations of Petri Nets. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:148, n:1, pp:151-172 [Journal]
   
9. Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce
   Higher-Order Nets for Mobile Policies. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:87-105 [Journal]
   
10. Paolo Bottoni, Fabio De Rosa, Kathrin Hoffmann, Massimo Mecella
    Applying algebraic approaches for modeling workflows and their transformations in mobile networks. [Citation Graph (0, 0)][DBLP]
    Mobile Information Systems, 2006, v:2, n:1, pp:51-76 [Journal]
    
11. Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce, Gabriele Taentzer
    High-level replacement units and their termination properties. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 2005, v:16, n:6, pp:485-507 [Journal]
    
12. Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
    Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:104-123 [Conf]
    
13. Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel
    Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:383-397 [Conf]
    
14. 
    Transformations in Reconfigurable Place/Transition Systems. [Citation Graph (, )][DBLP]
    
    
15. 
    Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. [Citation Graph (, )][DBLP]
    
    
16. 
    Composition and Independence of High-Level Net Processes. [Citation Graph (, )][DBLP]