@inproceedings{4e92b399be4640de9131f65540c01086,
title = "Formal modeling and scheduling of datapaths of digital document printers",
abstract = "We apply three different modeling frameworks — timed automata (Uppaal), colored Petri nets and synchronous data flow — to model a challenging industrial case study that involves an existing stateof- the-art image processing pipeline. Each of the resulting models is used to derive schedules for multiple concurrent jobs in the presence of limited resources (processing units, memory, USB bandwidth,..). The three models and corresponding analysis results are compared.",
author = "G. Igna and V. Kannan and Y. Yang and T. Basten and M.C.W. Geilen and F.W. Vaandrager and M. Voorhoeve and \{Smet, de\}, S. and L. Somers",
year = "2008",
doi = "10.1007/978-3-540-85778-5\_13",
language = "English",
isbn = "978-3-540-85777-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "170--187",
editor = "F. Cassez and C. Jard",
booktitle = "Formal Modeling and Analysis of Timed Systems (6th International Conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008. Proceedings)",
address = "Germany",
}