Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Februar 2008
Genre:	EDV / Informatik
	algorithmanalysisandproblemcomplexity / Algorithmen / Algorithmen und Datenstrukturen / Algorithmus / Diskret (mathematisch) / Diskrete Mathematik / Graph / Graph - Graphentheorie / Grundbegriffe / Informatik / Kombinatorik / Komplexität / Mathematik / Mathematik / Informatik, Computer / Mathematik / Logik / mathematischeGrundlagen / nebenläufig / Petri-Netz / Schnittstelle (EDV) / Semantik / Theoretische Informatik mehr...
ISBN:	9783540769705
EAN-Code:	9783540769705
Verlag:	Springer
Einband:	Kartoniert
Sprache:	Deutsch
Serie:	eXamen.press
Dimensionen:	H 235 mm / B 155 mm / D 21 mm
Gewicht:	587 gr
Seiten:	388
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Erstmals erläutert dieses Lehrbuch mathematisch präzise, exakt und ausführlich das meist beachtete und am besten untersuchte Modell für nebenläufige, parallele Rechnungen. Die Autoren arbeiten zahlreiche Resultate der Originalliteratur über (Un)möglichkeiten und die Komplexität der Ausdrucksmittel von Petri-Netzen didaktisch auf und stellen sie im Detail einer breiteren Leserschaft vor. Sie erläutern alle für die Beweise notwendigen Techniken und mathematischen Begriffe. Neben den Grundbegriffen und Zusammenhängen konzentrieren sie sich auf einen Algorithmus für die Erreichbarkeitsfrage, die Ausdrucksfähigkeit verschiedener Berechnungsbegriffe u.v.a.m. Ihr Buch empfiehlt sich sowohl für Studierende als auch für Lehrende und Forscher.