Louchka Popova-Zeugmann

Publication Activity (10 Years)

Years Active: 1991-2019
Publications (10 Years): 4

Top Venues

CS&P

Fundam. Informaticae

Ershov Memorial Conference

CoDIT

Humboldt University of Berlin, Unter den Linden, Germany (PHD)

Education History

Humboldt University of Berlin, Unter den Linden, Germany

PHD

Publications

Elena N. Bozhenkova, Irina B. Virbitskaite, Louchka Popova-Zeugmann
Causality-Based Testing in Time Petri Nets. Ershov Informatics Conference (2019)
Irina A. Lomazova, Louchka Popova-Zeugmann, Arthur Bartels
Controlling boundedness for live Petri nets. CoDIT (2017)
Irina A. Lomazova, Louchka Popova-Zeugmann
Controlling Petri Net Behavior using Priorities for Transitions. Fundam. Informaticae 143 (1-2) (2016)
Irina B. Virbitskaite, V. A. Borovlev, Louchka Popova-Zeugmann
"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets. Program. Comput. Softw. 42 (4) (2016)
Irina A. Lomazova, Louchka Popova-Zeugmann
Controlling Petri Net Behavior Using Time Constraints. CS&P (2015)
Louchka Popova-Zeugmann
Time and Concurrency - Three Approaches for Intertwining Time and Petri Nets. CS&P (2015)
Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann
Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation. PNSE @ Petri Nets (2015)
Irina B. Virbitskaite, Victor Borovlyov, Louchka Popova-Zeugmann
Branching Processes of Timed Petri Nets. Ershov Memorial Conference (2015)
Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz
A Holistic State Equation for Timed Petri Nets. Fundam. Informaticae 133 (2-3) (2014)
Irina A. Lomazova, Louchka Popova-Zeugmann
Controlling Petri Net Behavior Using Priorities for Transitions. CS&P (2014)
Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz
A Holistic State Equation for Timed Petri Nets. CS&P (2013)
Louchka Popova-Zeugmann, Elisabeth Pelz
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays. Fundam. Informaticae 120 (3-4) (2012)
Louchka Popova-Zeugmann
Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks. Nat. Comput. 10 (3) (2011)
Jörg Peter Bachmann, Louchka Popova-Zeugmann
Time-independent Liveness in Time Petri Nets. Fundam. Informaticae 102 (1) (2010)
Jan-Thierry Wegener, Louchka Popova-Zeugmann
Petri Nets with Time Windows: A Comparison to Classical Petri Nets. Fundam. Informaticae 93 (1-3) (2009)
Louchka Popova-Zeugmann, Matthias Werner
Extreme Runtimes of Schedules Modelled by Time Petri Nets. Fundam. Informaticae 67 (1-3) (2005)
Louchka Popova-Zeugmann, Monika Heiner, Ina Koch
Time Petri Nets for Modelling and Analysis of Biochemical Networks. Fundam. Informaticae 67 (1-3) (2005)
Matthias Werner, Louchka Popova-Zeugmann, Jan Richling
A Method to Prove Non-Reachability in Priority Duration Petri Nets. Fundam. Informaticae 61 (3-4) (2004)
Louchka Popova-Zeugmann, Matthias Werner, Jan Richling
Using State Equation to Prove Non-Reachability in Timed Petrinets. Fundam. Informaticae 55 (2) (2003)
Jan Richling, Matthias Werner, Louchka Popova-Zeugmann
Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture. ICRA (2002)
Jan Richling, Louchka Popova-Zeugmann, Matthias Werner
Verification of Non-functional Properties of a Composable Architecture with Petrinets. Fundam. Informaticae 51 (1-2) (2002)
Louchka Popova-Zeugmann, Dirk Schlatter
Analyzing Paths in Time Petri Nets. Fundam. Informaticae 37 (3) (1999)
Louchka Popova-Zeugmann
On Time Petri Nets. J. Inf. Process. Cybern. 27 (4) (1991)

Louchka Popova-Zeugmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Louchka Popova-Zeugmann