Józef Winkowski

Programowanie symulacji procesów

Ogniwo i gniazdo

Zarys etyki i ascetyki katolickiej

An algebraic framework for concurrent systems

Partially ordered domains for representing activities

An axiomatic characterization of algebras of processes of Petri nets

An algebraic framework for defining behaviours of concurrent systems

Multiplicative transition systems

A mathematical model of action

Towards a universal model of action

Towards a framework for modelling systems with rich internal structures of states and processes

Behaviour algebras

A representation of processes of Petri nets by matrices

An algebraic characterization of independence of Petri net processes

Towards a framework for modelling behaviours of hybrid systems

Probabilistic models of random behaviours of concurrent systems

A Representation of processes of contextual nets by matrices

Concatenable weighted pomsets and their applications to modelling processes of Petri nets

W głąb i wzwyż

Processes of timed Petri nets