Business Process Technology
Prof. Dr. Mathias Weske
| Author | Frank Puhlmann |
| Title | PiHype Example |
| Published in | Download |
| Abstract | My response to the Pi-Hype discussion paper from Wil van der Aalst; shows how a workflow model given as a Petri net could be formalized in the pi-calculus. |
