2005 |
13 | EE | Juliane Dehnert,
Armin Zimmermann:
On the Suitability of Correctness Criteria for Business Process Models.
Business Process Management 2005: 386-391 |
2004 |
12 | EE | Juliane Dehnert,
Armin Zimmermann:
Making Workflow Models Sound Using Petri Net Controller Synthesis.
CoopIS/DOA/ODBASE (1) 2004: 139-154 |
11 | | Carlo Simon,
Juliane Dehnert:
From Business Process Fragments to Workflow Definitions.
EMISA 2004: 95-106 |
10 | EE | Juliane Dehnert,
Wil M. P. van der Aalst:
Bridging The Gap Between Business Models And Workflow Specifications.
Int. J. Cooperative Inf. Syst. 13(3): 289-332 (2004) |
2003 |
9 | EE | Rik Eshuis,
Juliane Dehnert:
Reactive Petri Nets for Workflow Modeling.
ICATPN 2003: 296-315 |
8 | EE | Herbert Weber,
Hartmut Ehrig,
Wolfgang Reisig,
Alexander Borusan,
Sabine Lembke,
Juliane Dehnert,
Michael Weber,
Axel Martens,
Julia Padberg,
Claudia Ermel,
Anilda Qemali:
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.
Petri Net Technology for Communication-Based Systems 2003: 1-21 |
7 | EE | Juliane Dehnert:
Four Steps Towards Sound Business Process Models.
Petri Net Technology for Communication-Based Systems 2003: 66-82 |
6 | | Juliane Dehnert:
Making EPCs fir for Workflow Management.
EMISA Forum 23(1): 12-26 (2003) |
2002 |
5 | EE | Juliane Dehnert:
Making EPC's fit for Workflow Management.
EPK 2002: 51-69 |
4 | EE | Juliane Dehnert:
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes.
ICATPN 2002: 121-141 |
2001 |
3 | EE | Juliane Dehnert,
Peter Rittgen:
Relaxed Soundness of Business Processes.
CAiSE 2001: 157-170 |
2 | | Wijnand Derks,
Juliane Dehnert,
Paul W. P. J. Grefen,
Willem Jonker:
Customized Atomicity Specification for Transactional Workflows.
CODAS 2001: 155-164 |
1 | EE | Juliane Dehnert,
Maike Gajewsky,
Sabine Lembke,
Herbert Weber:
The Petri Net Baukasten - Second Installment.
Electr. Notes Theor. Comput. Sci. 44(4): (2001) |