Petri-Netze sind das meist beachtete und am besten untersuchte
Modell fur nebenlaufige, parallele Rechnungen. In diesem Lehrbuch
werden zum ersten Mal zahlreich Resultate der Originalliteratur
uber Unmoglichkeiten, Moglichkeiten und die Komplexitat der
Ausdrucksmittel von Petri-Netzen didaktisch aufgearbeitet und im
Detail einer breiteren Leserschaft vorgestellt. Alle fur die
Beweise notwendigen Techniken und mathematischen Begriffe werden
erlautert. Damit wendet sich das Buch sowohl an Studierende als
auch an Lehrende und Forscher. Der Inhalt konzentriert sich neben
einer Darstellung der Grundbegriffe und deren Zusammenhange
insbesondere auf einen Algorithmus fur die Erreichbarkeitsfrage,
die Ausdrucksfahigkeit verschiedener Berechnungsbegriffe,
ausgewahlte Fragen zur Entscheidbarkeit und Komplexitat, sowie
Petri-Netz Semantiken mittels Sprachen und partiell geordneten
Mengen und deren algebraische Charakterisierung."
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!