Tudor Jebelean, Anna Medve,
"Formalization of Workflows Using Fork-Join Automata (extended abstract)"
, Serie RISC Report Series, Nummer 12-21, RISC JKU, Hagenberg, 12-2011
Original Titel:
Formalization of Workflows Using Fork-Join Automata (extended abstract)
Sprache des Titels:
Englisch
Original Kurzfassung:
We survey the current practice of using workflows for business process modeling and we present a simple formalism for reasoning about the structural correctness of fork-join workflow diagrams containing {\em and} and {\em or} nodes.
Forschungs-