The importance of modeling and performance evaluation for the design of manufacturing systems is obvious. A new modeling method based on Colored Petri Nets is introduced in this paper, which is especially tailored to manufacturing systems. We propose the separate modeling of the manufacturing system's structure and the production routes with dedicated colored Petri nets. After an automatic comp...

Improve the quality of web service composition using the petri nets and ontology. Previously web services are design independently. These kinds of services are not compatible. We observe the different security issues. Now in this paper we design new semantic web networks using petri nets and ontology. Start the interaction process levels display the decisions using colored petri nets environmen...

This paper presents an approach for transforming UML class diagrams and extended sequence diagrams into Colored Petri Nets. In the field of software model, UML has become a widely used software modeling language. However, as a semi-formal language, UML lacks a precise formal semantic base for its notation. In this paper, Colored Petri Nets are taken as the formal language for UML models' analys...