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.