The Behavior Properties of Refinement of Petri Nets and Application in Parallel Programming

  • Authors:

  • Zhang Peng;Qi Mei;Liu Xikui

  • Affiliations:

  • -;-;-

  • Venue:
  • CSIE '09 Proceedings of the 2009 WRI World Congress on Computer Science and Information Engineering - Volume 03
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Transition Refinement and Place Refinement of Petri nets are studied. the holding properties such as Behavior Invarity, Unit Relativity, Fairness and Invariants are presented, also the properties of Fairness, Invariant in the Refinement are also given. On the base of these properties, the approach of how to design a MPI parallel program using Refinement is proposed.