A Modular Petri Net Used in Synchronous Communication of Sequential Processes

摘要

We propose a special Petri Net subclass (TS)*SM to model the synchronous communications between sequential processes. At first, State Machines are used to model sequential processes and the communications between them are modeled by transition synchronization. The sufficient condition and the necessary condition of the structural liveness property of this subclass are obtained, and a polynomial-time-complexity deciding algorithm is proposed.