Petter Falkman, Bengt Lennartson. Combined process algebra and Petri nets for specification of resource booking problems. In American Control Conference, ACC 2001, Arlington, VA, USA, 25-27 June, 2001. pages 4949-4955, IEEE, 2001. [doi]
Abstract is missing.