In: Proceedings of the Fourth Annual Parallel Processing Symposium, Fullerton, USA, April 4-6, 1990, pages 812-823. 1990.
Abstract: In the September 1977 issue of computing survey James Peterson conjectured that `Any significant extension of the Petri net model tends to be equivalent to a Turing machine'. This paper settles his conjecture negatively