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) [Buchbeitrag, Beitrag zu einem Tagungsband]

Proceedings of the Ninth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2008)
Seite(n): 27-46

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-221270