The SEA Language for system engineering and animation-Reference-Cited by-同舟云学术

The SEA Language for system engineering and animation

Published:1996 Issue: Volume: Page:307-326
ISSN:0302-9743
Container-title:Application and Theory of Petri Nets 1996
language:
Short-container-title:

Author:

Kleinjohann B.,Kleinjohann E.,Tacken J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61363-3_17.pdf

Reference23 articles.

1. M. Brielmann, B. Kleinjohann: A formal model for coupling computer based systems and physical systems; in Proceedings of EURO-DAG, 1993.

2. M. Brielmann, B. Kleinjohann: Petri Nets as a Common Model for Combinined Physical and Computer Based Systems; in Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, 1993.

3. M. Brielmann: Modelling Differential Equations by Basic Information Technology Means; in Proceeding of EUROCAST'95, Innsbruck, 1995.

4. CCITT Recommendation Z.100: Specification and Description Language SDL. AP IX-35, 1988.

5. L.A. Cherkasova, V.E. Kotov: Structured Nets; Lecture Notes of Computer Science 118, Springer Verlag, 1981.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Pr/T-Net Based Seamless Design of Embedded Real-Time Systems;Applications and Theory of Petri Nets 2001;2001

2. Complete worst-case execution time analysis of straight-line hard real-time programs;Journal of Systems Architecture;2000-01

3. PARADISE: Design Environment for Para llel & Dis tributed, E mbedded Real-Time Systems;Distributed and Parallel Embedded Systems;1999

4. Integrated design and simulation of hybrid systems;Hybrid Systems: Computation and Control;1998

5. Modelling of concurrent and embedded systems;Lecture Notes in Computer Science;1997