On Weighted T-Systems. - Enrique Teruel; Piotr Chrzastowski-Wachtel; José Manuel Colom; Manuel Silva Suárez (Application and Theory of Petri Nets, 1992)

Liveness of Weighted Circuits and the Diophantine Problem of Frobenius. - Piotr Chrzastowski-Wachtel; Marek Raczunas (FCT, 1993)

Orbits, half-frozen tokens and the liveness of weighted circuits. - Piotr Chrzastowski-Wachtel; Marek Raczunas (STRICT, 1995)

A Diophantine problem of Frobenius in terms of the least common multiple. - Marek Raczunas; Piotr Chrzastowski-Wachtel (Discret. Math., 1996)

Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem. - Piotr Chrzastowski-Wachtel (ICATPN, 1999)

Definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-Walker. - Piotr Chrzastowski-Wachtel; Jerzy Tyszkiewicz; Achim G. Hoffmann; Arthur Ramer (Inf. Process. Lett., 2001)

A Maple Package for Conditional Event Algebras. - Piotr Chrzastowski-Wachtel; Jerzy Tyszkiewicz (WCII, 2002)

HiWorD: A Petri Net-Based Hierarchical Workflow Designer. - Boualem Benatallah; Piotr Chrzastowski-Wachtel; Rachid Hamadi; Milton O'Dell; Adi Susanto (ACSD, 2003)

A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling. - Piotr Chrzastowski-Wachtel; Boualem Benatallah; Rachid Hamadi; Milton O'Dell; Adi Susanto (Business Process Management, 2003)

Determining Sound Markings in Structured Nets. - Piotr Chrzastowski-Wachtel (Fundam. Informaticae, 2006)

VIPER, a Student-Friendly Visual Interpreter of Pascal. - Michal Adamaszek; Piotr Chrzastowski-Wachtel; Anna Niewiarowska (ISSEP, 2008)

Time Distribution in Structural Workflow Nets. - Piotr Chrzastowski-Wachtel; Pawel Findeisen; Grzegorz Wolny (Fundam. Informaticae, 2008)

IRS-MT: Tool for Intelligent Resource Allocation. - Piotr Chrzastowski-Wachtel; Jakub Rauch (ACSD/Petri Nets Workshops, 2010)

On Generating *-Sound Nets with Substitution. - Jacek Sroka; Piotr Chrzastowski-Wachtel; Jan Hidders (ACSD, 2011)

Sound Recoveries of Structural Workflows with Synchronization. - Piotr Chrzastowski-Wachtel; Pawel Golab; Bartosz Lewinski (CS&P, 2013)

On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality. - Jacek Sroka; Piotr Chrzastowski-Wachtel; Jan Hidders (Fundam. Informaticae, 2015)

Shapes of Concurrency. - Piotr Chrzastowski-Wachtel (CS&P, 2016)

Petri Meta-Compiler - A Recursive Approach to System Design and Development. - Piotr Chrzastowski-Wachtel; Michal Dolezek; Pawel Greipner; Tomasz Wójcicki (PNSE@Petri Nets/ACSD, 2019)

Some Petri Net Problems with Counterintuitive Solutions. - Piotr Chrzastowski-Wachtel; Piotr Ulanowski (PeNGE@Petri Nets, 2024)