Entscheidbarkeit bei Petri Netzen
Best Price (Coupon Required):
Buy Entscheidbarkeit bei Petri Netzen for $13.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
---|---|---|---|---|---|---|---|---|---|---|
BEST PRICE 1 Product Purchase
|
|
$14.99 | $14.99 |
|
10% OFF
This deals requires coupon
|
$13.50 | See Site | In stock | Visit Store |
Product Details
Petri Netze sind das meist beachtete und am besten untersuchte Modell fr parallele Rechnungen und Stellen/Transitionennetze, die bekannteste und wichtigste Klasse von Petri Netzen. In diesem Buch werden erstmals systematisch alle wichtigen Fragen zur Entscheidbarkeit fr klassische Stellen/Transitionennetze zusammengestellt und behandelt. Dazu gehren neben dem Erreichbarkeitsproblem weitere Fragen, die sich mit Markierungen und Sprachen von Petri Netzen befassen, wie z.B. Fragen nach der Erreichbarkeit von Mengen von Markierungen, der Reproduktion von Markierungen und verschiedenen Lebendigkeitsbegriffen, oder die Frage, ob die Sprache eines Petri Netzes z.B. leer, endlich, total, regulr, gleich einer anderen Sprache ist. Dabei werden verschiedene klassische Sprach- und Akzeptanzmodelle von Petri Netzen in Betracht gezogen. ber die blichen Stellen/Transitionennetze hinaus werden einige Erweiterungen von Netzen in Bezug auf die Entscheidbarkeit von Erreichbarkeit, Beschrnktheit und berdeckbarkeit beleuchtet.