We study a natural notion of communication structure associated with asynchronous
automata: we characterize which transition systems are isomorphic to an asynchronous …

We study a natural notion of communication structure associated with asynchronous
automata: we characterize which transition systems are isomorphic to an asynchronous …

The mixed product gives a global representation of concurrent systems modelled by
interacting automata. In this paper we study the opposite operation: we characterise the …

The paper is devoted to a mathematical model of concurrency the special case of which is
asynchronous system. Distributed asynchronous automata are introduced here. It is proved …

The paper consider a mathematical model of a concurrent system, the special case of which
is an asynchronous system. Distributed asynchronous automata are introduced here. It is …

Petri Nets and the synchronized products of transition systems introduced by Arnold and
Nivat are two closely related models of concurrent systems. The second one is used to …

Petri nets have turned out to be an adequate tool for modelling, designing, and analysing
concurrent systems. Many concurrent systems are designed to run without explicit …

The purpose of this paper is twofold: to give a precise notion of a realization for simulation of
one concurrent system by another, and to study the relations of modular concurrent systems …

In this work we focus on structured nets, which are a generalization of regular Petri nets.
Structured nets were proposed in [I] as a model of hierarchical asynchronous systems and …

The behaviour of pure Petri nets (ie without side condition) is given by ordinary automata
because all information about concurrency is encoded in the structure of the marking …