For the most recent entries see the Petri Nets Newsletter.

A Timed Petri-Net Model for Loop Scheduling.

Gao, Guang R.; Wong, Yue-Bong; Ning, Qi

In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991, Gjern, Denmark, pages 22-41. June 1991.

Abstract: The authors use dataflow graphs as program representation for a class of loops, and they develop a timed Petri net model to model these loops. The behavior graph of the Petri net is used to determine a repetitive execution pattern. Such a pattern can be used to generate parallel instructions schedule during code generation. The authors show that, after the earliest firing schedule is relaxed to satisfy an initial token-distribution constraint, the repetitive pattern of a loop can be detected in O(nē) iterations. The authors have examined the application of the behavior graph approach to a target pipelined architecture.

Keywords: timed net model (for) loop scheduling; data flow graph; net behaviour graph; repetitive execution pattern; earliest firing schedule; parallel instructions schedule generation; target pipelined architecture.


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

Back to the Petri Nets Bibliography