A Slicing Algorithm of Concurrency Modeling Based on Petri Nets

Carl K. Chang, Huiyu Wang. A Slicing Algorithm of Concurrency Modeling Based on Petri Nets. In ICPP. pages 789-792, 1986.

Abstract

Abstract is missing.