The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY - Herbert Weber and Hartmut Ehrig and Wolfgang Reisig and Alexander Borusan and Sabine Lembke and Juliane Dehnert and Michael Weber and AxelMartens Martens and Julia Padberg and Claudia Ermel and Anilda Qemali (Springer, 2003)