Boolean Algebra of Nets, their Synthesis and Analysis

• Autorzy: Czaja L.
• Języki publikacji: EN

Słowa kluczowe

EN

net structures; pseudo-case graphs

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 85, nr 1-4
• Strony: 89--95
• Opis fizyczny: bibliogr. 4 poz.

Twórcy

autor

Czaja L.

• Institute of Informatics University of Warsaw ul. Banacha 2, 02-097 Warsaw, Poland,

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