Web Services Extension Model simulation in Hierarchical Colored Petri Net

This paper presents the modeling in Web Services (WS) extension (WS-E) for higher message transfer performance by Representational State Transfer (REST) architecture style and Abstract Syntax Notation One XML Encoding Rule (XER) adoption. Hierarchical Colored Petri Net (HCPN) model is constructed for the WS extension framework formalization. The validation and verification of the model is performed by analyzing the generated State Space (SS). It is the aim of this paper as a proof of concept of the larger research titled “Web Services Extension Model in Colored Petri Net to Enhanced the Message Transfer Performance”, an architectural extension proposal to the current remote laboratory remote instrument connected to the grid for facility sharing aimed at higher communication performance.