Harro Wimmel 
Entscheidbarkeit bei Petri Netzen [PDF ebook] 
Uberblick und Kompendium

สนับสนุน

Petri Netze sind das am besten untersuchte Modell für parallele Rechnungen und Stellen/Transitionennetze. In diesem Buch werden erstmals alle wichtigen Fragen zur Entscheidbarkeit für klassische Stellen/Transitionennetze zusammengestellt und systematisch behandelt. Dazu gehören neben dem Erreichbarkeitsproblem Fragen, die sich mit Markierungen und Sprachen von Petri Netzen befassen. Dabei werden verschiedene Sprach- und Akzeptanzmodelle in Betracht gezogen. Zusätzlich beleuchtet der Autor einige Erweiterungen von Netzen.

€10.21
วิธีการชำระเงิน
ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!
ภาษา เยอรมัน ● รูป PDF ● ISBN 9783540854715 ● สำนักพิมพ์ Springer Berlin Heidelberg ● การตีพิมพ์ 2008 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 6320696 ● ป้องกันการคัดลอก Adobe DRM
ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

14,515 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้