Petri net modeling for signaling protocol synthesis

High level Petri nets are powerful models for different classes of problems. The main problem addressed in this paper is reliable specification through the developed methodology for translation of requirement definitions into verified specification. The specification process is exercised through a synthesis methodology. For that purpose three different Petri net models are introduced. Maximum flexibility with different tools as well as rapid prototype tool development for the research of concurrent processes is the main achievement of such an approach.

[1]  Martin Peschke,et al.  Design and Validation of Computer Protocols , 2003 .

[2]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[3]  Kurt Jensen,et al.  An Introduction to the Theoretical Aspects of Coloured Petri Nets , 1993, REX School/Symposium.

[4]  Gaetano Aurelio Lanzarone,et al.  Guidelines on using net analysis techniques with large specifications , 1985, Applications and Theory in Petri Nets.

[5]  Jonathan Billington,et al.  PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols , 1988, IEEE Trans. Software Eng..

[6]  Samuel Welch.  Signalling in telecommunications networks , 1979 .

[7]  Hans R. Appenzeller.  Signaling System No 7 ISDN User Part , 1986, IEEE J. Sel. Areas Commun..

[8]  Marshall T. Rose,et al.  The Open book - a practical perspective on OSI , 1990 .

[9]  H. Dibold,et al.  Hierarchical coloured Petri nets for the description of services in an intelligent network , 1992, [Proceedings] 1992 International Zurich Seminar on Digital Communications@m_Intelligent Networks and Their Applications.

[10]  Michel Diaz,et al.  Petri net based models for the specification and validation of protocols , 1984, European Workshop on Applications and Theory in Petri Nets.

[11]  Gérard Berthelot,et al.  Petri Nets Theory for the Correctness of Protocols , 1982, PSTV.

[12]  Z. Haas,et al.  A protocol structure for high-speed communication over broadband ISDN , 1991, IEEE Network.