|
|
A-Netze - eine neue Modellierungstechnik für komplexe
Prozesse
|
|
|
Komplexe nebenläufige Prozesse zu modellieren und zu steuern, ist
eine der großen Herausforderungen der Informatik. Beispiele dafür
sind vielfältig - die Steuerung von Fertigungsanlagen, von Fahrzeugen
(Bahn-Stellwerke, U-Bahnen, Flugzeuge und normale Kraftfahrzeuge), die
automatische Verteilung von Fluggepäck oder auch die Koordinierung von
Bürovorgängen. |
|
A-Netze ermöglichen es, die betrachteten Prozesse ähnlich zu
strukturieren, wie es Menschen im täglichen Leben unbewußt tun.
Sie ähneln Petrinetzen mit zusätzlichen hierarchischen und
nichthierarchischen Strukturen, die aber auch noch bei sehr komlexen Modellen
intuitiv verständlich sind. Die neuen Schaltregeln ermöglichen
es auf einfache Weise, Sicherheitsbedingungen für die Prozesse zu
garantieren.
Es existiert ein Prototyp einer Programmierumgebung zum Entwickeln und
Ausführen der resultierenden Modelle. (In JAVA implementiert) Die A-Netze
können in dieser einheitlichen Umgebung sowohl zum Simulieren als auch
zum Steuern von realen Prozessen verwendet werden. |
|
Die Dokumentation von A-Netzen wird seit Mai 2001 nach und nach
veröffentlicht. Wir beginnen mit den FAQ auf Englisch.
Außerdem bauen wir eine Beispielsammlung auf.
|
|
Detaillierte Hinweise zur A-fair-Lizenz findet man beim A-fair-Service
www.a-fair.de |
|
Gern beantworten wir Fragen unter info@aspect-nets.de |
| A-Netz-Entwicklungsgruppe Last update: 01 May 01
|
Wolfgang Reinfeldt, Holger Bringmann, Hauke Duden, Jan-Eric Duden, Jochen Notholt. |