Zeit-Petri-Netze. - Louchka Popova-Zeugmann (1989)

On Time Petri Nets. - Louchka Popova-Zeugmann (J. Inf. Process. Cybern., 1991)

Analyzing Paths in Time Petri Nets. - Louchka Popova-Zeugmann; Dirk Schlatter (Fundam. Informaticae, 1999)

Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture. - Jan Richling; Matthias Werner 001; Louchka Popova-Zeugmann (ICRA, 2002)

Verification of Non-functional Properties of a Composable Architecture with Petrinets. - Jan Richling; Louchka Popova-Zeugmann; Matthias Werner 001 (Fundam. Informaticae, 2002)

Using State Equation to Prove Non-Reachability in Timed Petrinets. - Louchka Popova-Zeugmann; Matthias Werner 001; Jan Richling (Fundam. Informaticae, 2003)

A Method to Prove Non-Reachability in Priority Duration Petri Nets. - Matthias Werner 001; Louchka Popova-Zeugmann; Jan Richling (Fundam. Informaticae, 2004)

Time Petri Nets for Modelling and Analysis of Biochemical Networks. - Louchka Popova-Zeugmann; Monika Heiner; Ina Koch (Fundam. Informaticae, 2005)

Extreme Runtimes of Schedules Modelled by Time Petri Nets. - Louchka Popova-Zeugmann; Matthias Werner 001 (Fundam. Informaticae, 2005)

Petri Nets with Time Windows: A Comparison to Classical Petri Nets. - Jan-Thierry Wegener; Louchka Popova-Zeugmann (Fundam. Informaticae, 2009)

Time-independent Liveness in Time Petri Nets. - Jörg Peter Bachmann; Louchka Popova-Zeugmann (Fundam. Informaticae, 2010)

Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks. - Louchka Popova-Zeugmann (Nat. Comput., 2011)

Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays. - Louchka Popova-Zeugmann; Elisabeth Pelz (Fundam. Informaticae, 2012)

Time and Petri Nets. - Louchka Popova-Zeugmann (Springer, 2013)

A Holistic State Equation for Timed Petri Nets. - Matthias Werner 001; Louchka Popova-Zeugmann; Mario Haustein; Elisabeth Pelz (Fundam. Informaticae, 2014)

Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation. - Elisabeth Pelz; Abderraouf Kabouche; Louchka Popova-Zeugmann (PNSE @ Petri Nets, 2015)

Controlling Petri Net Behavior Using Time Constraints. - Irina A. Lomazova; Louchka Popova-Zeugmann (CS&P, 2015)

Time and Concurrency - Three Approaches for Intertwining Time and Petri Nets. - Louchka Popova-Zeugmann (CS&P, 2015)

Branching Processes of Timed Petri Nets. - Irina B. Virbitskaite; Victor Borovlyov; Louchka Popova-Zeugmann (Ershov Memorial Conference, 2015)

Controlling Petri Net Behavior using Priorities for Transitions. - Irina A. Lomazova; Louchka Popova-Zeugmann (Fundam. Informaticae, 2016)

"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets. - Irina B. Virbitskaite; V. A. Borovlev; Louchka Popova-Zeugmann (Program. Comput. Softw., 2016)

Controlling boundedness for live Petri nets. - Irina A. Lomazova; Louchka Popova-Zeugmann; Arthur Bartels (CoDIT, 2017)

Causality-Based Testing in Time Petri Nets. - Elena N. Bozhenkova; Irina B. Virbitskaite; Louchka Popova-Zeugmann (Ershov Informatics Conference, 2019)