Lu Weiming

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this paper, the Extended Strong Asymmetric Choice Nets II (ESACN II), a subclass of Asymmetric Choice Nets (ACN) including Extended Free Choice Nets (EFCN) and Strong Asymmetric Choice Nets II (SACN II), is presented. A necessary and sufficient condition for liveness of ESACN II is proposed. Moreover, a criterion is introduced, which is necessary and(More)
  • 1