Former Group Member (02/1997 - 06/2003)

Michael Weber

Research associate at the Lehrstuhl Theory of Programming group

E-Mail michael.weber@dlr.de

Lebenslauf

1968 born in Mühlhausen (Thüringen)
1986 Abitur
Okt. 1986 - Aug. 1989 military service
Sep. 1989 - Sep. 1992 study of informatics in Karl-Marx-Stadt/ Chemnitz
Okt. 1992 - Jan 1997 study of informatics at Humboldt-Universität zu Berlin
Feb. 1997 - Jun. 2003 research assistant at the chair
Dez. 2002 Ph. D.
seit Jul. 2003 scientific adminstrator at the Project Management Agency of the DLR

Lehrveranstaltungen

alt

  • seminar on „Workflow - Theorie und Anwendung“ (summer 1999)
  • seminar on „Scientific publications with LaTeX“ (winter 2000/2001)
  • exercises on „Applied informatics I“ (winter 2000/2001)

Forschungsschwerpunkte

Publikatios

  • E. Kindler, M. Weber: \\Modules in Pictures. In: Petri Net Newsletter 61, pages 5-8, 2001
  • M. Weber: \\Die Petrinetz-Schaltregel in 4 Phasen. Zusammenfassung. In: G. Juhás and R. Lorenz (eds.): 8. Workshop Algorithmen und Werkzeuge für Petrinetze, Katholische Universität Eichstätt, October 2001.
  • E. Kindler, M. Weber:
    The Petri Net Kernel - An Infrastructure for Building Petri Net Tools. In: Software Tools for Technology Transfer (STTT) 3(4), pages 486-497, September 2001
  • M. Weber:
    Tool Support for Various Types of Petri Nets. In: H. Weber, H. Ehrig, and W. Reisig (eds.): 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems. pages 171-177, Fraunhofer Gesellschaft ISST, Berlin, September 2001.
  • M. Weber:
    The new Petri Net Kernel. In: Tool Demonstrations, Newcastle upon Tyne, U.K., 22nd ICATPN. June 2001. - see Petri Net Kernel for further details
  • C. Ermel, M. Weber: \\Implementation of Parameterized Net Classes with the Petri Net Kernel „Petri Net Baukasten“. In: H. Ehrig, G. Juhás, J. Padberg, and G. Rozenberg (eds.): Unifying Petri Nets. vol. 2128 in Lecture Notes in Computer Science, pages 79-102. Springer 2001.
  • E. Kindler, M. Weber:
    A Universal Module Concept for Petri Nets. An Implementation-Oriented Approach. Informatik-Bericht 150, HU Berlin, 2001.
  • M. Jüngel, E. Kindler, M. Weber:
    The Petri Net Markup Language. In: Petri Net Newsletter 59, pages 24-29, 2000. see Petri Net Markup Language for further details
  • M. Jüngel, E. Kindler, M. Weber:
    The Petri Net Markup Language. In: S. Philippi (ed.): 7. Workshop Algorithmen und Werkzeuge für Petrinetze, Universität Koblenz-Landau, pages 47-52, June 2000. see Petri Net Markup Language for further details
  • M. Weber:
    An XML-based Approach towards an Interchange Format for Petri Nets (Extended Abstract). In: H.-D. Burkhard, L. Czaja, A. Skowron, P. Starke (eds.): Workshop Concurrency, Specification & Programming. Informatik-Berichte 140, HU Berlin, pages 351-353, October 2000.
  • M. Jüngel, E. Kindler, M. Weber:
    Towards a Generic Interchange Format for Petri Nets. In: R. Bastide, J. Billington, E. Kindler, F. Kordon, and K. H. Mortensen (eds.): Meeting on XML/SGML based Interchange Formats for Petri Nets. pages 1-5, Århus, Denmark, 21st ICATPN. June 2000.see Petri Net Markup Language for further details
  • E. Kindler, M. Weber:
    The Petri Net Kernel. In: Kjeld Høyer Mortensen (ed.): Tool Demonstrations, pages 71-75, Århus, Denmark, 21st ICATPN. June 2000. see Petri Net Kernel for further details
  • DFG-Forschergruppe Petri Net Technology:
    Initial Realization of the »Petri Net Baukasten«. Informatik-Bericht 129, HU Berlin, 1999.
  • M. Weber:
    The Tool Developer View of the Petri Net Baukasten. In: H. Weber, H. Ehrig, and W. Reisig (eds.): Colloquium on Petri Net Technologies for Modelling Communication Based Systems. pages 267-277, Fraunhofer Gesellschaft ISST, Berlin, October 1999.
  • E. Kindler, T. Vesper, and M. Weber:
    Application-Oriented Verification Scenarios. In: H. Weber, H. Ehrig, and W. Reisig (eds.): Colloquium on Petri Net Technologies for Modelling Communication Based Systems. pages 279-297, Fraunhofer Gesellschaft ISST, Berlin, October 1999.
  • M. Weber:
    Der Petrinetz-Würfel im Petrinetz-Kern. In: J. Desel, A. Oberweis (Hrsg.): 6. Workshop Algorithmen und Werkzeuge für Petrinetze. S. 69-74, J. W. Goethe-Universität Frankfurt/Main, Institut für Wirtschaftsinformatik, Oktober 1999.
  • T. Vesper und M. Weber:
    Automatisches Verteiltes Rücksetzen. In: K. Spies, B. Schätz (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme. 9. GI/ITG Fachgespräch, München, Juni 1999.
  • E. Kindler and M. Weber:
    The Petri Net Kernel: An Infrastructure for Building Petri Net Tools. In: Petri Nets '99. 20th International Conference on Application and Theory of Petri Nets. Petri Net Tool Presentations, Williamsburg, USA, June 1999.
  • E. Kindler and M. Weber:
    The Petri Net Kernel - Documentation of the Application Interface, Revision 2.0. January 1999.
  • T. Vesper and M. Weber:
    Structuring with Distributed Algorithms (Extended Abstract). In: H.-D. Burkhard, L. Czaja, P.Starke (Eds.): Workshop Concurrency, Specification & Programming. Informatik-Berichte 110, HU Berlin, pages 268-276, September 1998. Revised version
  • E. Kindler and M. Weber:
    The Dimensions of Petri Nets: The Petri Net Cube. In: Bulletin of EATCS 66, pages 155-166, October 1998.
  • E. Kindler and M. Weber:
    The Petri Net Kernel. Revision 1.1. 1998
  • T. Vesper und M. Weber:
    Validierung eines Petrinetz-basierten Steuerungssystems. Informatik-Bericht 100, HU Berlin, 1998.
  • J. Hauptmann, B. Hohberg, E. Kindler, I. Schwenzer und M. Weber:
    Der Petrinetz-Kern. Version 1.0. Dokumentation der Anwendungsschnittstelle. Informatik-Bericht 98, HU Berlin, 1998
  • M. Weber, R. Walter, H. Völzer, T. Vesper W. Reisig, S. Peuker, E. indler, J. Freiheit und J. Desel:
    DAWN: Petrinetzmodelle zur Verifikation Verteilter Algorithmen. Informatik-Bericht 88, HU Berlin, 1997. Errata zu DAWN
  • M. Weber:
    Der Petrinetz-Kern - Eine Aufteilung in Invariantes und Variables. In: J. Desel, E. Kindler und A. Oberweis (Hrsg.):
    4. Workshop Algorithmen und Werkzeuge für Petrinetze. Informatik-Bericht 85, HU Berlin, 1997.
  • M. Weber:
    CASSY: Einige Gründe zur Verwendung von Petrinetzen. In: H. Ehrig, W. Reisig und H. Weber (Hrsg.): Move-On-Workshop der DFG-Forschergruppe PNT, Forschungsberichte des FB Informatik 97-21, S. 167-173, TU Berlin, 1997.
  • C. Ermel, M. Gajewski, T. Vesper und M. Weber:
    Verifikation strukturierter Netze. In: H. Ehrig, W. Reisig und H. Weber (Hrsg.): Move-On-Workshop der DFG-Forschergruppe PNT, Forschungsberichte des FB Informatik 97-21, S. 53-75, TU Berlin, 1997.
  • M. Weber:
    unless-Aspekte und ihr Beitrag zur Verifikation von mit Petrinetzen modellierten Systemen. Diplomarbeit, HU Berlin, 1997.
  • M. Weber:
    Überlegungen zur Sachkompetenz von Informatikerinnen und Informatikern. Studienarbeit, HU/TU Berlin, 1996.