For the most recent entries see the Petri Nets Newsletter.

Deterministic Time and Analytical Models of Parallel Architectures.

Holliday, M.A.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography