Petri-Netze

2005

Zusammenfassung. Abläufe lassen sich durch Graphen darstellen. Beispiele für Abläufe aus dem alltäglichen Leben sind Geschäftsvorgänge und Computer-Kommunikation. Sie enthalten einzelne, wohlunterscheidbare Ereignisse oder Aktivitäten, bei denen Informationen erzeugt, benutzt, oder verändert werden. Desweiteren gibt es Bedingungen, die für diese Ereignisse notwendig oder hinreichend sind, damit sie stattfinden. Die Ereignisse können jeweils voneinander abhängig sein, unabhängig nebeneinander stattfinden oder unvorhersehbar eintreten. Diese Eigenschaften lassen sich mit Petrinetzen formal darstellen. Sie sind eine Modellierungssprache, die für verschiedene Ebenen der Abstraktion verwendet wird. Einfache Vertreter sind das B/E-und S/T-System. Mit Petrinetzen beschreiben wir nichtsequenzielle, verteilte Systeme, die Darstellung von Kontroll-und Datenfluss, kausale Abhängigkeiten, Nichtdeterminismus und Nebenläufigkeit. Unter Verwendung von Petrinetzen werden Systemeigenschaften nachgewiesen und Korrektheitsbeweise durchgeführt.

Das erfolgreiche Management von über-und innerbetrieblichen logistischen Geschäftsprozessen stellt insbesondere bei der Realisierung von komplexen Logistikprojekten einen kritischen Erfolgsfaktor dar. Zur Unterstützung des Managements von Geschäftsprozessen in Supply Chains bedarf es einer strukturierten Modellierung, Analyse und Kontrolle der relevanten Geschäftsprozesse. XML-Netze, eine Variante höherer Petri-Netze, bieten dabei durch die Unterstützung der Modellierung und Manipulation strukturierter Prozessobjekte ein besonderes Einsatzpotenzial. Im Rahmen des Beitrags werden die Architektur, die Implementierungsaspekte und das Einsatzpotenzial des prototypisch implementierten Softwarewerkzeuges "INCOME2010" auf der Basis von XML-Netzen vorgestellt, welches das Geschäftsprozessmanagement in Supply Chains unterstützt.

MBMV, 2004

TEUBNER-TEXTE zur Informatik, 1998

, mit dem ich lange Zeit Free-Choice-Netze untersucht habe, RolfWalter, Wolfgang Reisig und Ekkart Kindier, mit denen ich verteilte Algorithmen modelliert und verifiziert habe, sowie Micaela Radola und Klaus-Peter Neuendorf, die mit mir die Ergebnisse zu Modulo-Invarianten verfaBt haben. All cliesen Kollegen und FrellIlden möchte ich danken. Vorwort 7 Im wesentlichen stammen die Kapitel dieses Buches aus meiner Habilitationsschrift an der Humboldt-Universität in Berlin. Ergänzungen betreffen Beispiele in den ersten Kapiteln und das gesamte Kapitel 6. Ich danke den Gutachtern,

Informatik-Fachberichte, 1991

itit, 1995

'Selbstorganisation lässt sich im Internet anhand einiger, teilweise im Verborgenen oder unter eingeschränkter Aufmerksamkeit der Öffentlichkeit operierender Vereinigungen wie z.B. Hackern, Programmierern oder Online-Computerspielern nachzeichnen. Dieser Beitrag führt in Kulturen der virtuellen Zusammenarbeit von privilegierten, mit hohen sozialen und technischen Kompetenzen ausgestatteten InternetnutzerInnen ein und versucht dabei auszuloten, welchen Einfluss technische Beschaffenheiten von Computersystemen, soziale Kosten der Teilnahme und Kompetenzen der Nutzerinnen auf die Möglichkeiten der Selbstorganisation haben. Den Einstieg bereitet ein Lehr-Experiment zu 'Dantes Inferno' an einer virtuellen Universität.' (Autorenreferat)

2021

Ein Basar hat viele Facetten: Er ist Ort der (Ver-)handlung und Ort der Suche, von Proust bis Indiana Jones, er bietet Raum für das Feilschen und Tauschen und erweist sich dabei allzu leicht als Netz eifriger Fischer*innen, in das wir gegangen sind. Gar manches landet hier in den Waagschalen, anderes fällt daneben, wenn orientalische Potentaten sich als platonische Philosophenkönige gerieren. Hinter jeder dieser Assoziationen verbirgt sich eine Facette kritischer Philosophie, wie wir mit besonderem Blick auf Anders und Arendt ergründen wollen. Das Netz als Basar wird so zum Topos des digitalen Humanismus, ein soziales Gewebe aus diversen Fasern, mal feiner und mal gröber versponnen. Können sie, so sie denn dicht genug greifen, als fliegender Teppich ins Bodenlose tragen? Und stell dir vor, es ist Teppich und keiner steht drauf...