G. Juhás, R. Lorenz, and C. Neumair. Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, page 585-625. Springer, (2003)
J. Desel, V. Milijic, and C. Neumair. Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, page 467-495. Springer, (2003)
J. Desel, G. Juhás, R. Lorenz, and C. Neumair. Business Process Management, volume 2678 of Lecture Notes in Computer Science, page 380-389. Springer, (2003)