Status der Projekte zu Petri-Netzen

Stand: 30.03.2004
 
Nummer Thema Bearbeiter Pflichtenheft Spezifikation Programm Dokumentation Abnahme
1 Stellen-/Transitions-Netze Pfumfel x x x x  x 
2 B/E -Systeme  Peitzsch, Schmidt  x x x  x  x
3 Automaten und Petri-Netze 
3 a Übergang Automat/Petri-Netz Wiesenmüller, Dannhauer x x x x x
3 b Übergang Petri-Netz/Automat Horn, Kreuz x x x x x
4  Kausalnetze und Prozesse  Heller  x  x x x  x 
5  Beschränkte Netze 
5 a  Sicherheit  Hartzend./Kessler
Bendo./Esad Djou		 x 
x		 x
x		 x
x		 o
x		 o
x
5 b  Lebendigkeit  Große, Brutschy  x  x  x x  x 
6  Überdeckbarkeitsgraphen  Hellich, Stolle  x  x x  x x 
7  Free-choice-Netze
7 a  Netz-Überdeckungen  Endrullis, Lokaiczyk  x  x  x  x  x
7 b  Deadlocks und Fallen  Liebscher, Maßmann  x  x  x x x
8  Netzklassen  Wende  x  x  x  x  x
9  Verallgemeinerte Petri-Netze
9 a  Schaltverhalten  Stöhr x  x  x  x x 
9 b  Simulation durch einf. Netze  Freytag, Heinze  x  x  x  x  x 
10  Petri-Netz-Sprachen  Buck, Schubert  x  x  x x x 
11  Netzinvarianten  Bohse, Ranisch x  x  x  x  x 
11 a  S-Invarianten  Meyer, Sobolyev  x  x  x  x  x 
11 b  T-Invarianten  Bohse, Ranisch
Pleißner		 x 
x		 x 
x		 x 
x		 x
x		 x 
x
12  Netzanwendungen  Fischer  x  x  x  x x 
12 a  Schaltwerke  Landzyk, Kara 
Gottwald/Gwizdziel		 o
x		 o
x		 o
x		 o
x		 o
x
12 b  Produktionssysteme  Süß, Rudert  x  x  x  x  x 
12 c  Kommunikationssysteme  Schliebs, Heine  x  x  x x  x 
13  Gefärbte Netze 
13 a  gefärbte Marken  Fellmann, Weißenborn  x  x  x  x  x 
13 b  gefärbte Transitionen  Schens, Bärthel  x  x  x  x  x 
14  Hierarchische Netze
14 a  Komposition  Weber, Glomb  x  x  x  x  x 
14 b  Dekomposition  Lehmann, Jung  o  o  o  o  o 
15  Zeitbewertete Netze 
15 a  zeitbewertete Plätze  Schneider, Pätzold  x  x  x  x  x 
15 b  zeitverzögerte Transitionen Riemer, Adelberg  o o o  o  o 
21 Gefärbte Netze 
21 a  Faltung Heinze, Freytag  x  x x  x  x 
21 b  Entfaltung Grinsteyn, Krieger  x  x x  x  x
22 Relationen/Transitions-Netze 
22 a  Relationen-Marken Heine, Ramsch  x  x x  x  x 
22 b  Algebren-Marken Dannhauer, Wiesenmüller  x  x x x  x 
23 Timer-Netze 
23 a  Verzögerungen und Speicherverhalten Meyer , Buck x  x x  x  x 
23 b  Netzzeit Schneider, Pätzold  x x x  x  x
23 c  Transitionszeit Schmidt, Peitzsch  x x x  x  x 
24 Hierarchische Netze 
24 a  Graphik u. Simulation Schumann x  x x  o  o 
24 b  Dekomposition Prager, Niedermann  x  o o  o  o 
25 Erweiterte Netze 
25 a  Netze mit Verbotskanten Slovine, Selesnjev  x  x x  x  x 
25 b  Netze mit Abräumkanten Paech, Rudert  x x x  x  x 
25 c  Netze mit markengesteuerten Kantengewichten Lehmann, Helmstedt  x x x  x  x 
26 Skriptum 
26 a  Teil 1 Sobolyev  x  x - x  x 
26 b  Teil 2 Groß  x x - x  x 
  27              Überdeckungsgraph                   Grinsteyn, Kubilius    x                     x                     x                 x                          x
zurück zu den Projektthemen