Colored petri
A Parametric Colored Petri Net Model of a Switched Network
... description. Colored Petri nets [2] implemented in CPN Tools [3] allow the representation of plain colored nets as well as timed and hierarchical ...used, colored net is a very powerful and ...
12
Provide a New Mapping for Deadlock Detection and Resolution Modeling of Distributed Database to Colored Petri Net
... • Transaction that has participated in more cycles and selected as victims may be has paramount importance for the system. Ghodrati and Harounabadi in [24] provide a mechanism based on neighbor replication on grid for ...
7
Dependency Modeling of a SOA Based System Through Colored Petri Nets
... of colored Petri nets for simu- lation based performance analysis of industrial sized ...using colored Petri nets and a framework for implementing monitoring facilities that ob- serve, ...
17
Weak Consistency Model in Distributed Systems Using Hierarchical Colored Petri Net
... Abstract: With regard to recent developments and wide application of distributed systems, keeping consistency of data has been considered as a serious challenge in these systems. Colored Petri Net (CPN) has ...
8
The Web service composition based on colored Petri net
... get colored Petri net model of web service composition was put forward in this ...its Petri net which described in PNML( Petri net Markup Language) +OWL(Ontology Web Language) ,where PNML part ...
6
Deterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
... explicit colored petri net. To achieve this goal, colored petri net was enhanced with a new block of immediate transition, called Pick ...to colored petri ...
8
Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
... of Petri net is called colored Petri net which is more powerful than Petri net since it can distinguish the ...ordinary Petri nets with the strengths of a high-level programming ...
26
Analysis of Effectiveness of Communication Overheads in the Parallel Computing System Using Stochastic Colored Petri Nets
... Stochastic Colored Petri Net to give models of parallel computing multi-processing systems for analyzing and evaluating effectiveness of communication overheads to system ...
10
Modeling activity diagram to colored petri net for validation and verification based on non functional parameters
... UML ialah salah satu alat permodelan yang mendapat penggunaan meluas dalam pembangunan perisian-perisian. Ia mengandungi pelbagai rajah yang membantu pembangun perisian untuk menghasilkan produk yang lebih baik. Satu ...
20
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 delivery ...
8
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
Verification of Session Initiation Protocol Using Timed Colored Petri Net
... Timed Colored Petri Nets (CPNs) [6] as the modeling and analyzing ...untimed Petri Nets (Classical PNs or CPNs) it is presumed that the firing of transitions is ...
10
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 belong to the ...
7
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
PBB Efficiency Evaluation via Colored Petri Net Models
... Abstract Basic components of Provider Backbone Bridge PBB network models were constructed: PBB interior switch, PBB edge switch—with the dynamic filling up of address tables.. The modeli[r] ...
12
Internet Host Reliability Modeling with Time Petri Nets
... using Petri nets can be summarized as ...stochastic Petri net (GSPN) to support system dependability analysis ...dynamically colored Petri nets (DCPN) [8]. Petri nets are also applied ...
5
Sensor Robot Planning in Incomplete Environment
... (Colored Petri Net for Planning in incomplete environment) based on two kinds of actions is proposed, and the reasoning rule as Fluent Calculus in incomplete environment is ...
5
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
... Various state-based evaluation techniques have been proposed. In state-based models, the software architecture behavior is modeled as an interaction among components. For example, an evaluation technique was put forward ...
10
A New Method for Optimization of Deadlock resolution of Distributed Database with Formal Model
... In this article we describe the general concepts related to deadlock in distributed databases are studied and methods for managing deadlock in distributed databases are presented. The previous work done in this regard ...
9
Vol 60, No 2 (2017)
... used Colored Petri Nets techniques to model flexible manufacturing cell and analysis overall performance of the ...using colored stochastic Petri nets [13]. Colored Petri Nets ...
10