Wikipedia - Benutzerbeiträge [de]

Jumenbao

2004-12-22T09:01:52Z

202.99.60.155:

Jumenbu([[Traditional Chinese|TC]]: 拒門堡; [[Simplified Chinese|SC]]: 拒门堡, [[Pinyin]]: jùménbǔ), is a fortress of [[Ming Great Wall]] Shanxi Section, located in Datong city in Shanxi province。

Jumenbu is a fortress for guarding the [[Great Wall of China]], and it is a part of the Great Wall defence system. Jumenbu is situated in a brae 2.5 km away from the Great Wall. It is designed to defend against invasion and harry the nomads of Mongolia. The original name is Jumengbu, which means a fortress used to resist the Mongolia, and was renamed afterwards.

The fortress is not big, and has only a gate on the east with wengcheng (barbican entrance to the fortress) on the east. The wall is built from earth with bricks on the surface.

[[zh:拒门堡]]

[[Category:Great Wall of China]]

{{stub}}

Jumenbao

2004-11-08T02:18:06Z

202.99.60.155:

{{cleanup}}
Jumenbu([[Traditional Chinese|TC]]: 拒門堡; [[Simplified Chinese|SC]]: 拒门堡, [[Pinyin]]: jùménbǔ), is a fortress of [[Ming Great Wall]] Shanxi Section, located in Datong city in Shanxi province。

Jumenbu is a fortress for guarding the [[Great Wall]], and it a part of Great Wall defence system. Jumenbu situated in a brae 2.5 km away from the Great Wall. It is designed to defence the invasion and harry of nomad of Mongolia. The original name is Jumengbu, which means a fortress used to resist the Mongolia, and renamed afterward.

The fortress is not big, and has only a gate on the east with wengcheng (barbican entrance to the fortress) on the east. The wall is build from earth with bricks on the surface.

[[zh:拒门堡]]

[[Category:Great Wall]]

{{stub}}

Jumenbao

2004-11-05T03:29:06Z

202.99.60.155:

{{cleanup}}
Jumenbu([[Traditional Chinese|TC]]: 拒門堡; [[Simplified Chinese|SC]]: 拒门堡, [[Pinyin]]: jùménbǔ), is a fortress of [[Ming Great Wall]] Shanxi Section, located in Datong city in Shanxi province。

Jumenbu is a fortress for guarding the [[Great Wall]], and it a part of Great Wall defence system. Jumenbu situated in a brae 2.5 km away from the Great Wall. It is designed to defence the invasion and harry of nomad of Mongolia. The original name is Jumengbu, which means a fortress used to resist the Mongolia, and renamed afterward.

The fortress is not big, and has only a gate with wengcheng (barbican entrance to the fortress) on the east. The wall is build from earth with bricks on the surface.

[[zh:拒门堡]]

[[Category:Great Wall]]

{{stub}}

Jumenbao

2004-11-05T03:22:50Z

202.99.60.155:

Jumenbu([[Traditional Chinese|TC]]: 拒門堡; [[Simplified Chinese|SC]]: 拒门堡, [[Pinyin]]: jùménbǔ), is a fortress of [[Ming Great Wall]] Shanxi Section, located in Datong city in Shanxi province。

Jumenbu is a fortress for guarding the [[Great Wall]], and it a part of Great Wall defence system. Jumenbu situated in a brae 2.5 km away from the Great Wall. It is designed to defence the invasion and harry of nomad of Mongolia. The orinal name is Jumengbu, which means a fortress used to resist the Mongolia, and renamed afterward.

The fortress is not big, and has only a gate with wengcheng (barbican entrance to the fortress) on the east. The wall is build from earth with bricks on the surface.

[[zh:拒门堡]]

[[Category:Great Wall]]

{{stub}}

Jumenbao

2004-11-05T03:20:57Z

202.99.60.155:

Jumenbu([[Traditional Chinese|TC]]: 拒門堡; [[Simplified Chinese|SC]]: 拒门堡, [[Pinyin]]: jùménbǔ), is a fortress of [[Ming Great Wall]] Shanxi Section, located in Datong city in Shanxi province。

Jumenbu is a fortress for guarding the [[Great Wall]], and it a part of Great Wall defence system. Jumenbu situated in a brae 2.5 km away from the Great Wall. It is designed to defence the invasion and harry of nomad of Mongolia. The orinal name is Jumengbao, which means a fortress used to resist the Mongolia, and renamed afterward.

The fortress is not big, and has only a gate with wengcheng (barbican entrance to the fortress) on the east. The wall is build from earth with bricks on the surface.

[[zh:拒门堡]]

[[Category:Great Wall]]

{{stub}}

Jumenbao

2004-11-05T03:12:48Z

202.99.60.155:

Jumenbu(拒门堡) is a fortress of [[Ming Great Wall]] Shanxi Section, located in Datong city in Shanxi province。

Jumenbu is a fortress for guarding the [[Great Wall]], and it a part of Great Wall defence system. Jumenbu situated in a brae 2.5 km away from the Great Wall. It is designed to defence the invasion and harry of nomad of Mongolia. The orinal name is Jumengbao, which means a fortress used to resist the Mongolia, and renamed afterward.

The fortress is not big, and has only a gate with wengcheng (barbican entrance to the fortress) on the east. The wall is build from earth with bricks on the surface.

[[zh:拒门堡]]

[[Category:Great Wall]]

{{stub}}

Jumenbao

2004-11-05T03:07:03Z

202.99.60.155:

Jumenbu(拒门堡) is a fortress of Ming Great Wall Shanxi Section, Located in Datong city in Shanxi province。

Jumenbu is a fortress for guarding the Great Wall, and it a part of Great Wall defence system. Jumenbu situated in a brae 2.5 km away from the Great Wall. It is designed to defence the invasion and harry of nomad of Mongolia. The orinal name is Jumengbao, which means a fortress used to resist the Mongolia, and renamed afterward.

The fortress is not big, it has a gate with wengcheng (barbican entrance to the fortress) on the east.

Petri-Netz

2004-10-26T11:29:19Z

202.99.60.155:

[[Bild:einfaches_petrinetz.png|right|Einfaches Petrinetz]]

Ein '''Petri-Netz''' ist eine mathematische [[Repräsentation]] von [[verteiltes System|verteilten Systemen]].

Petri-Netze wurden durch [[Carl Adam Petri]] in den [[1960er]] Jahren definiert. Sie verallgemeinern wegen der Fähigkeit, [[Nebenläufigkeit|nebenläufige]] [[Ereignis]]se darzustellen, die [[Automatentheorie]].

Ein Petri-Netz besteht aus Systemzuständen (''Stellen''), [[Übergang|Übergängen]] (''Transitionen'') und gerichteten Kanten zwischen Stellen und Transitionen, die diese miteinander verbinden.
Eine [[Linie]] bzw. [[Bogen (Geometrie)|Bogen]] verbindet eine Stelle mit einem Übergang und umgekehrt.
Es gibt keine direkten [[Verbindung]]en – weder zwischen zwei Stellen, noch zwischen zwei Übergängen.
Stellen dürfen beliebig viele ''[[Token (Petri-Netz)|Token]]'', Marken bzw. [[Zeichen]] enthalten.
Wenn Übergänge ausgelöst werden, werden Zeichen von den [[Eingabeposition]]en verarbeitet und in [[Ausgabeposition]]en erzeugt.
Ein Übergang ist ''aktiviert'', wenn es Zeichen in jeder Eingabeposition gibt.

Die Zeichen eines Petri-Netzes sind in ihrer einfachsten Form voneinander nicht unterscheidbar.
Komplexere Petri-Netze ergänzen [[Zeicheneinfärbung]], [[Aktivierungszeit]] und [[Hierarchie]] zum [[Netzwerk]].

Die ursprüngliche Form der Petri-Netze nennt man auch Bedingungs-/Ereignissnetz. [[Endlicher Automat]] und Bedingungs-/Ereignissnetze sind gleichmächtig.

==Wichtige Begriffe==
'''Lebendigkeit:'''
* Ein Petri-Netz ist stark lebendig, falls jede Transition von jeder aus der Startmarkierung erreichbaren Markierung über eine bestimmte Schaltsequenz aktiviert werden kann.
* Ein Petri-Netz ist schwach lebendig, falls aus jeder erreichbaren Markierung eine Transition aktiviert werden kann.
* Eine Transition ist tot, wenn sie nie mehr schaltbereit wird
* Eine Transition ist aktivierbar, wenn sie noch mindestens 1x schaltbereit werden kann
* Eine Transition ist lebendig, wenn sie immer wieder schaltbereit werden kann

'''Erreichbarkeit:''' Eine Markierung eines Petri-Netzes heißt erreichbar, wenn es eine Schaltsequenz der Transitionen gibt, welche die Startmarkierung in diese Markierung überführt.

'''Konservativität:''' Ein Petrinetz heißt konservativ, wenn die (beliebig) gewichtete Summe der Marken stets konstant bleibt

'''Sicherheit:''' Ein Petrinetz heißt n-sicher, wenn nie mehr als n Marken auf einem Platz zu liegen kommen

==Anwendungsgebiete==
*[[Asynchrone Schaltkreise]]
*[[Datenanalyse]]
*[[Nebenläufige Programmierung]]
*[[Softwareentwurf]]
*[[Workflow Management|Verwaltung von Arbeitsabläufen]]
*[[Verifikation]] von [[Nebenläufigkeit|nebenläufigen]] Prozessen.

==Werkzeuge==
#ARP ([http://www.ppgia.pucpr.br/~maziero/diversos/petri/arp.html ARP im WWW])
#Maria ([http://www.tcs.hut.fi/Software/maria/ Maria im WWW])
#Tina ([http://www.laas.fr/tina/ Tina im WWW])

==Siehe auch==
*[[Netzmarkierung]]
*[[Schaltregel]]
*[[Markenfluss]]

*[[objektorientiertes Petrinetz|objektorientierte Petrinetze]] (OOPN)
*[[endlicher Automat]]
*[[Nebenläufigkeit]]
*[[Verifikation]]
*[[Verklemmung]]
*[[Lebendigkeit]]

==Literatur==
*[[Bernd Baumgarten]]: ''Petri-Netze'', Spektrum Akademischer Verlag, ISBN 3-8274-0175-5
*[[Lutz Priese]], [[Harro Wimmel]]: ''Theoretische Informatik Petri Netze'', Springer Verlag, ISBN 3-540-44289-8
*[[Konrad Zuse]]: ''Petri-Netze aus der Sicht des Ingenieurs'', Vieweg, ISBN 3-528-09615-2

==Weblinks==
*[http://kik.informatik.fh-dortmund.de/Diplomarbeiten/DA%20Marczinzik/ Einführungskurs mit interaktiven Beispielen]
*[http://www.informatik.uni-hamburg.de/TGI/GI-Fachgruppe0.0.1/index.html Fachgruppe "Petrinetze und verwandte Systemmodelle" der Gesellschaft für Informatik]
*[http://www.daimi.au.dk/PetriNets/ Petri Nets World] (englisch)

{{Überarbeiten}}

[[Kategorie:Theoretische Informatik]]

[[en:Petri net]]
[[zh:Petri网]]

Exterritorialität

2004-10-12T03:51:53Z

202.99.60.155:

'''Exterritorialität''' bezeichnet den rechtlichen Status eines [[Rechtssubjekt]]es oder Gebietes. Gekennzeichnet ist dieser Status dadurch, dass das Rechtssubjekt/Gebiet nicht der lokalen Rechtsprechung unterliegt. Beispielsweise könnte ein Bürger des Landes A während eines Besuchs im Land B das Privileg der Exterritorialität genießen. In diesem Fall darf diese Person im Land B wegen keines Verbrechens vor Gericht gestellt werden.

Analog dazu ist ein exterritoriales Gebiet ein Gebiet, in dem lokales Recht nicht angewendet wird. Als Beispiele können ausländische [[Botschaft]]en und [[Konsulat]]e genannt werden, deren Gebiet zwar Teil des Territoriums des Gastlandes bleibt, jedoch nicht dem Recht des Gastlandes unterworfen ist.

Manchmal wird der Begriff ‚exterritoriales Gebiet‘ auch fälschlich als Synonym für [[Enklave]] gebraucht.

==Beispiele für weitere exterritoriale Gebiete==
* [[Castel Gandolfo]] (die Sommerresidenz des [[Papst]]es in den [[Albaner Berge]]n), das Sendezentrum von [[Radio Vatikan]] außerhalb Roms, mehrere [[Basilika|Basiliken]] in Rom sowie Büros der [[Dikasterien]] (auf [[Italien|italienischem]] Territorium gelegene exterritoriale Besitzungen des [[Heiliger Stuhl|Heiligen Stuhls]])
* der Verwaltungssitz des [[Malteserorden|souveränen Malteser Ritter- und Hospitalordens]] in Rom
* das Gelände der [[Vereinte Nationen|UNO]]-Sitze in [[New York City|New York]], [[Genf (Stadt)|Genf]] und [[Wien]]

==Siehe auch==
*[[Territorium der Vatikanstadt#Exterritoriale Besitzungen des Heiligen Stuhls|Exterritoriale Besitzungen des Heiligen Stuhl]]

[[cs:Exteritorialita]]
[[en:Extraterritoriality]]
[[wa:Foû-teritoriålisté]]
[[zh:治外法权]]