| 2005 |
|---|
| 8 | EE | Louchka Popova-Zeugmann,
Monika Heiner,
Ina Koch:
Time Petri Nets for Modelling and Analysis of Biochemical Networks.
Fundam. Inform. 67(1-3): 149-162 (2005) |
| 7 | EE | Louchka Popova-Zeugmann,
Matthias Werner:
Extreme Runtimes of Schedules Modelled by Time Petri Nets.
Fundam. Inform. 67(1-3): 163-174 (2005) |
| 2004 |
|---|
| 6 | EE | Matthias Werner,
Louchka Popova-Zeugmann,
Jan Richling:
A Method to Prove Non-Reachability in Priority Duration Petri Nets.
Fundam. Inform. 61(3-4): 351-368 (2004) |
| 2003 |
|---|
| 5 | EE | Louchka Popova-Zeugmann,
Matthias Werner,
Jan Richling:
Using State Equation to Prove Non-Reachability in Timed Petrinets.
Fundam. Inform. 55(2): 187-202 (2003) |
| 2002 |
|---|
| 4 | | Jan Richling,
Matthias Werner,
Louchka Popova-Zeugmann:
Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture.
ICRA 2002: 4065-4070 |
| 3 | | Jan Richling,
Louchka Popova-Zeugmann,
Matthias Werner:
Verification of Non-functional Properties of a Composable Architecture with Petrinets.
Fundam. Inform. 51(1-2): 185-200 (2002) |
| 1999 |
|---|
| 2 | | Louchka Popova-Zeugmann,
Dirk Schlatter:
Analyzing Paths in Time Petri Nets.
Fundam. Inform. 37(3): 311-327 (1999) |
| 1991 |
|---|
| 1 | | Louchka Popova-Zeugmann:
On Time Petri Nets.
Elektronische Informationsverarbeitung und Kybernetik 27(4): 227-244 (1991) |
