In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 340: Advances in Petri Nets 1988, pages 418-439. Springer-Verlag, 1988.
Abstract: In order to compare different distributed software implementations of the token game one starts out from an explicitly defined basis, called the process paradigm. Quality criteria for implementations are specified and a variety of implementations of finite place/transition systems is discussed.