In: Proceedings of RELECTRONIC'95, Budapest, Oct. 1995, pages 251-256. Scientific Society for Telecommunications, October 1995. Available at http://www.informatik.uni-hildesheim.de/~pep.
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.