Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems

Yigang Chen, Wei-Tek Tsai, Daniel Y. Chao. Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems. IEEE Trans. Parallel Distrib. Syst., 4(4):414-426, 1993. [doi]

Abstract

Abstract is missing.