{"product_id":"petri-netze-9783540769705","title":"Petri-Netze","description":"\u003cp\u003e • Author(s): Lutz Priese | Harro Wimmel\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eErstmals 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47611654242455,"sku":"9783540769705","price":2265.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540769705.webp?v=1775072025","url":"https:\/\/atlanticbooks.com\/products\/petri-netze-9783540769705","provider":"Atlantic Books","version":"1.0","type":"link"}