Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2006Workflow model compositions preserving relaxed soundness
Dehnert, J.; Zimmermann, A.
Conference Paper
2005On the suitability of correctness criteria for business process models
Dehnert, J.; Zimmermann, A.
Conference Paper
2004Bridging the gap between business models and workflow specifications
Dehnert, J.; Aalst, W. van der
Journal Article
2004From business process fragments to workflow definitions
Simon, C.; Dehnert, J.
Conference Paper
2004Making workflow models sound using petri net controller synthesis
Dehnert, J.; Zimmermann, A.
Conference Paper
2003Reactive petri nets for workflow modeling
Dehnert, J.; Eshuis, R.
Conference Paper
2001Customized atomicity specification for transactinal workflow
Derks, W.; Dehnert, J.; Grefen, P.; Jonker, W.
Conference Paper
2001Express the Controllability of Business Processes
Dehnert, J.
Conference Paper
2001Relaxed Soundness of Business Processes
Dehnert, J.; Rittgen, R.
Conference Paper
2000Modeling and performance evaluation of workflow systems
Dehnert, J.; Freiheit, J.; Zimmermann, A.
Conference Paper
2000Workflow Modeling and Performance Evaluation with Colored Stochastic Petri Nets
Dehnert, J.; Freiheit, A.; Zimmermann, A.
Conference Paper
1999Initial realization of the "Petri Net Baukasten"
Battke, A.; Borusan, A.; Dehnert, J.; Ehrig, H.; Ermel, C.; Gajewsky, M.; Hoffmann, K.; Hohberg, B.; Juhas, G.; Lembke, S.; Martens, A.
Book