In: Proceedings of the 11th International Conference on Application and Theory of Petri Nets, 1990, Paris, France, pages 244-263. 1990.
Abstract: Petri nets have been used for both designing digital hardware and specifying/verifying parallel bus interface protocols. Since the latter are supposed to be implemented in digital hardware controllers, it seems topical to establish a strict semantical relationship between these two applications of nets --- In this paper, the author studies the underlying semantics of Petri net specifications of reactive hardware behaviour and parallel bus protocols; the author analyses the control flow semantics of Petri net specifications and demonstrates the example of deriving a self-timed implementation of controller circuitry from a Petri net specification of the VME-bus data transfer protocol.
Keywords: parallel bus controller; interface protocol; control flow semantics; reactive hardware behaviour; self-timed controller circuit.