For the most recent entries see the Petri Nets Newsletter.

Quasi-Static Scheduling of Independent Tasks for Reactive Systems.

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

In: J. Esparza, C. Lakos (Eds.): Lecture Notes in Computer Science, Vol. 2360: 23rd International Conference on Applications and Theory of Petri Nets, Adelaide, Australia, June 24-30, 2002, pages 1-80pp. Springer Verlag, June 2002.

Abstract: The synthesis of a reactive system generates a set of concurrent tasks coordinated by an operating system. 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. A formal model based on Petri nets is used to synthesize the tasks. A practical application is illustrated by means of a real-life industrial example.

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

Back to the Petri Nets Bibliography