JOZEF WINKOWSKI

PERSONAL DATA

• Curriculum Vitae
• Curriculum Vitae in Polish (CV - wersja polska)
• List of Scientific Writings (Lista publikacji)

RECENT PAPERS

• An Algebra of Time-Consuming Computations
• Modelling Timed Behaviours with the Aid of Event and Configuration Structures
• Algebras of Processes of Timed Petri Nets
• A Kernel Language for Programmed Rewriting of (Hyper)graphs
• Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets
• A Representation of Processes of Petri Nets by Matrices
• Processes of Timed Petri Nets
• Failure-Resistant Resource Management in a Distributed Multi-Agent System
• Reachability in Contextual Nets
• An Algebraic Characterization of Independence of Petri Net Processes
• Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes
• Behaviour Algebras
• Towards a Framework for Modelling Behaviours of Hybrid Systems
• Multiplicative Transition Systems
• Introduction to (Mathematical Models of) Concurrent Systems
• Probabilistic Models of Random Behaviours of Concurrent Systems
• An Algebraic Framework for Concurrent Systems
• A Mathematical Model of Action
• Towards a Universal Model of Action
• Partially Ordered Domains for Representing Activities
• Lattices generated by information systems and their internal structure