Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Winkels

Verlanglijstje

Winkels

Verlanglijstje

Zoeken

Volg ons op

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Zoek een winkel

€ 32,95

+ 65 punten

Levertermijn 1 à 4 weken

Eenvoudig bestellen

Veilig betalen

Gratis thuislevering vanaf € 30 (via bpost)

Gratis levering in je Standaard Boekhandel

Omschrijving

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.