For the most recent entries see the Petri Nets Newsletter.

Pipelining and Concurrency in Graphics and Image-processing Applications.

Datta, A.K.; Ghosh, S.; Gopalan, M.; Elmagarmid, A.K.

In: Computer Systems Science and Engineering, Vol. 3, No. 3, pages 107-116. July 1988.

Abstract: Petri nets are used as formal tools for the modelling and verification of the correctness of algorithms of some graphics and image-processing applications. Coloured Petri nets are used to improve on the abstraction of these models.

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

Back to the Petri Nets Bibliography