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...

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...

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...

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...

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...

Electronic commerce protocols are the basis of security in electronic commerce. Therefore, it is essential to ensure these protocols correctly. With the ideas of ZQ logic and the security protocols analysis method using Colored Petri Nets, a new method synthesizing ZQ logic and Colored Petri Nets is presented to analyze electronic commerce protocols. The new method is suitable for analyzing bot...

in this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition petri nets. the mobile agent system contains two mobile agents called dca and una. it sends out agents to update antivirus on client computers in a network. each agent takes on a specified responsibility. first, dca roams through the network and check the last d...

In this paper, we present a new way to simulate Turing machines using a specific form of Petri nets such that the resulting nets are capable of thoroughly describing behavior of the input Turing machines. We model every element of a Turing machine’s tuple F) q0, δ, Σ, b, Γ, Q, (i.e., with an equivalent translation in Colored Petri net’s set of elements with priority transitions such that the re...

With the rapid advances of computer-based technology in mission-critical domains such as aerospace, military, and power industries, critical systems exhibit more complex, dependent, and dynamic behaviors. Such dynamic system behaviors cannot be fully captured by existing reliability modelling tools. In this paper, we introduce a new reliability modelling tool, called dynamic reliability block d...