Winkowski, Józef Processes of contextual nets and their characteristics. (English) Zbl 0935.68078 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 36, No. 1, 71-101 (1998). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Winkowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 36, No. 1, 71--101 (1998; Zbl 0935.68078)
Maggiolo-Schettini, Andrea; Winkowski, Józef A partial order representation of processes of transforming graphs. (English) Zbl 0892.68074 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 31, No. 3-4, 337-355 (1997). MSC: 68R10 PDFBibTeX XMLCite \textit{A. Maggiolo-Schettini} and \textit{J. Winkowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 31, No. 3--4, 337--355 (1997; Zbl 0892.68074)
Winkowski, Józef A representation of processes of Petri nets by matrices. (English) Zbl 0882.68102 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 30, No. 1, 97-107 (1997). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Winkowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 30, No. 1, 97--107 (1997; Zbl 0882.68102)
Winkowski, Józef Concatenable weighted pomsets and their applications to modelling processes of Petri nets. (English) Zbl 0867.68086 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 3-4, 403-421 (1996). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Winkowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 3--4, 403--421 (1996; Zbl 0867.68086)
Maggiolo Schettini, Andrea; Pinna, G. Michele; Winkowski, Józef A compositional semantics for unmarked predicate/transition nets. (English) Zbl 0717.68064 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 1, 109-128 (1991). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{A. Maggiolo Schettini} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 1, 109--128 (1991; Zbl 0717.68064)
Maggiolo-Schettini, Andrea; Winkowski, Józef A compositional semantics for timed Petri nets. (English) Zbl 0697.68062 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 13, No. 2, 141-170 (1990). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{A. Maggiolo-Schettini} and \textit{J. Winkowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 13, No. 2, 141--170 (1990; Zbl 0697.68062)
Winkowski, Józef An equivalence of communicating processes in distributed environments. (English) Zbl 0674.68017 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 1, 97-128 (1989). Reviewer: W.Kwasowiec MSC: 68N25 68Q65 PDFBibTeX XMLCite \textit{J. Winkowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 1, 97--128 (1989; Zbl 0674.68017)
Winkowski, Józef Event structure representation of the behaviour of place/transition systems. (English) Zbl 0657.68067 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 11, No. 4, 405-432 (1988). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Winkowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 11, No. 4, 405--432 (1988; Zbl 0657.68067)
Winkowski, Jozef An algebraic model for communicating processes. (English) Zbl 0651.68032 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 11, No. 1, 65-116 (1988). Reviewer: W.Kwasowiec MSC: 68Q65 68N25 PDFBibTeX XMLCite \textit{J. Winkowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 11, No. 1, 65--116 (1988; Zbl 0651.68032)
Winkowski, Jozef A formalism for describing non-sequential processes. (English) Zbl 0402.68037 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 2, 129-139 (1978). MSC: 68Q65 68W99 PDFBibTeX XMLCite \textit{J. Winkowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 2, 129--139 (1978; Zbl 0402.68037)
Winkowski, Jozef Towards an understanding of computer simulation. (English) Zbl 0386.68088 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 277-289 (1978). MSC: 68U20 68N25 PDFBibTeX XMLCite \textit{J. Winkowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 277--289 (1978; Zbl 0386.68088)
Winkowski, Jozef A natural method of proving properties of programs. (English) Zbl 0362.68040 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 33-49 (1977). MSC: 68N01 03B10 PDFBibTeX XMLCite \textit{J. Winkowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 33--49 (1977; Zbl 0362.68040)