Abstract: Web service provides a new application environment for Internet. However, Web service still has many problems need further study, e.g. Web service composition and verification. This paper presents a Petri Net modeling and verifying method for Universal Co

Key words: Petri net, Reduction technique, Web service combination, Language, Expression