Ehemaliger Mitarbeiter (02/1997 - 06/2003)

	Michael Weber wissenschaftlicher Mitarbeiter am Lehrstuhl Theorie der Programmierung
E-Mail	michael.weber@dlr.de

Lebenslauf

1968	geboren in Mühlhausen (Thüringen)
1986	Abitur
Okt. 1986 - Aug. 1989	Armeedienst
Sep. 1989 - Sep. 1992	Studium der Informatik in Karl-Marx-Stadt/ Chemnitz
Okt. 1992 - Jan 1997	Studium der Informatik an der Humboldt-Universität zu Berlin
Feb. 1997 - Jun. 2003	wissenschaftlicher Mitarbeiter am Lehrstuhl
Dez. 2002	Promotion
seit Jul. 2003	wissenschaftlicher Mitarbeiter im Projektträger im DLR

Lehrveranstaltungen

alt

• Seminar "Workflow - Theorie und Anwendung" (SS 1999)
• Proseminar "Wissenschaftliches Publizieren mit LaTeX" (WS 2000/2001)
• Übungen zur Vorlesung "Praktische Informatik I" (WS 2000/2001)

Forschungsschwerpunkte

• Werkzeugunterstützung des Lehrstuhls
• Petrinetz-Kern
• Petri Net Markup Language

Publikationen

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.

zurück zur Liste der Mitarbeiter