In: Desel, J.: Structures in Concurrency Theory, Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995, pages 279-293. 1995.
Abstract: New results on structural analysis of well-formedness, that is, structural boundedness and structural liveness, of Place/Transition net systems, based on the rank of the incidence matrix, are introduced and related to previously known ones. These results are a general sufficient condition, that follows from the Rank Theorem for Equal Conflict systems, and a polynomial-time characterisation of well-formedness for an enlarged version of the structured class of Deterministic Systems of Sequential Processes.