In: Cosnard, M.; et al.: Parallel Processing. Proceedings of the IFIP WG 10.3 Working Conference, 1988, Pisa, Italy, pages 377-390. Amsterdam, The Netherlands: North-Holland, 1988.
Abstract: This paper presents the coloured Petri net model and the flows computation and the reduction theory developed for it. The authors show how coloured nets can model realistic parallel systems. The reduction rules which transform the net into a smaller one with the same behaviour as the original one is a suitable tool for verifying the lifeness properties. Two significant applications and their validation are given: a data base management and the synchronization of two logical clocks.
Keywords: validation; coloured net; flow computation; lifeness; database (management); clock synchronization.
Back to the Petri Nets Bibliography