|
[HS13]
Luke Herbert and Robin Sharp.
Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows.
J. Comput. Inf. Sci. Eng., 13(1).
2013.
[Translates a subset of the Business Process Modelling and Notation (BPMN) language into PRISM, to allow probabilistic model checking of business workflows.]
|
|
Links:
[Google]
[Google Scholar]
|