Petter Falkman, Bengt Lennartson, Michael Tittus. Specification of a batch plant using process algebra and Petri nets. In IEEE International Conference on Automation Science and Engineering, CASE 2005, Edmonton, Alberta, Canada, August 1-2, 2005. pages 339-344, IEEE, 2005. [doi]
Abstract is missing.