Clans of Petri Nets, Fachbücher von Dmitry Zaitsev
"Clans of Petri Nets" ist ein Fachbuch, das sich mit den Grundlagen der funktionalen Petri-Netz-Theorie befasst, die für die ... Mehr erfahren
Finde die besten Angebote
Bester Preis41 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Lap Lambert Academic