The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actions. But even small real systems are never modeled directly as ordinary Petri nets: they use many high-level features that were designed as extensions of Petri nets. We focus here on two such features: colors and compo...

Petri nets have been widely used to model and analyze biochemical reaction networks. This chapter gives an overview of di↵erent types of Petri nets within a unifying Petri net framework that comprises the qualitative, stochastic, continuous and hybrid paradigms at both uncolored and colored levels. The Petri net framework permits to investigate one and the same biological reaction network with ...

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

In this paper we propose a method for implementing a full structural model refinement of a (biological) model represented as a (colored) Petri net. We build on the full structural data refinement definition of C. Gratie and Petre, and the type refinement of colored Petri nets introduced by Charles Lakos. Given a (biological) reaction-based model and a desired full structural refinement of it, w...

Petri net is used widely to analyze and model various systems formally. Recently, Many Petri nets mania devote their efforts to enhancing and extending the expressive Power of Petri nets. One such effort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent concepts to model real-world problems. Object-oriented concepts allow us to build software ...