Concepedia

Louchka Popova-Zeugmann

LP

Statistics

Publications

7

Citations

198

H-Index

7

Active since

1991

Affiliations

Humboldt-Universität zu Berlin(Current)

Brandenburg University of Technology Cottbus-Senftenberg

Louchka Popova-Zeugmann is an author at Humboldt-Universität zu Berlin specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringProcess ControlComputational ComplexityBusinessAutomationVerification

Publications per year

1991–2016

7

Publications

7

On Time Petri Nets.

Louchka Popova-Zeugmann · Journal of automata, languages and combinatorics · 1991 · 84 citations

Petri Net, Engineering, Stochastic Petri Net +5

Time Petri Nets for Modelling and Analysis of Biochemical Networks

Louchka Popova-Zeugmann, Monika Heiner, Ina Koch · 2005 · 41 citations

Petri Net, Engineering, Reachability Problem +12

Analyzing Paths in Time Petri Nets

Louchka Popova-Zeugmann, Dirk Schlatter · Fundamenta Informaticae · 1999 · 20 citations

Petri Net, Engineering, Reachability Problem +13

Worst-case Analysis of Concurrent Systems with Duration Interval Petri Nets

Louchka Popova-Zeugmann, Monika Heiner · 1997 · 15 citations

Controlling Petri Net Behavior using Priorities for Transitions

Irina A. Lomazova, Louchka Popova-Zeugmann · Fundamenta Informaticae · 2016 · 15 citations

Petri Net, Reachability Analysis, Petri Net Behavior +15

1–5 of 7