The Horus Method
Petri nets are impressive in business process modeling due to the simplicity of the graphical presentation in connection with their expressive power. One can achieve a high precision of models, and the operational semantics allows formal for analysis and dynamic simulation. Practice shows, however, that a powerful modeling language alone is not enough: Users require guidance and assistance in the preparation of models, that is, during application of the language. They seek recipe-like guidelines that have been proven in practice. To this extent, a modeling language is only as good as the method that shows the way to its successful use.