Kathrin Hoffmann

1. Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations
   2011/08/04 by Tony Modica, Karsten Gabriel, Modica, Tony +3 · 2 citations
   Computer Science · #Petri Nets in System Modeling #Model-Driven Software Engineering Techniques #Service-Oriented Architecture and Web Services
2. Flexible Modeling of Emergency Scenarios using Reconfigurable Systems
   2009/12/17 by Kathrin Hoffmann, Hartmut Ehrig, Hoffmann, Kathrin +3 · 2 citations
   Computer Science · Business, Management and Accounting · #Service-Oriented Architecture and Web Services #Business Process Modeling and Analysis #Petri Nets in System Modeling