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. Concurrent and pipeline components in these applications are identified. The properties of the modelled applications are analysed with respect to deadlock freeness and safeness by the well-defined methods of analysis provided by Petri net theory.
|Number of pages||10|
|Journal||Computer Systems Science and Engineering|
|Publication status||Published - 1 Jul 1988|
ASJC Scopus subject areas
- Computational Theory and Mathematics
- Hardware and Architecture
- Theoretical Computer Science