Modeling Scalable Grid Information Services with Colored Petri Nets

Information services play a crucial role in grid computing environments in that the state information of a grid system can be used to facilitate the discovery of resources and services available to meet user requirements and help tune the performance of the grid. This paper models PIndex, which is a grouped peer-to-peer network with Colored Petri Nets (CPNs) for scalable grid information services. Based on the CPN model, a simulator is implemented for PIndex simulation and performance evaluation. The correctness of the simulator is further verified by comparing the results computed from the CPN model with the results generated by the PIndex simulator.

Download Full-text

Modeling Scalable Grid Information Services with Colored Petri Nets

Evolving Developments in Grid and Cloud Computing ◽

10.4018/978-1-4666-0056-0.ch012 ◽

2012 ◽

pp. 169-184

Author(s):

Vijay Sahota ◽

Maozhen Li ◽

Marios Hadjinicolaou

Keyword(s):

Petri Nets ◽

Information Services ◽

Colored Petri Nets ◽

Grid System ◽

State Information ◽

Peer Network ◽

Computing Environments ◽

And Performance ◽

Peer To Peer Network ◽

Grid Information Services

Download Full-text

Modeling Scalable Grid Information Services with Colored Petri Nets

International Journal of Grid and High Performance Computing ◽

10.4018/jghpc.2010092804 ◽

2010 ◽

Vol 2 (1) ◽

pp. 51-68

Author(s):

Vijay Sahota ◽

Maozhen Li ◽

Marios Hadjinicolaou

Keyword(s):

Petri Nets ◽

Information Services ◽

Colored Petri Nets ◽

User Requirements ◽

State Information ◽

Peer Network ◽

Computing Environments ◽

And Performance ◽

Peer To Peer Network ◽

Grid Information Services

Information services play a crucial role in grid computing environments in that the state information of a grid system can be used to facilitate the discovery of resources and services available to meet user requirements and help tune the performance of the grid. This article models PIndex, which is a grouped peer-to-peer network with Colored Petri Nets (CPNs) for scalable grid information services. Based on the CPN model, a simulator is implemented for PIndex simulation and performance evaluation. The correctness of the simulator is further verified by comparing the results computed from the CPN model with the results generated by the PIndex simulator.

Download Full-text

Modeling P2P Grid Information Services with Colored Petri Nets

Grid Computing ◽

10.1201/9781315218854-22 ◽

2018 ◽

pp. 351-372

Keyword(s):

Petri Nets ◽

Information Services ◽

Colored Petri Nets ◽

Grid Information Services

Download Full-text

Modeling P2P Grid Information Services with Colored Petri Nets

Grid Computing ◽

10.1201/9781420067682-c13 ◽

2009 ◽

pp. 335-355

Author(s):

Vijay Sahota ◽

Maozhen Li

Keyword(s):

Petri Nets ◽

Information Services ◽

Colored Petri Nets ◽

Grid Information Services

Download Full-text

Evaluation of Security and Performance of Master Node Protocol in the Bitcoin Peer-to-Peer Network

2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) ◽

10.1109/icbc48266.2020.9169393 ◽

2020 ◽

Author(s):

Muntadher Sallal ◽

Gareth Owenson ◽

Mo Adda

Keyword(s):

Peer To Peer ◽

Master Node ◽

Peer Network ◽

And Performance ◽

Peer To Peer Network

Download Full-text

Modeling With Colored Petri Nets

Research Anthology on Reliability and Safety in Aviation Systems, Spacecraft, and Air Transport ◽

10.4018/978-1-7998-5357-2.ch015 ◽

2021 ◽

pp. 397-424

Author(s):

Dmitry A. Zaitsev ◽

Tatiana R. Shmeleva

Keyword(s):

Performance Evaluation ◽

Petri Nets ◽

Petri Net ◽

Real Life ◽

Colored Petri Nets ◽

Correctness Proof ◽

Model Driven ◽

Cpn Tools ◽

Complex Models ◽

And Performance

Aviation and aerospace systems are complex and concurrent and require special tools for their specification, verification, and performance evaluation. The tool in demand should be easily integrated into the standard loop of model-driven development. Colored Petri nets represent a combination of a Petri net graph and a functional programming language ML that makes it powerful and convenient tool for specification of real-life system and solving both tasks: correctness proof i.e. verification and performance evaluation. This chapter studies basic and advanced features of CPN Tools – a powerful modeling system which uses graphical language of colored Petri nets. Starting with a concept of colored hierarhical timed Petri net, it goes through declaration of color sets and functions to peculiarities of hierarchical design of complex models and specification of timed characteristics. The authors accomplish the chapter with a real-life case study of performance evaluation for switched Ethernet network.

Download Full-text