Piotr Chrzastowski-Wachtel

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 4

Top Topics

Mechanical Design

Shape Description

Top Venues

PNSE@Petri Nets/ACSD

Fundam. Informaticae

PeNGE@Petri Nets

Publications

Piotr Chrzastowski-Wachtel, Piotr Ulanowski
Some Petri Net Problems with Counterintuitive Solutions. PeNGE@Petri Nets (2024)
Piotr Chrzastowski-Wachtel, Michal Dolezek, Pawel Greipner, Tomasz Wójcicki
Petri Meta-Compiler - A Recursive Approach to System Design and Development. PNSE@Petri Nets/ACSD (2019)
Piotr Chrzastowski-Wachtel
Shapes of Concurrency. CS&P (2016)
Jacek Sroka, Piotr Chrzastowski-Wachtel, Jan Hidders
On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality. Fundam. Informaticae 141 (4) (2015)
Piotr Chrzastowski-Wachtel, Pawel Golab, Bartosz Lewinski
Sound Recoveries of Structural Workflows with Synchronization. CS&P (2013)
Jacek Sroka, Piotr Chrzastowski-Wachtel, Jan Hidders
On Generating *-Sound Nets with Substitution. ACSD (2011)
Piotr Chrzastowski-Wachtel, Jakub Rauch
IRS-MT: Tool for Intelligent Resource Allocation. ACSD/Petri Nets Workshops (2010)
Michal Adamaszek, Piotr Chrzastowski-Wachtel, Anna Niewiarowska
VIPER, a Student-Friendly Visual Interpreter of Pascal. ISSEP (2008)
Piotr Chrzastowski-Wachtel, Pawel Findeisen, Grzegorz Wolny
Time Distribution in Structural Workflow Nets. Fundam. Informaticae 85 (1-4) (2008)
Piotr Chrzastowski-Wachtel
Determining Sound Markings in Structured Nets. Fundam. Informaticae 72 (1-3) (2006)
Piotr Chrzastowski-Wachtel, Boualem Benatallah, Rachid Hamadi, Milton O'Dell, Adi Susanto
A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling. Business Process Management (2003)
Boualem Benatallah, Piotr Chrzastowski-Wachtel, Rachid Hamadi, Milton O'Dell, Adi Susanto
HiWorD: A Petri Net-Based Hierarchical Workflow Designer. ACSD (2003)
Piotr Chrzastowski-Wachtel, Jerzy Tyszkiewicz
A Maple Package for Conditional Event Algebras. WCII (2002)
Piotr Chrzastowski-Wachtel, Jerzy Tyszkiewicz, Achim G. Hoffmann, Arthur Ramer
Definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-Walker. Inf. Process. Lett. 79 (4) (2001)
Piotr Chrzastowski-Wachtel
Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem. ICATPN (1999)
Marek Raczunas, Piotr Chrzastowski-Wachtel
A Diophantine problem of Frobenius in terms of the least common multiple. Discret. Math. 150 (1-3) (1996)
Piotr Chrzastowski-Wachtel, Marek Raczunas
Orbits, half-frozen tokens and the liveness of weighted circuits. STRICT (1995)
Piotr Chrzastowski-Wachtel, Marek Raczunas
Liveness of Weighted Circuits and the Diophantine Problem of Frobenius. FCT (1993)
Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva Suárez
On Weighted T-Systems. Application and Theory of Petri Nets (1992)