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.
Back to the Petri Nets Bibliography