The SEA Language for system engineering and animation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1091, Issue , 1996, Pages 307-326

  Kleinjohann, B ^a   Kleinjohann, E ^a   Tacken, J ^a  

^a SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; DATA FLOW GRAPHS; DIFFERENTIAL EQUATIONS; FLOW GRAPHS; GRAPHIC METHODS; PETRI NETS; SEMANTICS; SPECIFICATIONS;

BLOCK DIAGRAMS; ELEVATOR SYSTEMS; HARDWARE SYSTEM; HETEROGENEOUS SYSTEMS; OR APPLICATIONS; SYSTEM COMPONENTS; SYSTEM SPECIFICATION; TRANSITION NETS;

COMPUTATIONAL LINGUISTICS;

EID: 84957663935     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_17     Document Type: Conference Paper

References (23)

1. [BrK193] M. Brielmann, B. Kleinjohann: A formal model for coupling computer based systems and physical systems; in Proceedings of EURO-DAC, 1993.
2. [BrK193b] M. Brielmann, B. Kleinjohann: Petri Nets as a Common Model for Com- binined Physical and Computer Based Systems; in Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, 1993.
3. [Briel95] M. Brielmann: Modelling Differential Equations by Basic Information Technology Means; in Proceeding of EUROCAST'95, Innsbruck, 1995.
4. [CCIT88] CCITT Recommendation Z.100: Specification and Description Language SDL. AP IX-35, 1988.
5. [ChKo81] L.A. Cherkasova, V.E. Kotov: Structured Nets; Lecture Notes of Computer Science 118, Springer Verlag, 1981.
6. [Denn85] J. B. Dermis: Models of Data Flow Computation; in M. Broy (ed.), Control Flow and Data Flow: Concepts of Distributed Programming, Springer Verlag, 1985.
7. [GeLa81] H. J. Genrich, K. Lautenbach: System Modelling with High-Level Petri Nets; Theoretical Computer Science, 13, North Holland, 1981.
8. [GeSh93] H.J. Genrich, R. M. Shapiro: A Design of a Cascadable Nacking Arbiter; MetaSoft TR 93-1, Meta Software Corporation, Cambridge, MA, 1993.
9. [Hare87] D. Harel: Statecharts - A visual formalism for complex systems; Science of Computer Programming, 8, 1987.
10. [Kinn 81] D. J. Kinniment: Regular Programmable Control Structures; Proc. VLSI Conference, 1981.
11. [Klei93] E. Kleinjohann: Integrierte Entwurfsberatung auf der Basis erweiterter Prädikat/Transitionsnetze; Dissertation, Universität-Gesamthochschule Paderbom, Fachbereich 17, 1993.
12. [Klei94] B. Kleinjohann: Synthese von zeitinvarianten Hardware Modulen; Dissertation, Universität-Gesamthochschule Paderbom, Fachbereich 17, 1994.
13. [K1MÌ93] B. Kleinjohann, R. Milczewski: Ein einheitliches formaleβ Modell zur Schnittstellenspezifikation und Hardwarebeschreibung; in GI/ITG- Workshop: Formale Methoden zum Entwurf korrekter Systeme, 1993.
14. [KaSa90] K. Kahn, V.A. Saraswat: Complete visualization of concurrent programs and their execution; in IEEE Workshop on Visual Languages, Oct. 1990.
15. [Pete81] J. L. Peterson: Petri Net Theory and the Modelling of Systems; Prentice Hall, 1981.
16. [Petri62] C.A. Petri: Kommunikation mit Automaten; Schriften des 1IM Nr. 2, Institut für Instrumentelle Mathematik, Bonn, 1962.
17. [Ross77] D. T. Ross: Structured Analysis (SA) - A language for Communicating Ideas; in IEEE ToSE Se-3:1, 1977.
18. [Schr91] J. Schröer: A short description of a model compiler/interpreter for supporting simulation and optimization of nonlinear and linearized dynamic systems; in 5th IFAC/IMACS Symposium on CADCS, 1991.
19. [Star90] P. H. Starke: Analyse von Petri-Netz-Modellen; Teubner Verlag, 1990.
20. [State92] STATEMATE, When you hit the switch i-Logix product information, i-Logix Inc., Burlington, MA, USA, 1992.
21. [Suff90] U. Sufirian: Vergleichende Untersuchungen von State-Charts und strukturierten Petri-Netzen; Diplomarbeit, Universität-Gesamthochschule Paderbom, Fachbereich 17, 1990.
22. [Tack92] J. Tacken: Steuerung und Uberwachung von Entwurfssystemen mit Hilfe von Prädikat/Transitions-Netzen; Diplomarbeit, Universität-Gesamthoch- schule Paderbom, Fachbereich 17, November 1992.
23. [YSch78] C. M. Yoder, M. L. Schrag: Nassi-Shneiderman Charts: An Alternative to Flowcharts for Design; in Proceedings of ACM SIGSOFT/SIGMETRICS Software Quality and Assurance Workshop, Nov. 1978.