Colored Petri Nets
Modeling and Analysis of Security Protocols Using Colored Petri Nets
... Abstract — Security protocols are the basis of security in networks. Therefore, it is essential to ensure that these protocols function correctly. However, it is difficult to design security protocols that are immune to ...
9
Modeling and Simulation of Textile Supply Chain through Colored Petri Nets
... The purpose of this paper is to describe the business process modeling and simulation of a textile supply chain using Colored Petri nets. Our model takes into account both the source process and ...
8
Analysis of Effectiveness of Communication Overheads in the Parallel Computing System Using Stochastic Colored Petri Nets
... We proposed the extension of the speedup formula of the Amdahl’s law by including the communication overhead, and using the Closed Product Form Queueing Network (CPFQN) to analyze and evaluate effectiveness of the ...
10
Dependency Modeling of a SOA Based System Through Colored Petri Nets
... and Petri nets as a formalism that allows to simulate and validate the described ...of Colored Petri Nets with the style and under- standability of the Object-Oriented concept and Web ...
17
Using Stochastic Colored Petri nets for Designing Multi Purpose Plants
... behavior, Petri net (PN) has been exten- sively applied in model, analysis and control of produc- tion systems ...Also, colored Petri nets as an extension of ordinary Petri nets ...
7
Web Service Automatic Composition Model Based on Colored Petri Nets
... based colored Petri net (CPN) to provide semantic support for web service composition is ...Service; Colored Petri Net (CPN); Web Service Composition; WS-BPEL ...
5
The Web service composition based on colored Petri net
... In this paper, a web service composition method based on colored Petri nets is given. The comparison of pnml description and pnml + owl description method can be used to understand the necessity and ...
6
A Parametric Colored Petri Net Model of a Switched Network
... Petri nets constitute a universal language for asyn- chronous systems and processes ...description. Colored Petri nets [2] implemented in CPN Tools [3] allow the representation of plain ...
12
Parallel Simulation of Queueing Petri Nets
... describes Colored Petri Nets (CPNs) introduc- ing token colors which can be used to distinguish between different types of requests in a ...Stochastic Petri Nets (GSPNs) introduce timed ...
10
An Intent Recognize Based on Petri Nets
... Tokens in the approach are used to represent partial matches between a template and the stream of events that we have been observed. This follows the ideas of colored Petri nets, in which tokens are ...
8
Applying Petri Nets on Project Management
... of Petri nets for a search of natural, simple, and powerful methods in describing and analyzing the flow of information and control in systems, particularly systems that may exhibit asynchronous and ...
7
APC Semantics for Petri Nets
... P/T nets is given such that a P/T net and its term representation have the same operational be- ...P/T nets. In [11] relations among nets, terms and formulas are ...Transition Nets (safe P/T ...
8
A Congruence for Petri Nets
... in Petri net theory, we restrict our view of the net to the outer interface and study how the net interacts with its environment by substituting it into an arbitrary Petri context and studying the behaviour ...
14
The Application of Petri Nets to Workflow Management
... these nets contain places which do not restrict the firing of a transition, but which are not in any ...these nets can be live and bounded but not structurally ...
53
Volume 2: Petri Nets and Graph Transformations
... on Petri Nets and Graph Transformations, which is currently at its second edition, is focussed on the mutual relationship between two prominent specification formalisms for concurrency and distribution, ...
5
Volume 2: Petri Nets and Graph Transformations
... between nets and GTSs, here we first introduce persistent dynamic graph grammars (PDGGs) as a suitable generalization of mobile nets with read arcs by combin- ing dynamic graph grammars (DGGs) [BM06a] and ...
20
Some Fundamental Properties of Petri Nets
... ii) Fig. 2 (a) represents a simple sequential Petri net that has a loop or repeated behaviour. In this instance inverting the places and transitions as shown in fig. 2 (b) does not really alter the main properties ...
7
Petri Nets—A Versatile Modeling Structure
... Petri Nets (PNs) are an effective structure for modeling and analyzing asynchronous systems with concurrent and parallel ...A Petri net models the static properties of a discrete event sys- tem ...
11
Algorithmic Tools for the Transformation of Petri Nets to DEVS
... of Petri nets in DEVS models. Petri Nets are universal formalisms which offer mathematical and graphical concepts for modeling the structure and the behavior of ...in Petri nets ...
8
Volume 2: Petri Nets and Graph Transformations
... our nets in order to evaluate them and suggest improvements or ...of Petri nets in a categorical instead of a set theoretical way ...of Petri nets to model the triggering changes and ...
14