Back to Search
Start Over
Modeling concurrency with interval traces.
- Source :
-
Information & Computation . Apr2017 Part 1, Vol. 253, p78-108. 31p. - Publication Year :
- 2017
-
Abstract
- Interval order structures are useful tools to model abstract concurrent histories, i.e. sets of equivalent system runs, when system runs are modeled with interval orders . This paper shows how interval order structures can be modeled by partially commutative monoids , called interval traces . The model is then used to provide a semantics of Petri nets with inhibitor arcs, both in terms of interval traces and in terms of interval order structures. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 08905401
- Volume :
- 253
- Database :
- Academic Search Index
- Journal :
- Information & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 121756399
- Full Text :
- https://doi.org/10.1016/j.ic.2016.12.009