In: LNCS 2300: Formal and Natural Computing, pages 244-pp. Essays Dedicated to Grzegorz Rozenberg / W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa (Eds.) --- Springer Verlag, February 2002.
Abstract: We formulate the notion of a regular event structures and conjecture that they correspond exactly to finite 1-safe Petri nets. We offer a partial result in support of the conjecture. This result is in terms of a natural subclass of regular event structures that admit a sensible labeling with Mazurkiewicz trace alphabets.