Louchka Popova-Zeugmann

27 papers A* 1C 1Journal 14Unranked 7
YearRankTypeTitle / Venue / Authors
2019 — conf
Causality-Based Testing in Time Petri Nets.
Ershov Informatics Conference
Elena N. Bozhenkova, Irina B. Virbitskaite, Louchka Popova-Zeugmann
2017 C conf
Controlling boundedness for live Petri nets.
CoDIT
Irina A. Lomazova, Louchka Popova-Zeugmann, Arthur Bartels
2016 J jnl
"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets.
Program. Comput. Softw.
Irina B. Virbitskaite, V. A. Borovlev, Louchka Popova-Zeugmann
2016 J jnl
Controlling Petri Net Behavior using Priorities for Transitions.
Fundam. Informaticae
Irina A. Lomazova, Louchka Popova-Zeugmann
2015 — conf
Branching Processes of Timed Petri Nets.
Ershov Memorial Conference
Irina B. Virbitskaite, Victor Borovlyov, Louchka Popova-Zeugmann
2015 — conf
Controlling Petri Net Behavior Using Time Constraints.
CS&P
Irina A. Lomazova, Louchka Popova-Zeugmann
2015 — conf
Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation.
PNSE @ Petri Nets
Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann
2015 — conf
Time and Concurrency - Three Approaches for Intertwining Time and Petri Nets.
CS&P
Louchka Popova-Zeugmann
2014 J jnl
A Holistic State Equation for Timed Petri Nets.
Fundam. Informaticae
Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz
2014 — conf
Controlling Petri Net Behavior Using Priorities for Transitions.
CS&P
Irina A. Lomazova, Louchka Popova-Zeugmann
2014 — ed.
Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014.
CS&P
Louchka Popova-Zeugmann
2013 — conf
A Holistic State Equation for Timed Petri Nets.
CS&P
Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz
2013 — book
Time and Petri Nets.
Louchka Popova-Zeugmann
2012 J jnl
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays.
Fundam. Informaticae
Louchka Popova-Zeugmann, Elisabeth Pelz
2012 — ed.
Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012
CS&P
Louchka Popova-Zeugmann
2011 J jnl
Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks.
Nat. Comput.
Louchka Popova-Zeugmann
2010 J jnl
Time-independent Liveness in Time Petri Nets.
Fundam. Informaticae
Jörg Peter Bachmann, Louchka Popova-Zeugmann
2009 J jnl
Petri Nets with Time Windows: A Comparison to Classical Petri Nets.
Fundam. Informaticae
Jan-Thierry Wegener, Louchka Popova-Zeugmann
2005 J jnl
Extreme Runtimes of Schedules Modelled by Time Petri Nets.
Fundam. Informaticae
Louchka Popova-Zeugmann, Matthias Werner
2005 J jnl
Time Petri Nets for Modelling and Analysis of Biochemical Networks.
Fundam. Informaticae
Louchka Popova-Zeugmann, Monika Heiner, Ina Koch
2004 J jnl
A Method to Prove Non-Reachability in Priority Duration Petri Nets.
Fundam. Informaticae
Matthias Werner, Louchka Popova-Zeugmann, Jan Richling
2003 J jnl
Using State Equation to Prove Non-Reachability in Timed Petrinets.
Fundam. Informaticae
Louchka Popova-Zeugmann, Matthias Werner, Jan Richling
2002 A* conf
Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture.
ICRA
Jan Richling, Matthias Werner, Louchka Popova-Zeugmann
2002 J jnl
Verification of Non-functional Properties of a Composable Architecture with Petrinets.
Fundam. Informaticae
Jan Richling, Louchka Popova-Zeugmann, Matthias Werner
1999 J jnl
Analyzing Paths in Time Petri Nets.
Fundam. Informaticae
Louchka Popova-Zeugmann, Dirk Schlatter
1991 J jnl
On Time Petri Nets.
J. Inf. Process. Cybern.
Louchka Popova-Zeugmann
1989 — —
Zeit-Petri-Netze.
Louchka Popova-Zeugmann