Louchka Popova-Zeugmann

According to our database, Louchka Popova-Zeugmann authored at least 23 papers between 1989 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Causality-Based Testing in Time Petri Nets.

Elena N. Bozhenkova, Irina B. Virbitskaite, Louchka Popova-Zeugmann

Proceedings of the Perspectives of System Informatics, 2019

2017

Controlling boundedness for live Petri nets.

Irina A. Lomazova, Louchka Popova-Zeugmann, Arthur Bartels

Proceedings of the 4th International Conference on Control, 2017

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 Petri Net Behavior using Priorities for Transitions.

Irina A. Lomazova, Louchka Popova-Zeugmann

Fundam. Informaticae, 2016

2015

Branching Processes of Timed Petri Nets.

Irina B. Virbitskaite, Victor Borovlyov, Louchka Popova-Zeugmann

Proceedings of the Perspectives of System Informatics, 2015

Time and Concurrency - Three Approaches for Intertwining Time and Petri Nets.

Louchka Popova-Zeugmann

Proceedings of the 24th International Workshop on Concurrency, 2015

Controlling Petri Net Behavior Using Time Constraints.

Irina A. Lomazova, Louchka Popova-Zeugmann

Proceedings of the 24th International Workshop on Concurrency, 2015

Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation.

Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

A Holistic State Equation for Timed Petri Nets.

Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz

Fundam. Informaticae, 2014

2013

Time and Petri Nets.

Louchka Popova-Zeugmann

Springer, ISBN: 978-3-642-41114-4, 2013

2012

Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays.

Louchka Popova-Zeugmann, Elisabeth Pelz

Fundam. Informaticae, 2012

2011

Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks.

Louchka Popova-Zeugmann

Nat. Comput., 2011

2010

Time-independent Liveness in Time Petri Nets.

Jörg Peter Bachmann, Louchka Popova-Zeugmann

Fundam. Informaticae, 2010

2009

Petri Nets with Time Windows: A Comparison to Classical Petri Nets.

Jan-Thierry Wegener, Louchka Popova-Zeugmann

Fundam. Informaticae, 2009

2005

Extreme Runtimes of Schedules Modelled by Time Petri Nets.

Louchka Popova-Zeugmann, Matthias Werner

Fundam. Informaticae, 2005

Time Petri Nets for Modelling and Analysis of Biochemical Networks.

Louchka Popova-Zeugmann, Monika Heiner, Ina Koch

Fundam. Informaticae, 2005

2004

A Method to Prove Non-Reachability in Priority Duration Petri Nets.

Matthias Werner, Louchka Popova-Zeugmann, Jan Richling

Fundam. Informaticae, 2004

2003

Using State Equation to Prove Non-Reachability in Timed Petrinets.

Louchka Popova-Zeugmann, Matthias Werner, Jan Richling

Fundam. Informaticae, 2003

2002

Verification of Non-functional Properties of a Composable Architecture with Petrinets.

Jan Richling, Louchka Popova-Zeugmann, Matthias Werner

Fundam. Informaticae, 2002

Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture.

Jan Richling, Matthias Werner, Louchka Popova-Zeugmann

Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

1999

Analyzing Paths in Time Petri Nets.

Louchka Popova-Zeugmann, Dirk Schlatter

Fundam. Informaticae, 1999

1991

On Time Petri Nets.

Louchka Popova-Zeugmann

J. Inf. Process. Cybern., 1991

1989

Zeit-Petri-Netze.

Louchka Popova-Zeugmann

PhD thesis, 1989