Piotr Chrzastowski-Wachtel

According to our database, Piotr Chrzastowski-Wachtel authored at least 18 papers between 1992 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Petri Meta-Compiler - A Recursive Approach to System Design and Development.

Piotr Chrzastowski-Wachtel, Michal Dolezek, Pawel Greipner, Tomasz Wójcicki

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

2016

Shapes of Concurrency.

Piotr Chrzastowski-Wachtel

Proceedings of the 25th International Workshop on Concurrency, 2016

2015

On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality.

Jacek Sroka, Piotr Chrzastowski-Wachtel, Jan Hidders

Fundam. Informaticae, 2015

2013

Sound Recoveries of Structural Workflows with Synchronization.

Piotr Chrzastowski-Wachtel, Pawel Golab, Bartosz Lewinski

Proceedings of the 22nd International Workshop on Concurrency, 2013

2011

On Generating *-Sound Nets with Substitution.

Jacek Sroka, Piotr Chrzastowski-Wachtel, Jan Hidders

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

IRS-MT: Tool for Intelligent Resource Allocation.

Piotr Chrzastowski-Wachtel, Jakub Rauch

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2008

Time Distribution in Structural Workflow Nets.

Piotr Chrzastowski-Wachtel, Pawel Findeisen, Grzegorz Wolny

Fundam. Informaticae, 2008

VIPER, a Student-Friendly Visual Interpreter of Pascal.

Michal Adamaszek, Piotr Chrzastowski-Wachtel, Anna Niewiarowska

Proceedings of the Informatics Education - Supporting Computational Thinking, Third International Conference on Informatics in Secondary Schools, 2008

2006

Determining Sound Markings in Structured Nets.

Piotr Chrzastowski-Wachtel

Fundam. Informaticae, 2006

2003

A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling.

Piotr Chrzastowski-Wachtel, Boualem Benatallah, Rachid Hamadi, Milton O'Dell, Adi Susanto

Proceedings of the Business Process Management, International Conference, 2003

HiWorD: A Petri Net-Based Hierarchical Workflow Designer.

Boualem Benatallah, Piotr Chrzastowski-Wachtel, Rachid Hamadi, Milton O'Dell, Adi Susanto

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

A Maple Package for Conditional Event Algebras.

Piotr Chrzastowski-Wachtel, Jerzy Tyszkiewicz

Proceedings of the Conditionals, Information, and Inference, International Workshop, 2002

2001

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

1999

Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem.

Piotr Chrzastowski-Wachtel

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1996

A Diophantine problem of Frobenius in terms of the least common multiple.

Marek Raczunas, Piotr Chrzastowski-Wachtel

Discret. Math., 1996

1995

Orbits, half-frozen tokens and the liveness of weighted circuits.

Piotr Chrzastowski-Wachtel, Marek Raczunas

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

1993

Liveness of Weighted Circuits and the Diophantine Problem of Frobenius.

Piotr Chrzastowski-Wachtel, Marek Raczunas

Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993

1992

On Weighted T-Systems.

Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva Suárez

Proceedings of the Application and Theory of Petri Nets 1992, 1992