@article{SmarslyHartmannRueppeletal.,
  author    = {Smarsly, Kay and Hartmann, Timo and R{\"u}ppel, Uwe and K{\"o}nig, Markus},
  title     = {Positionspapier des Arbeitskreis Bauinformatik},
  editor    = {Smarsly, Kay},
  doi       = {10.25643/bauhaus-universitaet.3221},
  url       = {http://nbn-resolving.de/urn:nbn:de:gbv:wim2-20170523-32219},
  pages     = {5},
  abstract  = {Die Bauinformatik ist eine S{\"a}ule der modernen Bau- und Umweltingenieurwissenschaften und befasst sich mit der Erforschung grundlegender informatorischer Methoden sowie mit der Anwendung und Weiterentwicklung der Informationswissenschaften im Bau- und Umweltbereich. Der Arbeitskreis Bauinformatik konstituiert sich aus Wissenschaftlern, die an Universit{\"a}ten im deutschsprachigen Raum auf dem Fachgebiet Bauinformatik lehren und forschen. Ausgehend vom erreichten Entwicklungsstand der Bauinformatik skizziert dieses Positionspapier die Aufgaben des Arbeitskreises und formuliert eine Grundlage f{\"u}r eine abgestimmte Weiterentwicklung an den deutschsprachigen Universit{\"a}ten.},
  subject      = {Bauinformatik},
  language  = {de}
}
@inproceedings{Koenig2000,
  author    = {K{\"o}nig, Markus},
  title     = {Planung und Steuerung von Arbeitsvorg{\"a}ngen mit Hilfe von Petri--Netzen},
  doi       = {10.25643/bauhaus-universitaet.600},
  url       = {http://nbn-resolving.de/urn:nbn:de:gbv:wim2-20111215-6005},
  year      = {2000},
  abstract  = {Diskrete Arbeitsvorg{\"a}nge lassen sich mit Hilfe von Petri--Netzen formal beschreiben. Petri--Netze basieren auf der Graphentheorie. Die Elemente zweier Knotenmengen werden Stellen und Transitionen genannt und sind durch gerichtete Kanten miteinander verkn{\"u}pft. Stellen repr{\"a}sentieren Bedingungen oder Zust{\"a}nde und Transitionen Ereignisse oder Vorg{\"a}nge. Durch Petri--Netze ist es m{\"o}glich nicht nur eine statische Vorg{\"a}nger--Nachfolger--Struktur abzubilden, vielmehr k{\"o}nnen ebenso Ereignisse, Alternativen und Nebenl{\"a}ufigkeiten modelliert werden. In diesem Beitrag wird vorgestellt, wie ein Bauablauf gegeben durch ein Vorgangsknoten-Netzplan mit sehr wenigen Schritten auf ein Bedingungs/Ereignis-Netz abgebildet werden kann. Alle notwenigen Teilschritte wie das Bilden von Teilnetzen oder das Vergr{\"o}bern und Verfeinern von Knoten basieren auf einem mathematisch abgesicherten Fundament. Im Gegensatz zu anderen Formulierungen von Bauabl{\"a}ufen ist die Theorie der Petri-Netze eine allgemeing{\"u}ltige Theorie und kann in vielen Bereichen eingesetzt werden. Die Verwendung einer solchen mathematischen Abstraktion erm{\"o}glicht die Wiederverwendung von bereits entwickelten L{\"o}sungsans{\"a}tzen. So k{\"o}nnen die gewonnenen Erfahrungen auch bei der Modellie-rung von anderen Arbeitsvorg{\"a}ngen verwendet werden.},
  subject      = {Prozessoptimierung},
  language  = {de}
}
@inproceedings{KoenigKlingerBerkhahn2004,
  author    = {K{\"o}nig, Markus and Klinger, Axel and Berkhahn, Volker},
  title     = {Structural Correctness of Planning Processes in Building Engineering},
  doi       = {10.25643/bauhaus-universitaet.169},
  url       = {http://nbn-resolving.de/urn:nbn:de:gbv:wim2-20111215-1690},
  year      = {2004},
  abstract  = {The planning of projects in building engineering is a complex process which is characterized by a dynamical composition and many modifications during the definition and execution time of processes. For a computer-aided and network-based cooperation a formal description of the planning process is necessary. In the research project "Relational Process Modelling in Cooperative Building Planning" a process model is described by three parts: an organizational structure with participants, a building structure with states and a process structure with activities. This research project is part of the priority program 1103 "Network-Based Cooperative Planning Processes in Structural Engineering" promoted by the German Research Foundation (DFG). Planning processes in civil engineering can be described by workflow graphs. The process structure describes the logical planning process and can be formally defined by a bipartite graph. This structure consists of activities, transitions and relationships between activities and transitions. In order to minimize errors at execution time of a planning process a consistent and structurally correct process model must be guaranteed. This contribution considers the concept and the algorithms for checking the consistency and the correctness of the process structure.},
  subject      = {Baubetrieb},
  language  = {de}
}