Piotr Chrzastowski-Wachtel - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2019

Petri Meta-Compiler - A Recursive Approach to System Design and DevelopmentPiotr Chrzastowski-Wachtel, Michal Dolezek, Pawel Greipner, Tomasz Wójcicki. apn 2019: 109-126 [doi]

2016

Shapes of ConcurrencyPiotr Chrzastowski-Wachtel. csp 2016: 269-273 [doi]

2015

On Generating Hierarchical Workflow Nets and their Extensions and Verifying HierarchicalityJacek Sroka, Piotr Chrzastowski-Wachtel, Jan Hidders. FUIN, 141(4):367-398, 2015. [doi]

2013

Sound Recoveries of Structural Workflows with SynchronizationPiotr Chrzastowski-Wachtel, Pawel Golab, Bartosz Lewinski. csp 2013: 73-87 [doi]

2011

On Generating *-Sound Nets with SubstitutionJacek Sroka, Piotr Chrzastowski-Wachtel, Jan Hidders. acsd 2011: 3-12 [doi]

2010

IRS-MT: Tool for Intelligent Resource AllocationPiotr Chrzastowski-Wachtel, Jakub Rauch. acsd 2010: 235-250 [doi]

2008

VIPER, a Student-Friendly Visual Interpreter of PascalMichal Adamaszek, Piotr Chrzastowski-Wachtel, Anna Niewiarowska. issep 2008: 192-203 [doi]

Time Distribution in Structural Workflow NetsPiotr Chrzastowski-Wachtel, Pawel Findeisen, Grzegorz Wolny. FUIN, 85(1-4):67-87, 2008. [doi]

2006

Determining Sound Markings in Structured NetsPiotr Chrzastowski-Wachtel. FUIN, 72(1-3):65-79, 2006. [doi]

2003

HiWorD: A Petri Net-Based Hierarchical Workflow DesignerBoualem Benatallah, Piotr Chrzastowski-Wachtel, Rachid Hamadi, Milton O Dell, Adi Susanto. acsd 2003: 235-236 [doi]

A Top-Down Petri Net-Based Approach for Dynamic Workflow ModelingPiotr Chrzastowski-Wachtel, Boualem Benatallah, Rachid Hamadi, Milton O Dell, Adi Susanto. BPM 2003: 336-353 [doi]

2002

A Maple Package for Conditional Event AlgebrasPiotr Chrzastowski-Wachtel, Jerzy Tyszkiewicz. wcii 2005: 131-151 [doi]

2001

Definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-WalkerPiotr Chrzastowski-Wachtel, Jerzy Tyszkiewicz, Achim G. Hoffmann, Arthur Ramer. ipl, 79(4):155-160, 2001. [doi]

1999

Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert ProblemPiotr Chrzastowski-Wachtel. apn 1999: 268-281 [doi]

1996

A Diophantine problem of Frobenius in terms of the least common multipleMarek Raczunas, Piotr Chrzastowski-Wachtel. DM, 150(1-3):347-357, 1996. [doi]

1995

Orbits, half-frozen tokens and the liveness of weighted circuitsPiotr Chrzastowski-Wachtel, Marek Raczunas. strict 1995: 116-128 [doi]

1993

Liveness of Weighted Circuits and the Diophantine Problem of FrobeniusPiotr Chrzastowski-Wachtel, Marek Raczunas. fct 1993: 171-180

1992

On Weighted T-SystemsEnrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva. apn 1992: 348-367

Sign in or sign up to see more results.

runs on WebDSL