Study of Interaction Property Testing of Distributed System Based on Petri Net.

Hua LiYi XingYu XueXinming Ye
Published in: SERVICES (2012)
Keyphrases
  • distributed systems
  • petri net
  • fault tolerant
  • concurrent systems
  • load balancing
  • metadata
  • peer to peer
  • information processing
  • distributed environment
  • real time systems
  • data availability