In: Lecture Notes in Control and Information Sciences, Vol. 105: Modelling and Adaptive Control, pages 175-188. 1988.
Abstract: The author introduces Petri nets as a modelling tool of distributed concurrent systems in general. A composition of nets is proposed which can be used effectively for modelling distributed systems in a hierarchical fashion; and conditions for consistency and the deadlock-free property of a composite net are investigated in terms of subnets and their interconnections. Some notable industrial applications of net theory are introduced.