Geodesic
Generalized Asynchronous Systems
Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 4, pp. 78-86

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Mots-clés : asynchronous automata
Keywords: asynchronous systems, transition systems with independence, time Petri nets. 
@article{MAIS_2012_19_4_a7,
     author = {E. S. Kudryashova and A. A. Khusainov},
     title = {Generalized {Asynchronous} {Systems}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {78--86},
     publisher = {mathdoc},
     volume = {19},
     number = {4},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2012_19_4_a7/}
}
TY  - JOUR
AU  - E. S. Kudryashova
AU  - A. A. Khusainov
TI  - Generalized Asynchronous Systems
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2012
SP  - 78
EP  - 86
VL  - 19
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2012_19_4_a7/
LA  - ru
ID  - MAIS_2012_19_4_a7
ER  - 
%0 Journal Article
%A E. S. Kudryashova
%A A. A. Khusainov
%T Generalized Asynchronous Systems
%J Modelirovanie i analiz informacionnyh sistem
%D 2012
%P 78-86
%V 19
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2012_19_4_a7/
%G ru
%F MAIS_2012_19_4_a7
E. S. Kudryashova; A. A. Khusainov. Generalized Asynchronous Systems. Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 4, pp. 78-86. http://geodesic.mathdoc.fr/item/MAIS_2012_19_4_a7/