For the most recent entries see the Petri Nets Newsletter.

An Extension of SDL for the Executable Specification of Communication Systems Based Upon Petri Nets.

Munemori, J.; Mizuno, T.; Takeda, S.

In: Tanaka, H.; et al.: Interoperable Information Systems, ISIIS'88. Proceedings of the Second International Symposium, 1988, Tokyo, Japan, pages 111-118. Amsterdam, Netherlands: IOS, 1988.

Abstract: An extension of SDL, based upon Petri nets, for the executable specification of communication systems is presented. SDL is a formal description language for the specification and description of communication systems. However, SDL can describe only the static behavior of a system. Therefore, to describe the dynamic behavior of communication systems and to verify or validate them, the authors propose an extension of SDL which results from the comparison of SDL and Petri nets with regards to of their specification and simulation abilities.

Keywords: (extended) specification (and) description language, SDL; communication system; simulation.


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

Back to the Petri Nets Bibliography