. "Penczek, Wojciech" . . . . . "Challenging Problems and Solutions in Intelligent Systems" . . . "Half a century of inspirational research" . . . "International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (31st : 2010 : Braga, Portugal) Applications and theory of Petri nets" . . . "MASYW 2010 (2010 : Tleń, Poland) Matematyczne metody modelowania i analizy systemów współbieżnych" . . . "Mathematical foundations of computer science 1996" . . . "Penczek, Wojciech Advances in verification of time petri nets and timed automata" . . . "Transactions on Petri Nets and Other Models of Concurrency XIII" . .