For the most recent entries see the Petri Nets Newsletter.

Verifying Telecommunication Protocols with PEP.

Grahlmann, B.

In: Proceedings of RELECTRONIC'95, Budapest, Oct. 1995, pages 251-256. Scientific Society for Telecommunications, October 1995. Available at

Abstract: Nowadays telecommunication services become more and more complex. Because of the increasing comfort of these services the design and especially the verification of the underlying protocols is an extremely difficult task. In general protocols are only extensively tested but not verified due to the lack of powerful tools. Within the PEP project a tool has been developed which is well suited to design telecommunication protocols with a parallel specification and programming language called B(PN). Furthermore the automatic translation into Petri nets allows the efficient verification of various interesting properties by use of a partial order based model checking algorithm.

Keywords: protocols; petri nets; verification; model checking; tool.

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

Back to the Petri Nets Bibliography