For the most recent entries see the Petri Nets Newsletter.

Quasi-Static Scheduling for Concurrent Architectures.

Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Watanabe, Yosinori

In: Third International Conference on Application of Concurrency to System Design (ACSD'03), Guimar„es, Portugal, pages 29-40. IEEE, June 2003.

Also in: fundamenta informaticae 62, IOS Press, pages 171-196. 2004.

Abstract: This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent tasks, while considering multiple concurrent execution resources. A formal model based on the notion of scheduling of Petri nets is used to perform the synthesis. We show how the notion of projections of a schedule for the complete system onto the components implemented on separate resources is essential to dene the correctness of the partitioned schedule.

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

Back to the Petri Nets Bibliography