Proving correctness of distributed algorithms using high-level Petri nets-a case study - Desel, G.; Kindler, E. (Proceedings 1998 International Conference on Application of Concurrency to System Design, Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on, Application of concurrency to system design, 1998)