In: Theoretical Computer Science, Vol. 68, pages 37-47. 1989.
Abstract: With each event structure the author associates canonically an event domain (a particular algebraic complete partial order), and conversely, a representation result for event structures is derived. It is shown that any two `canonical' event structures are isomorphic iff they have order-isomorphic canonical domains.
Back to the Petri Nets Bibliography