For the most recent entries see the Petri Nets Newsletter.

Object nets for the design and verification of distributes and embedded systems.

Nuetzel, J.; Daene, B.; Fengler, W.

In: Lecture Notes in Computer Science, Vol. 1388: Parallel and Distributed Processing, pages 953-962. Springer-Verlag, 1998.

Abstract: This paper presents an object-oriented method for the design, verification and implementation of embedded and distributed systems. The method is called concurrent object net (CON). The CON method is based upon extended statecharts which use specific message links for communication. For simulation and verification, corresponding Petri nets are used. A platform abstraction framework for CON accesses hardware in optimized manner. An application example from the automotive domain is used to show further CON details.

Keywords: design verification, distributed systems, embedded systems, extended statecharts, object Petri nets, object orientation.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography