Loading...
Please wait, while we are loading the content...
Similar Documents
A canonical contraction for safe petri nets ⋆.
| Content Provider | CiteSeerX |
|---|---|
| Author | Chatain, Thomas Haar, Stefan |
| Abstract | Abstract. Under maximal semantics, the occurrence of an event a in a concurrent run of an occurrence net may imply the occurrence of other events, not causally related to a, in the same run. In recent works, we have formalized this phenomenon as the reveals relation, and used it to obtain a contraction of sets of events called facets in the context of occurrence nets. Here, we extend this idea to propose a canonical contraction of general safe Petri nets into pieces of partial-order behaviour which can be seen as “macro-transitions ” since all their events must occur together in maximal semantics. On occurrence nets, our construction coincides with the facets abstraction. Our contraction preserves the maximal semantics in the sense that the maximal processes of the contracted net are in bijection with those of the original net. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Canonical Contraction Occurrence Net Maximal Semantics Safe Petri Net Partial-order Behaviour General Safe Petri Net Contracted Net Maximal Process Original Net Concurrent Run Facet Abstraction Reveals Relation Recent Work |
| Content Type | Text |
| Resource Type | Article |
