Topics
mathematical modelStadium
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 proved that Petri nets and transition systems with independence can be considered as distributed asynchronous automata. Time distributed asynchronous automata are defined in a standard way by correspondence which relates events with time intervals. It is proved that the time distributed asynchronous automata generalize time Petri nets and asynchronous systems
1 Introduction Petri nets [16,11] are a formalism for modeling and analyzing distributed and concurr...
For distributed systems, i.e. large networked complex systems, there is a drastic difference between...
International audienceIn this paper we study the diagnosis of distributed asynchronous systems with ...
AbstractThe purpose of this paper is twofold: to give a precise notion of a realization for simulati...
AbstractWe study a natural notion of communication structure associated with asynchronous automata: ...
AbstractIn this article we discuss (i) a model suitable for describing a distributed real-time syste...
This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended wi...
AbstractThe aim of this paper is the study of asynchronous automata, a special kind of automata whic...
This paper addresses the problem of distributed program synthesis. In the first part, we formalize t...
International audienceThe aim of this paper is the study of asynchronous automata, a special kind of...
International audienceFor distributed systems, i.e., large complex networked systems, there is a dra...
International audienceReal-time distributed systems may be modeled in different formalisms such as t...
Asynchronous automata were introduced by W. Zielonka as an algebraic model of distributed systems, s...
AbstractWe model distributed processes by the computations of synchronized automata. These machines ...
Development of complex systems is usually preceded by detailed studies of their models. For concurre...
1 Introduction Petri nets [16,11] are a formalism for modeling and analyzing distributed and concurr...
For distributed systems, i.e. large networked complex systems, there is a drastic difference between...
International audienceIn this paper we study the diagnosis of distributed asynchronous systems with ...
AbstractThe purpose of this paper is twofold: to give a precise notion of a realization for simulati...
AbstractWe study a natural notion of communication structure associated with asynchronous automata: ...
AbstractIn this article we discuss (i) a model suitable for describing a distributed real-time syste...
This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended wi...
AbstractThe aim of this paper is the study of asynchronous automata, a special kind of automata whic...
This paper addresses the problem of distributed program synthesis. In the first part, we formalize t...
International audienceThe aim of this paper is the study of asynchronous automata, a special kind of...
International audienceFor distributed systems, i.e., large complex networked systems, there is a dra...
International audienceReal-time distributed systems may be modeled in different formalisms such as t...
Asynchronous automata were introduced by W. Zielonka as an algebraic model of distributed systems, s...
AbstractWe model distributed processes by the computations of synchronized automata. These machines ...
Development of complex systems is usually preceded by detailed studies of their models. For concurre...
1 Introduction Petri nets [16,11] are a formalism for modeling and analyzing distributed and concurr...
For distributed systems, i.e. large networked complex systems, there is a drastic difference between...
International audienceIn this paper we study the diagnosis of distributed asynchronous systems with ...
Add to ORKG