Sroka, J. and Hidders, Jan (2017) On determining the AND-OR hierarchy in workflow nets. Fundamenta Informaticae 156 (1), pp. 95-123. ISSN 0169-2968.

Hidders, Jan and Kwasnikowska, N. and Sroka, J. and Tyszkiewicz, J. and Van den Bussche, J. (2007) A formal model of dataflow repositories. In: Cohen Boulakia, S. and Tannen, V. (eds.) Data Integration in the Life Sciences: 4th International Workshop. Lecture Notes in Computer Science 4544. Springer, pp. 105-121. ISBN 9783540732549.

Hidders, Jan and Kwasnikowska, N. and Sroka, J. and Tyszkiewicz, J. and Van den Bussche, J. (2005) Petri net + nested relational calculus = dataflow. In: Meersman, R. and Tari, Z. and Hacid, M.-S. and Mylopoulos, J. and Pernici, B. and Babaoglu, O. and Jacobsen, H.-A. and Loyall, J.P. and M., Kifer and Spaccapietra, S. (eds.) On the Move to Meaningful Internet Systems 2005. Lecture Notes in Computer Science 3760. Springer, pp. 220-237. ISBN 9783540297369.