In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 609; Advances in Petri Nets 1992, pages 292-303. Springer-Verlag, 1992.
Abstract: In this note I want to draw attention to partial words, a less known partial order semantics of Petri nets. Partial words have recently proven to be of importance, e.g. in the study of action refinement. An important result of A. Kien relates partial words and Petri net processes, and a short proof of this result is given here.
Keywords: partial order semantics; processes; partial words.