Verification of Distributed Algorithms with Algebraic Petri Nets.

Published in: Foundations of Computer Science: Potential - Theory - Cognition (1997)