Object nets for the design and verification of distributed and embedded applications

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

Volumn 1388, Issue , 1998, Pages 953-962

  Nützel, Jürgen ^a   Däne, Bernd ^a   Fengler, Wolfgang ^a  

^a ILMENAU UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Embedded systems; Object orientation; Petri nets; Verification

Indexed keywords

EMBEDDED SYSTEMS; PETRI NETS; VERIFICATION;

APPLICATION EXAMPLES; AUTOMOTIVE DOMAINS; CONCURRENT OBJECTS; DISTRIBUTED SYSTEMS; EMBEDDED APPLICATION; OBJECT ORIENTATION; OBJECT ORIENTED METHOD; STATECHARTS;

DESIGN;

EID: 84947417728     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64359-1_761     Document Type: Conference Paper

References (6)

1. Harel, David: Statecharts: A visual formalism for complex systems, Science of Computer Programming, Vol. 8, p. 231-274, 1987.
2. Daimler-Benz: The Mercedes-Benz Homepage, 1998: http://www.mercedes-benz.com/.
3. Nützel, Jürgen: Opntel (Object Petri Nets based on Tel) Homepage, 1998: http://www.theoinf.tu-ilmenau.de/opntcl/.
4. Ousterhout, John: Tel and the Tk Toolkit, Addison-Weseley, 1994.
5. Selic, B.; Gullekson, G.; Ward, P. T.: ROOM-Real-Time Object-Oriented Modelling, John Wiley & Sons, 1994.
6. Unger, H.; Bäne, B.; Nützel, J.: Experiences Simulating the Load Sharing System LYDIA with High Level PN, HPC'98, Boston, April 1998.