Józef Winkowski

Processes in composed systems

Towards an algebraic description of discrete processes and systems

Modelling timed behaviours with the aid of event and configuration structures

Towards an understanding of computer simulation

Towards a compositionality in defining timed behaviours

An Algebraic model for communicating processes

An algebra of processes

Event structure representation of the behaviour of place transition systems

Egzorty do uczniów szkół średnich

Towards an algebraic model for communicating processes

Praktyczny podręcznik duszpasterstwa w szkole średniej

Zakład

An algebraic description of system behaviours

A generalization of Petri nets by equipping them with inputs and outputs

Algebras of arrays - a tool to deal with concurrency

A natural method of proving properties of programs

A distributed implementation of Petri nets

On some time-based characteristics of behaviours

Formal theories of Petri nets and net simulation

An Algebraic way of defining place/transition Petri nets and their behaviours