In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 227-246. 1989.
Abstract: The main aim of this paper is to study some aspects of quantitative nature in the behaviour of Producer-Consumer systems operating in real time, within the Petri net formalism. This is done for four different bounded ordered Producer-Consumer models by means of timed nets (with inhibitor arcs) and untimed nets; it is shown for each model that the various given representations are equivalent from the quantitative point of view.