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.