Formal Modeling and Analysis by Simulation of Data Paths in Digital Document Printers

Kannan, Venkatesh; van der Aalst, Wil M. P.; Voorhoeve, Marc

Aarhus, Denmark : University of Aarhus (2008)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of the Ninth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2008)
Page(s)/Article-Nr.: 27-46