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

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

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

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

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

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

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

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

     
    "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 Liveness and Boundedness in Time Petri Nets", Workshop Concurrency, Specification & Programming, Warschau, Tagungsband, 1995.

     
    Heiner, M., Popova-Zeugmann, L.: "Worst-case Analysis of Concurent 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.

     
    Heiner, M., Popova-Zeugmann, L.: "Worst-case Analysis of Concurent Systems with Duration Interval Petri Nets" (new version), Informatik- Berichte der HUB Nr. 83, 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.

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

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

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

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

     
    " 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.

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

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

     
    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.,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.

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

     
    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.

     
    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.

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

     

     

    erstellt am < 30-10-94 > , zuletzt geändert am < 29-09-2003 >