In: Microprocessing and Microprogramming, Vol. 22, pages 217-229. 1988.
Abstract: The paper presents a technique for synthesizing decentralised controllers based on interconnections between control and data path. A modified Petri net called R-net is used as an intermediate representation. In an R-net, firing of transitions and flow of tokens are controlled by two additional signals called select and enable conditions.