Computer Science Technical Report No. 86-652, University of Wisconsin, Dept. of Computer Science, 1986.
Abstract: Previous modeling techniques are extended by removing special restrictions involving the construction and analysis of the state space. The technique in this paper is called Generalized Timed Petri Nets. It has been implemented in a tool and has been used to develop models for several interesting architectures.