Searching for "Event Structures for Local Traces." – sorted by Relevance.
-
On the Semantics of Place/Transition Nets
- sophisticated method to translate the local trace languages of Petri nets into local event structures
- Cited by 2 (1 self) – Add To MetaCart

