A modeling and verification method for intelligent networks services with Petri nets

This paper introduces a specification of service logic based on the analysis of intelligent networks (IN) services and presents a model of the service specification that are related to concurrency and synchronization with Petri nets. The verification method of the models is also discussed. An example is given to illustrate the modeling and verification methods.