In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 272-291. 1989.
Abstract: The notion of a specification for predicate/transition nets is defined. An easily provable local criterion is stated, which is equivalent to global correctness. This equivalence yields a proof method for concurrent systems.