Publikationen zur Theorie der Petri Netze

Humboldt-Universität zu Berlin, Institut für Informatik

Lomazova, I., Popova-Zeugmann, L.: "Controlling Petri Net Behavior using Priorities for Transitions", Fundamenta Informaticae (FI), IOS-Press, Amsterdam, vol. 143, no. 1-2, pp. 101-112, 2016, "DOI 10.3233/FI-2016-1306".

Lomazova, I., Popova-Zeugmann, L.: "Controlling Petri Net Behavior Using Time Constrains for Transitions" , Proceedings of the Workshop Concurrency, Specification & Programming'2015, ISBN 978-83-7996-181-8, pp. 19-33, Sept. 28 - 30, Rzeszow, Poland, 2015 or in "DOI: 10.13140/RG.2.1.5172.8086".

Borovlyov, V., Virbitskaite, I., Popova-Zeugmann, L.: "Branching Processes of Timed Petri Nets" , Proceedings of the Conference PSI: 10th Ershov Informatics Conference, 25 - 27 August 2015, Innopolis, Kazan, Russia, 2015.

Pelz, E., Kabouche, A., Popova-Zeugmann, L.: "Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation", Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), pp. 245-265 Brussels, Belgium, June 22-23, 2015, or in "ceur-ws.org/Vol-1372"

Lomazova, I., Popova-Zeugmann, L.: "Controlling Petri Net Behavior using Priorities for Transitions" , Proceedings of the Workshop Concurrency, Specification & Programming'2014, Sept. 29 - Oct. 1, 2014, pp. 126-137, 2014. or in "ceur-ws.org/Vol-1269"

Werner, M., Popova-Zeugmann, L., Haustein, M., Pelz, E.: "A Holistic State Equation for Timed Petri Nets", Fundamenta Informaticae (FI), DOI 10.3233/FI-2012-766, Volume 133, Number 2-3 / 2014, pp. 305-322, IOS-Press, Amsterdam, 2014.

Popova-Zeugmann, L.: "Time and Petri Nets" , DOI 10.1007/978-3-642-41115-1, Print ISBN 978-3-642-41114-4, Online ISBN 978-3-642-41114-1, Springer, November 2013.

Popova-Zeugmann, L., Pelz, E.: "Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays", Fundamenta Informaticae (FI), DOI 10.3233/FI-2012-766, Volume 120, Number 3-4 / 2012, pp. 341-357, IOS-Press, Amsterdam, 2012.

Zeugmann, S., Quante, A., Popova-Zeugmann, L., Kössler, W., Heuser, I., Anghelescu, I.: "Pathways Linking Early Life Stress, Metabolic Syndrome, and the Inflammatory Marker Fibrinogen in Depressed Inpatients", Psychiatria Danubina; Vol. 24, No. 1, pp 57-65, 2012.

Popova-Zeugmann, L., Pelz, E.: "State Equation for Interval-Timed Petri Nets" (Extended Abstract), Proceedings of the Workshop Concurrency, Specification & Programming'2011, Pultusk, Sept. 28 - 30 2011, Warsaw University , pp. 416-419, 2011. Full version submitted to Fundamenta Informaticae, Dez. 2011

Popova-Zeugmann, L., Pelz, E.: "Time-Lengths in Time Petri Net Models for Steady States in Biochemical Systems" (Extended Abstract), Proc. of MeCBIC 20011, Fontainebleau, 2011.

Popova-Zeugmann, L., Pelz, E.: "Studying Steady States in Biochemical Reaction Systems by Time Petri Nets" Proc. of BioPPN 2011, pp 71-86, Newcastle u/Tyne, GB, 2011 or in "ceur-ws.org/Vol-724."

Popova-Zeugmann, L.: "Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks" , Natural Computing, Springer Netherlands, http://dx.doi.org/10.1007/s11047-010-9211-3, pp. 1--27, 2010 and in Natural Computing, Springer Netherlands, Volume 10, Number 3, pp. 1017--1043, September 2011.

Bachmann, J.P., Popova-Zeugmann, L.: "Time-Independent Liveness in Time Petri Nets" (full text) Fundamenta Informaticae (FI), 101(2010), IOS-Press, Amsterdam.

Bachmann, J.P., Popova-Zeugmann, L.: "Time-Independent Liveness in Time Petri Nets" (Extended Abstract), Proceedings of the Workshop Concurrency, Specification & Programming'2009, Krakow, Sept. 28 - 30 2009, Warsaw University , Vol. 1, pp. 23-25, 2009.

Wegener, J., Collins, B., Popova-Zeugmann, L.:"Petri Nets with Time Windows: Possibilities and Limitations" , Proceedings of the International Workshop on Timing and Stochasticity in Petri nets and other models of concurrency TiSto'2009, Paris, France, June 23, 2009.

Wegener, J., Popova-Zeugmann, L.: "Petri Nets with Time Windows: A Comparison to Classical Petri Nets" , Fundamenta Informaticae (FI), 93(2009), pp 337-352, IOS-Press, Amsterdam, 2009.

Popova-Zeugmann, L.: "Modeling and Evaluating the Cdc2 and Cyclin Interactions in the Cell Division Cycle with Time Dependent Petri Nets - A Case Study (Extended Abstract)" , Proceedings of the Workshop Concurrency, Specification & Programming'2008, Gross Vaeter, Sept. 29 - Oct. 1, 2008, Vol. 3, pp. 418-421, 2008.

Wegener, J., Popova-Zeugmann, L.: "Petri Nets with Time Windows: A Comparison with Classical Petri Nets (Extended Abstract)" , Proceedings of the Workshop Concurrency, Specification & Programming'2008, Gross Vaeter, Sept. 29 - Oct. 1, 2008, Vol. 3, pp. 422-426, 2008.

Popova-Zeugmann, L., Heiner, M.: "Quantitative Evaluation of Time Petri Nets and Applications to Technical and Biochemical Networks" , Proceedings of the Workshop Concurrency, Specification & Programming'2007, Lagow, Sept. 27 - 29 2007, Warsaw University , Vol. 2, pp. 473-484, 2007.

Popova-Zeugmann, L.: "Zeit und Petrinetze" , Habilitationsschrift, Humboldt-Universität zu Berlin, 2007.

Popova-Zeugmann, L.: "Time Petri Nets State Space Reduction Using Dynamic Programming" , Journal of Control and Cybernetics, Volume 35, No. 3, pp. 721-748, 2006.

Popova-Zeugmann, L.: "A Memo on Computability in Time Petri Nets (Extended Abstract)" , Proceedings of the Workshop Concurrency, Specification & Programming'2005, Ruciane-Nida, Sept. 28 - 30 2005, Warsaw University , Vol. 2, pp. 412-419, 2005.

Popova-Zeugmann, L., Heiner, M., Koch,I.: "Time Petri Nets for Modelling and Analysis of Biochemical Networks" , Fundamenta Informaticae (FI), 67(2005), pp 149-162, IOS-Press, Amsterdam.

Popova-Zeugmann, L., Werner, M.: "Extreme Runtimes of Schedules Modelled by Time Petri Nets" , Fundamenta Informaticae (FI), 67(2005), pp 163-174, IOS-Press, Amsterdam.

Richling, J.,Werner, M., Popova-Zeugmann, L.: "A Formally-Proven Composable Architecture for Real-Time Systems" , in Proceedings of

WACERTS'04 at 25. IEEE International Real-Time Systems Symposium, Dec. 5-8, 2004, Lisbon, Portugal.

Popova-Zeugmann, L., Heiner, M., Koch, I.: "Modelling and Analysis of Biochemical Networks with Time Petri Nets" , Workshop Concurrency, Specification & Programming'2004, Caputh, Sept. 24 - 26, Informatik-Berichte der HUB Nr. 170, Vol. 1, pp. 136-143, 2004.

Popova-Zeugmann, L., Werner, M.: "Determining Worst-Case Times of Unknown Path in Time Petri Nets" , Workshop Concurrency, Specification & Programming'2004, Caputh, Sept. 24 - 26, Informatik-Berichte der HUB Nr. 170, Vol. 1, pp. 144-165, 2004.

Werner, M., Popova-Zeugmann, L., Richling, J.: "A Method to Prove Non-Reachability in Priority Duration Petrinets" , Fundamenta Informaticae (FI), 61(2004), pp 351-368, IOS-Press, Amsterdam.

Werner, M., Popova-Zeugmann, L., Richling, J.: "Non-Reachability in Priority Duration Petrinets" , Workshop Concurrency, Specification & Programming, Czarna 25-27 September 2003, Tagungsband, Warsaw University 2003, pp. 561-574.

Popova-Zeugmann, L., Werner, M., Richling, J.: "Using State Equation to Prove Non-Reachability in Timed Petrinets" , Fundamenta Informaticae (FI), 55(2003), 187-202, IOS-Press.

Popova-Zeugmann, L., Werner, M., Richling, J.: "A State Equation for Timed Petrinets" , Workshop Concurrency, Specification & Programming, Berlin, Tagungsband, 2002.

Richling, J., Werner, M., Popova-Zeugmann, L.: "Composing Timed Petrinet Specifications of a Composable System" , 2002 IEEE International Conference on Robotics and Automation, May 11 - 15, 2002, Washington D.C.

Richling, J., Popova-Zeugmann, L.,Werner, M.: "Verification of Non-functional Properties of a Composable Architecture with Petrinets , Fundamenta Informaticae (FI), 51(2002), 185-200, IOS-Press

Richling, J., Popova-Zeugmann, L., Werner, M.: "Composable Architecture with Petrinets" , Workshop Concurrency, Specification & Programming, Warschau, Tagungsband, 2001.

Popova-Zeugmann, L., Schlatter, D.: "Analyzing Path in Time Petri Nets" ,Fundamenta Informaticae (FI), 37(1999), 311-327, IOS-Press.

" BDDs und zeitabhängigen Petri-Netze", 5. Workshop Algorithmen und Werkzeuge für Petrinetze, Dortmund, Forschungsberichte des FB Informatik der Universität Dortmund, Forschungsbericht Nr. 694, 5-6 Oktober 1998.

"TINA - a tool for analyzing paths in TPNs" , Workshop Concurrency, Specification & Programming,September 28-30 1998, Informatik- Berichte der HUB Nr. 110, 1998.

"Essential States in Time Petri Nets", Informatik- Berichte der HUB Nr. 96, 1998 .

"On Parametrical Sequences in Time Petri Nets", Workshop Concurrency, Specification & Programming, Warschau, Tagungsband, 1997.

" Strukturelle Untersuchungen von Schaltsequenzen in zeitabhängigen Petri-Netzen", 4. Workshop Algorithmen und Werkzeuge für Petrinetze, Berlin, Informatik-Bericht Nr. 85, Oktober 1997.

Heiner, M., Popova-Zeugmann, L.: "On Integration of Qualitative and Quantitative Analysis of Manifacturing Systems Using Petri Nets", 42th IWK '97, Ilmenau, Sept 1997.

Heiner, M., Popova-Zeugmann, L.: "Worst-case Analysis of Concurrent Systems with Duration Interval Petri Nets" (new version), Informatik-Berichte der HUB Nr. 83, 1997.

Heiner, M., Popova-Zeugmann, L.: "Worst-case Analysis of Concurrent Systems with Duration Interval Petri Nets", Tagungsband zur 5. Fachtagung "Entwurf komplexer Automatisierungssysteme", TU Braunschweig, Institut für Regelungs- und Automatisierungstechnik, 21. bis 23. Mai 1997.

"On Liveness and Boundedness in Time Petri Nets", Workshop Concurrency, Specification & Programming, Warschau, Tagungsband, 1995.

"A New Diskrete Algorithm for the Computing a Reachability Graph of a weakly defined Time Petri Nets", 2. Workshop Algorithmen und Werkzeuge für Petrinetze, Oldenburg, Bericht Nr. AIS 22 - Oktober 1995.

"On Time Invariance in Time Petri Nets" (Part II), Informatik- Berichte der HUB Nr. 39, 1994.

"On Time Invariance in Time Petri Nets" (Part I), Workshop Concurrency, Specification & Programming, 1994, Informatik- Berichte der HUB Nr. 36, 1994.

"Petri nets with time restrictions", J. System Analysis Modelling Simulation, Volume 13, 1993.

"Petri-Netz-Anwendungen mit PAN/CPNA", Tagungsband zur 2. Fachtagung "Entwurf komplexer Automatisierungssysteme", TU Braunschweig, Institut für Regelungs- und Automatisierungstechnik, Mai 1992.

"On Time Petri Nets", J. Inform. Process. Cybern. EIK 27(1991) 4, 227-244, 1991.

"Zeit-Petri-Netze", Dissertation, HUB, 1989

"Zeit-Petri-Netze", wissenschaftliche Schriftenreihe der TU Karl-Marx-Stadt, 8/1987.

erstellt am < 30-10-94 > , zuletzt geändert am < Mi 7 Okt 2015 15:27:53 CEST >