Date Added: Jan 2012
Updating XML documents is getting more and more attention from both academic and commercial fields. The time needed to update XML documents is a key factor for the success of any application especially for those related with the e-commerce. In this paper, the authors suggest using Petri Nets as a tool for designing a concurrent model that is able to achieve XML update operations. Also, they suggest using the same tool for validating these operations. Finally, they propose to apply the concurrent model by using multithreading on a Multicore Architecture.