Filters








1 Hit in 2.3 sec

Spezifikation und Modellierung [chapter]

Peter Marwedel
2021 Eingebettete Systeme  
Eine Antwort auf diese Fragen gibt dieses Kapitel, in dem wir Modelle und Beschreibungstechniken vorstellen, mit denen sowohl die Spezifikation wie auch Zwischenschritte dargestellt werden können.  ...  Die gleichzeitigeModellierung von Daten ist nur durch Erweiterungen von Petrinetzen realisierbar. Der Schwerpunkt von Petrinetzen liegt also auf der Modellierung kausaler Abhängigkeiten.  ...  Komponenten durch Senden von Nachrichten über Kanäle, die Nachrichten puffern können.  ... 
doi:10.1007/978-3-658-33437-6_2 fatcat:vol7ufcuara45bvzrjso7uyfaq