In: Proceedings of the 5th Australian Transputer and Parallel Applications Conference, Melbourne, Australia, pages 141-146. 1992.
Abstract: Petri nets have been used to model and analyse distributed systems. High-level nets such as coloured nets and object-oriented nets increase the descriptive power by allowing the tokens which flow through the net to be associated with arbitrary data values. Algorithms have been specified for the distributed simulation of simple petri nets on a set of transputers. This paper considers the extension of these algorithms for high-level nets and discusses the problems involved in achieving a fair implementation.