A Slicing-based Approach to Enhance Petri Net Reachability Analysis

Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon, H.-N. Kim. A Slicing-based Approach to Enhance Petri Net Reachability Analysis. Australian Computer Journal, 32(2):131-143, 2000.

Abstract

Abstract is missing.