| 2007 |
|---|
| 18 | EE | Michael Köhler,
Berndt Farwer:
Object Nets for Mobility.
ICATPN 2007: 244-262 |
| 17 | EE | Berndt Farwer,
Manfred Kudlek,
Heiko Rölke:
Concurrent Turing Machines.
Fundam. Inform. 79(3-4): 303-317 (2007) |
| 2006 |
|---|
| 16 | EE | Berndt Farwer,
Michael Köhler:
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets.
Fundam. Inform. 72(1-3): 109-122 (2006) |
| 15 | EE | Berndt Farwer,
Mauricio Varea:
Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets.
Fundam. Inform. 72(1-3): 123-137 (2006) |
| 2005 |
|---|
| 14 | EE | Berndt Farwer,
Michael Köhler:
Petri Net Processes for Zero-Safe Nets.
Fundam. Inform. 67(1-3): 65-75 (2005) |
| 2004 |
|---|
| 13 | EE | Berndt Farwer,
Michael Leuschel:
Model checking object petri nets in prolog.
PPDP 2004: 20-31 |
| 12 | EE | Berndt Farwer,
Michael Köhler:
Mobile Object-Net Systems and their Processes.
Fundam. Inform. 60(1-4): 113-129 (2004) |
| 11 | EE | Berndt Farwer,
Manfred Kudlek:
A New Synchronisation Model for Multi-Level Object Petri Nets.
Fundam. Inform. 60(1-4): 131-142 (2004) |
| 2003 |
|---|
| 10 | EE | Berndt Farwer,
Kundan Misra:
Dynamic Modification of System Structures Using LLPNs.
Ershov Memorial Conference 2003: 274-293 |
| 9 | EE | Berndt Farwer,
Saraswati Kalvala,
Kundan Misra:
Controller Synthesis for Object Petri Nets.
ICFEM 2003: 432-451 |
| 8 | EE | Berndt Farwer,
Manfred Kudlek,
Kundan Misra:
Some Considerations on Higher-Order Petri Nets.
Fundam. Inform. 54(2-3): 185-193 (2003) |
| 7 | EE | Berndt Farwer,
Kundan Misra:
Modelling with Hierarchical Object Petri Nets.
Fundam. Inform. 55(2): 129-147 (2003) |
| 2002 |
|---|
| 6 | | Berndt Farwer:
Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures.
Fundam. Inform. 51(1-2): 91-101 (2002) |
| 2001 |
|---|
| 5 | EE | Berndt Farwer:
omega-Automata.
Automata, Logics, and Infinite Games 2001: 3-20 |
| 4 | EE | Berndt Farwer,
Irina A. Lomazova:
A Systematic Approach towards Object-Based Petri Net Formalisms.
Ershov Memorial Conference 2001: 255-267 |
| 3 | | Berndt Farwer:
Comparing Concepts of Object Petri Net Formalisms.
Fundam. Inform. 47(3-4): 247-258 (2001) |
| 2000 |
|---|
| 2 | | Berndt Farwer:
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures.
Fundam. Inform. 43(1-4): 61-79 (2000) |
| 1999 |
|---|
| 1 | | Berndt Farwer:
A Linear Logic View of Object Petri Nets.
Fundam. Inform. 37(3): 225-246 (1999) |
