bersicht 2

Beschreibungsmittel









vhdl - Sprache zur Beschreibung von digitalen elektronischen Systemen
hierarchische Zustandsmaschinen Nützel, Jürgen OO Entwurf verteilter eingebetteter
Echzeitzsysteme auf Basis höherer Petri-netze
net condition/Event Systems CES - basiert auf Petrinetzen
Activity Cycle Diagrams und wheel charts - alt
cyclic event graphs basiert auf petrinetzen
deds discrete event dynamic systems
sfc sequential function charts oder Grafcet zur Modellierung von Programmable
Logic Controllern - basiert auf sicheren Petri-Netzen
Erweiterung Graphchart – verarbeitet Konzepte höherer Petrinetze
DEVS discrete Event Systems Specification – besteht aus einem atomic model (7
Tupel: Ereignisse, Zustände, Transitionen, Ausgaben, Zeitfunktion) und einem
coupled model zur Verbindung von component models, DEVS (Zeigler et al., 2000)
is a formalism which allows to represent and simulate any system with a finite number of
changes in a finite interval of time.


Markovsche Prozessketten (stochastisch)
markierte Graphen – Spezialisierung von PN, je Platz nur eine Eingangs- und
Ausgangstransition



Bones Tool
SES Workbench Tool
Kahns Process networks -> Synchronous dataflow (SDF): für medienstreams und
Signalprozessing
 event graph: Petrinetz in welchem jeder Platz nur eine Eingangs- und eine
Ausgangstransition hat
 EPK Ereignisgesteuerte Prozessketten, zur Modellierung von Geschäftsprozessen,
Folge von Aktivitäten in festgelegter Reihenfolge (EPK Cuntz)







Pussee milestone: A tool linking Rational Rose to Atelier B by providing
translations between UML diagrams and B.
HIGRAPH gerichteter azyklischer graph, der hierarchien ausdrückt über kanten zu
anderen knoten, abgeleiitet von Venn diagrams, diese von Euler circles, Grundlage
von State-Charts
Examples of object-oriented and/or non-causal modeling languages include:
ASCEND, Dymola, gPROMS, NMF, ObjectMath, Omola, SIDOPS+, Smile,
U.L.M., ALLAN, and VHDL-AMS.
Ordinary DE, differential-algebraic equations, bond graphs (stellen Energiefluss in
Systemen dar), finite state automata and Petri nets
Interaktionsdiagramme (Extended Event Traces, EET)
State Transition Diagram beschreibt das Verhalten eines Systems oder einer
Komponente in Form der Reaktionen auf Eingaben aus der Umgebung und der
daraus resultierenden Ausgaben in die Umgebung, keine Hierarchie keine
Prioritäten, Tool: AutoFocus
KIR graphbasiertes Modellierungsmittel für hybride Systeme, Kanten
repräsentieren gerichtete Signale, Knoten repräsentieren Operationen auf den






Signalen, ein KIR-Graph ist ein Knoten mit einer Schaltfunktion über Knoten und
Kanten
CCS Prozesse ändern ihren Zustand in dem sie Aktionen ausführen.
Rendezvous Models Events represent rendezvous of a sender and a receiver.
Communication is unbuffered and instantaneous.Often implicitly assumed with
“process algebra” or even “concurrent.” ptolomy,
TLA (the Temporal Logic of Actions) is a logic for specifying and reasoning about
concurrent and reactive systems, Lamport
Protob Sprache zur Modellierung und Entwicklung von ereignis-gesteuerten
Systemen, graphische Elemente sind Plätze Transitionen und gerichtete Kanten,
Token in Plätzen werden nach dem FiFO Prinzip abgearbeitet und sind innerhalb
eines Knotens alle von selben Typ, Zeitverzögerung ist möglich
erweiterte Prädikat-Transitions-Netze: zur Modellierung gemischt analog/digitaler
Systeme, Erweiterung von PN, Marken erhalten eine Bezeichnung. innerhalb von
Transitionen sind Aktionen möglich. (Kattanek)
Argos graphische Sprache für die Beschreibung reaktiver Systeme, an Statecharts
angelehnt (Kattanek)
Modellica, Sprache für hybride Systeme, für ereignisdiskrete Modellierung if-thenelse-Komponente
Sprachen
 Dymola (Dynamic Modeling Language), Elmqvist H.: A Structured Model
Language for Large Continuous Systems
 gPROMS (Barton P.I., and C.C. Pantelides: "Modeling of combined
discrete/continuous processes".1994, Oh M., and C.C. Pantelides: "A modelling
and simulation language for combined lumped and distributed parameter
systems".1996)
 MOSES (Modular Object-oriented Software Environment for Simulation)
 Omola (Andersson M.: Object-Oriented Modeling and Simulation of Hybrid
Systems., Mattsson S.E., M. Andersson, and K. J. Åström: "Object-oriented
modelling and simulation".. 1993)
 SIDOPS+ (Breunese A.P.J., and J.F. Broenink: Modeling mechatronic systems
using the SIDOPS+
 language, Proceedings of ICBGM’97, 3rd International Conference on Bond Graph
Modeling and Simulation,, 1997).
 SDL wird zur Verifikation in semantisch äquivalente PN übersetzt
Erweiterte Zustandsmodelle (Teich)
 Hierarchitsche PN
 Kommunizierende Automaten (z,B, SDL)
 Prozesskalküle (CCS Calculus of Communicating Systems [Milner], CSP
Communicating Sequential Processes [Hoare]) -- Prozessalgebra
 Hierarchische nebenläufige Automaten (Statecharts)
Aktivitätsorientierte Modelle (Teich)
 Datenflussgraphen
 Markierte Graphen
 Synchrone Datenflussgraphen
Heterogene Modelle: CDFG Control and Data-Flow /Datenflussdiagramm (Teich)
Entwurfssprachen (Teich)
 SystemC
 Synchrone Sprachen
-
Signal
Lustre
Esterel
On The Composition Of Condition/Event Systems - Kowalewski, Lakhnech.. (1998)
zeitkontinuierliche Systeme: signal flow graph, block diagram