198 research outputs found
Modelling Concurrency with Comtraces and Generalized Comtraces
Comtraces (combined traces) are extensions of Mazurkiewicz traces that can
model the "not later than" relationship. In this paper, we first introduce the
novel notion of generalized comtraces, extensions of comtraces that can
additionally model the "non-simultaneously" relationship. Then we study some
basic algebraic properties and canonical reprentations of comtraces and
generalized comtraces. Finally we analyze the relationship between generalized
comtraces and generalized stratified order structures. The major technical
contribution of this paper is a proof showing that generalized comtraces can be
represented by generalized stratified order structures.Comment: 49 page
A convenient category of locally preordered spaces
As a practical foundation for a homotopy theory of abstract spacetime, we
extend a category of certain compact partially ordered spaces to a convenient
category of locally preordered spaces. In particular, we show that our new
category is Cartesian closed and that the forgetful functor to the category of
compactly generated spaces creates all limits and colimits.Comment: 26 pages, 0 figures, partially presented at GETCO 2005; changes:
claim of Prop. 5.11 weakened to finite case and proof changed due to problems
with proof of Lemma 3.26, now removed; Eg. 2.7, statement before Lem. 2.11,
typos, and other minor problems corrected throughout; extensive rewording;
proof of Lem. 3.31, now 3.30, adde
A Geometric Approach to the Problem of Unique Decomposition of Processes
This paper proposes a geometric solution to the problem of prime
decomposability of concurrent processes first explored by R. Milner and F.
Moller in [MM93]. Concurrent programs are given a geometric semantics using
cubical areas, for which a unique factorization theorem is proved. An effective
factorization method which is correct and complete with respect to the
geometric semantics is derived from the factorization theorem. This algorithm
is implemented in the static analyzer ALCOOL.Comment: 15 page
Uniform and Bernoulli measures on the boundary of trace monoids
Trace monoids and heaps of pieces appear in various contexts in
combinatorics. They also constitute a model used in computer science to
describe the executions of asynchronous systems. The design of a natural
probabilistic layer on top of the model has been a long standing challenge. The
difficulty comes from the presence of commuting pieces and from the absence of
a global clock. In this paper, we introduce and study the class of Bernoulli
probability measures that we claim to be the simplest adequate probability
measures on infinite traces. For this, we strongly rely on the theory of trace
combinatorics with the M\"obius polynomial in the key role. These new measures
provide a theoretical foundation for the probabilistic study of concurrent
systems.Comment: 34 pages, 5 figures, 27 reference
Petri Nets and Other Models of Concurrency
This paper retraces, collects, and summarises contributions of the authors --- in collaboration with others --- on the theme of Petri nets and their categorical relationships to other models of concurrency
Event structures for Petri nets with persistence
Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri. A basic role is played by an unfolding construction that maps (safe) Petri nets into a subclass of event structures, called prime event structures, where each event has a uniquely determined set of causes. Prime event structures, in turn, can be identified with their domain of configurations. At a categorical level, this is nicely formalised by Winskel as a chain of coreflections. Contrary to prime event structures, general event structures allow for the presence of disjunctive causes, i.e., events can be enabled by distinct minimal sets of events. In this paper, we extend the connection between Petri nets and event structures in order to include disjunctive causes. In particular, we show that, at the level of nets, disjunctive causes are well accounted for by persistent places. These are places where tokens, once generated, can be used several times without being consumed and where multiple tokens are interpreted collectively, i.e., their histories are inessential. Generalising the work on ordinary nets, Petri nets with persistence are related to a new subclass of general event structures, called locally connected, by means of a chain of coreflections relying on an unfolding construction
Two Algebraic Process Semantics for Contextual Nets
We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places. The algebraic characterizations of net concurrent computations we provide cover both the collective and the individual token philosophy, uniformly along the two interpretations, and coincide with the classical proposals for place/transition Petri nets in the absence of read-arcs
- …