Skip to main content
padlock icon - secure page this page is secure

Deadlock-free verification and performance enhancement of RosettaNet PIPs with time Petri nets

Buy Article:

$61.00 + tax (Refund Policy)

This paper deals with the deadlock-free verification problem of RosettaNet, a promising and widespread e-business protocol in the information technology and electronic industries. RosettaNet PIPs (partner interface processes) specifications are first modelled with time Petri nets (TPNs) which allow an explicit modelling of concurrency and parallelism. Correctness of the TPN models is verified to ensure the capability of deadlock-freeness, auto-repairing implementation of RosettaNet applications. We adopt the idea of checking the possible existence of an uncontrolled siphon as our deadlock detection mechanism. We demonstrate that RosettaNet PIPs are deadlock-free in both deterministic and stochastic operational environments. A patch subnet technique is developed to improve the efficiency of RosettaNet PIPs. We also prove that the execution of some steps defined in RosettaNet PIPs will never take place. We therefore suggest to removing these unnecessary steps from RosettaNet PIPs and from a lean model.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
No Article Media
No Metrics

Keywords: Deadlock-free verification; RosettaNet; Time Petri nets

Document Type: Research Article

Publication date: March 1, 2005

More about this publication?
  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more