Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
89--95
Opis fizyczny
bibliogr. 4 poz.
Twórcy
autor
- Institute of Informatics University of Warsaw ul. Banacha 2, 02-097 Warsaw, Poland, lczaja@mimuw.edu.pl
Bibliografia
- [1] M.A. Bednarczyk, A.M. Borzyszkowski, On Concurrent Realization of Reactive Systems and Their Morphisms, in Unifying Petri Nets (H. Ehrig et al. - Eds.), LNCS 2128, pp. 346-379 (2001)
- [2] L. Czaja, Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis, Fundamenta Informaticae, Volume 51, Numbers 1,2, June 2002, pp. 43-58
- [3] L. Czaja, Calculi of net structures and sets are similar, in RAIRO, Taheoretical Informatics and Application, Volume 42, 2008, pp. 271-284
- [4] W. Reisig, Petri Nets. An Introduction, Number 4 in EATCSMonographs on Theoretical Computer Science, Springer, Berlin-Heidelberg-New York, Tokyo, 1985
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS5-0016-0006