A Petri-Net Modeling Tool and its Application on Intelligent Network

A new systematic design methodology with suitable modeling and analysis tools is required for the design and implementation of robust communication protocols. Major phases in the design methodology include modeling, verification and coding. This paper utilizes the configurable graphic interface and the mathematical analysis methods of the Petri net to transform the communication requirements into codes with specified logic and configuration. Uniquely in this paper, the Petri net models were analyzed by performing efficient algorithms that not only verify structural properties of the nets but also locate logic errors existing in the models. Theorems and associated corollaries on structural properties of Petri net are presented with their proof and algorithms developed for analyzing the net are then described with corresponding examples. General Petri nets and those algorithms are then used for the simulation and analysis on the static structure and dynamic behavior of the Basic Call State Model used for the implementation of an intelligent network.