Clans of Petri Nets, Fachbücher von Dmitry Zaitsev
82,90 €
"Clans of Petri Nets" ist ein Fachbuch, das sich mit den Grundlagen der funktionalen Petri-Netz-Theorie befasst, die für die Analyse detaillierter Modelle von Netzwerkprotokollen entwickelt wurde. Es behandelt verschiedene Methoden zur Reduktion zeitgesteuerter Petri-Netze, die auf äquivalenten Transformationen von Formeln basieren, die ihre Übertragungsfunktion beschreiben. Darüber hinaus werden schwache Äquivalenztypen von Netzen untersucht und Methoden zur Synthese kontinuierlicher (fuzzy) logischer Funktionen in tabellarischer Form vorgestellt. Das Buch bietet auch eine fundierte Grundlage für die Theorie von Clans von Systemen linearer algebraischer Gleichungen, die die Lösung solcher Systeme in Ringen mit Vorzeichen beschleunigt. Es werden Algorithmen und Software zur Unterstützung dieser Methoden bereitgestellt. Zudem werden Petri-Netz-Modelle für Standard-Spezifikationen von Telekommunikationsprotokollen entwickelt und die Verifikation mehrerer Protokolle durchgeführt.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
