Werkzeug zur mobilen Modellierung von Geschäftsprozessen mittels Petri-Netzen.