In: Proc. 7th Int. Conf. on Parallel and Distributed Systems, 4-7 July 2000, Iwate, Japan, pages 509-514. 2000.
Abstract: Petri nets and functional dependencies among objects have been adopted to parallel rule languages. After this adaptation, the created Petri nets, called relational Petri nets (RPNs) with start/stop place, are investigated. Liveness, reversibility, no conservation and boundedness, consistency are analyzed. The properties of transitions are also discussed in this paper.
Keywords: relational Petri nets, start/stop places.